Asynchronously Communicating Visibly Pushdown Systems
Domagoj Babic, Zvonimir Rakamaric. 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE/15th FMOODS), Florence, Italy.
Read the rest of this entry »Archive for the ‘Conference Publications’ Category
Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding
Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric. 5th NASA Formal Methods Symposium (NFM 2013), NASA Ames Research Center, Moffett Field, CA, USA.
Read the rest of this entry »Symbolic Learning of Component Interfaces
Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman. 19th International Static Analysis Symposium (SAS 2012), Deauville, France.
Read the rest of this entry »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 »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 »
