Delay-Bounded Scheduling
Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric. 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2011), Austin, TX, USA.
Read the rest of this entry »Archive for the ‘Conference Publications’ Category
STORM: Static Unit Checking of Concurrent Programs
Zvonimir Rakamaric. ACM Student Research Competition at the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa. Silver Medal Winner in the Competition.
Read the rest of this entry »Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric. 21st International Conference on Computer Aided Verification (CAV 2009), Grenoble, France.
Read the rest of this entry »A Scalable Memory Model for Low-Level Code
Zvonimir Rakamaric, Alan J. Hu. 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009), Savannah, GA, USA.
Read the rest of this entry »Automatic Inference of Frame Axioms Using Static Analysis
Zvonimir Rakamaric, Alan J. Hu. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L’Aquila, Italy.
Read the rest of this entry »
