 | 2009 |
|---|
| 9 |       | Shuvendu K. Lahiri,
Shaz Qadeer,
Zvonimir Rakamaric:
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers.
CAV 2009: 509-524 |
| 8 | | Zvonimir Rakamaric,
Alan J. Hu:
A Scalable Memory Model for Low-Level Code.
VMCAI 2009: 290-304 |
| 7 | | Shaunak Chatterjee,
Shuvendu K. Lahiri,
Shaz Qadeer,
Zvonimir Rakamaric:
A low-level memory model and an accompanying reachability predicate.
STTT 11(2): 105-116 (2009) |
| 2008 |
|---|
| 6 | | Zvonimir Rakamaric,
Alan J. Hu:
Automatic Inference of Frame Axioms Using Static Analysis.
ASE 2008: 89-98 |
| 2007 |
|---|
| 5 | | Zvonimir Rakamaric,
Roberto Bruttomesso,
Alan J. Hu,
Alessandro Cimatti:
Verifying Heap-Manipulating Programs in an SMT Framework.
ATVA 2007: 237-252 |
| 4 | | Domagoj Babic,
Alan J. Hu,
Zvonimir Rakamaric,
Byron Cook:
Proving Termination by Divergence.
SEFM 2007: 93-102 |
| 3 | | Shaunak Chatterjee,
Shuvendu K. Lahiri,
Shaz Qadeer,
Zvonimir Rakamaric:
A Reachability Predicate for Analyzing Low-Level Software.
TACAS 2007: 19-33 |
| 2 | | Zvonimir Rakamaric,
Jesse D. Bingham,
Alan J. Hu:
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.
VMCAI 2007: 106-121 |
| 2006 |
|---|
| 1 | | Jesse D. Bingham,
Zvonimir Rakamaric:
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.
VMCAI 2006: 207-221 |
