Archive for the ‘Publications’ Category

Asynchronously Communicating Visibly Pushdown Systems

Posted in October 19, 2011 ¬ 5:59 amh.zrakamarNo Comments »
EmailFacebookShare

Domagoj Babic, Zvonimir Rakamaric. EECS Department, University of California, Berkeley Tech Report UCB/EECS-2011-108, October, 2011.

Read the rest of this entry »
Other Publications

Modular Verification of Shared-Memory Concurrent System Software

Posted in March 20, 2011 ¬ 8:49 pmh.zrakamar1 Comment »
EmailFacebookShare

Zvonimir Rakamaric. Ph.D. Thesis, Department of Computer Science, The University of British Columbia, March, 2011.

Read the rest of this entry »
Other Publications

Delay-Bounded Scheduling

Posted in January 30, 2011 ¬ 4:20 pmh.zrakamarNo Comments »
EmailFacebookShare

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 »
Conference Publications

Context-Bounded Translations for Concurrent Software: An Empirical Evaluation

Posted in September 30, 2010 ¬ 4:38 pmh.zrakamarNo Comments »
EmailFacebookShare

Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric. 17th International SPIN Workshop on Model Checking Software (SPIN 2010), Enschede, the Netherlands.

Read the rest of this entry »
Workshop Publications

Delay-Bounded Scheduling: A Canonical Characterization of Scheduler Nondeterminism

Posted in September 15, 2010 ¬ 6:35 pmh.zrakamarNo Comments »
EmailFacebookShare

Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric. Microsoft Research Tech Report MSR-TR-2010-123, September, 2010.

Read the rest of this entry »
Other Publications