Browse by Author

MINDS@UW Home >
Browse by Author

Browse by Author

<<

Showing 60-79 of 83

>>

Scan Grammars: Parallel Attribute Evaluation Via Data-Parallelism

Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Secure Programming as a Parity Game

Harris, William R.; Farley, Benjamin; Jha, Somesh; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Secure Programming via Visibly Pushdown Safety Games

Harris, William; Jha, Somesh; Reps, Thomas (Jan 2012)
Semantics of Program Representation Graphs

Ramalingam, G; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
The Semantics of Program Slicing

Reps, Thomas; Yang, Wuu (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Software-Architecture Recovery from Machine Code

Reps, Thomas; Srinivasan, Venkatesh Karthik (Mar 13, 2013)
Solving Multiple Dataflow Queries Using WPDSs

Lal, Akash; Reps, Thomas (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)
Specialization Slicing

Joiner, Richard; Reps, Thomas; Aung, Min Thu; Horwitz, Susan (University of Wisconsin-Madison Department of Computer Sciences; Oct 27, 2012)
Static Detection of Atomic-Set-Serializability Violations

Kidd, Nicholas; Reps, Thomas; Dolby, Julian; Dolby, Julian; Vaziri, Mandana (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Symbolic Analysis via Semantic Reinterpretation

Lim, Junghee; Lal, Akash; Reps, Thomas (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)
A System for Generating Static Analyzers for Machine Instructions

Lim, Junghee; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
A Theory of Program Modifications

Ramalingam, G; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Towards the Analysis of Transactional Software

Kidd, Nicholas; Moore, Kevin; Reps, Thomas; Reps, Thomas; Wood, David (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis

Lim, Junghee; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences; Oct 02, 2012)
Undecidability of Context-Sensitive Data-Dependence Analysis

Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem

Reps, Thomas; Ball, Thomas; Das, Manuvir; Larus, James (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Verifying Concurrent Message-Passing C Programs with Recursive Calls

Chaki, Sagar; Clarke, Edmund; Kidd, Nicholas; Reps, Thomas; Touili, Tayssir (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Verifying Concurrent Programs via Bounded Context-Switching and Induction

Prabhu, Prathmesh; Lal, Akash; Kidd, Nicholas; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)

<<

Showing 60-79 of 83

>>

Advanced Search

Browse

All of MINDS@UW
- Sitemap
- By date
- By author
- By title
- By subject

Deposit materials

About MINDS@UW