Diego Caminha B. de Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins. 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE 2013), San Francisco, CA, USA.
Read the rest of this entry »Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Gregory L. Lee. 4th Workshop on Determinism and Correctness in Parallel Programming (WoDet 2013), Houston, TX, USA.
Read the rest of this entry »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 »Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti. 5th International Workshop on Satisfiability Modulo Theories (SMT 2007), Berlin, Germany. (Presentation-only paper.)
Read the rest of this entry »
