Browse by Author

Showing 3-9 of 9

LTL Model Checking for Systems with Unbounded Number of Dynamically Created Threads and Objects,

Yahav, Eran; Reps, Thomas; Sagiv, Mooly (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Numeric Analysis of Array Operations

Gopan, Denis; Reps, Thomas; Sagiv, Mooly (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Parametric Shape Analysis via 3-Valued Logic

Sagiv, Mooly; Reps, Thomas; Wilhelm, Reinhard (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation

Sagiv, Mooly; Reps, Thomas; Horwitz, Susan (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
A Relational Approach to Interprocedural Shape Analysis

Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas; Sagiv, Mooly (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Solving Shape-Analysis Problems in Languages with Destructive Updating

Sagiv, Mooly; Reps, Thomas; Wilhelm, Reinhard (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Symbolic Implementation of the Best Transformer

Reps, Thomas; Sagiv, Mooly; Yorsh, Greta (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)

Showing 3-9 of 9