Workshops

  1. Evaluation of Android Malware Detection Based on System Calls. Marko Dimjasevic, Simone Atzeni, Ivo Ugrina, Zvonimir Rakamaric. 2nd ACM International Workshop on Security and Privacy Analytics (IWSPA 2016), New Orleans, LA, USA.
  2. Practical Floating-point Divergence Detection. Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric. 28th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2015), Raleigh, NC, USA.
  3. Archer: Effectively Spotting Data Races in Large OpenMP Applications. Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Greg L. Lee, Joachim Protze, Matthias S. Muller. 8th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2015), San Francisco, CA, USA.
  4. Towards Automated Differential Program Verification for Approximate Computing. Shuvendu K. Lahiri, Zvonimir Rakamaric. Workshop on Approximate Computing Across the Stack (WAX 2015), Portland, OR, USA.
  5. Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs. Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric. 8th International Workshop on Numerical Software Verification (NSV 2015), Seattle, WA, USA.
  6. Towards Providing Low-Overhead Data Race Detection for Large OpenMP Applications. Joachim Protze, Simone Atzeni, Dong H. Ahn, Martin Schulz, Ganesh Gopalakrishnan, Matthias S. Muller, Ignacio Laguna, Zvonimir Rakamaric, Greg L. Lee. LLVM Compiler Infrastructure in HPC Workshop (LLVM-HPC 2014), New Orleans, LA, USA.
  7. Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs. Diego Caminha B. de Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins. 27th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2014), Hillsboro, OR, USA.
  8. The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman. Java Pathfinder Workshop (JPF 2014), Salt Lake City, UT, USA.
  9. FUSED: A Low-cost Online Soft-Error Detector. Vishal Chandra Sharma, Zvonimir Rakamaric, Ganesh Gopalakrishnan. 10th IEEE Workshop on Silicon Errors in Logic – System Effects (SELSE 2014), Palo Alto, CA, USA.
  10. JPF-Doop: Combining Concolic and Random Testing for Java. Marko Dimjasevic, Zvonimir Rakamaric. Java Pathfinder Workshop (JPF 2013), Palo Alto, CA, USA.
  11. Overcoming Extreme-Scale Reproducibility Challenges Through a Unified, Targeted, and Multilevel Toolset. Dong H. Ahn, Gregory L. Lee, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Martin Schulz, Ignacio Laguna. 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering (SE-HPCCSE 2013), Denver, CO, USA.
  12. Practical Formal Correctness Checking of Million-core Problem Solving Environments for HPC. 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.
  13. Determinism and Reproducibility in Large-Scale HPC Systems. 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.
  14. Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric. 17th International SPIN Workshop on Model Checking Software (SPIN 2010), Enschede, the Netherlands.
  15. Deciding Unbounded Heaps in an SMT Framework. Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti. 5th International Workshop on Satisfiability Modulo Theories (SMT 2007), Berlin, Germany. (Presentation-only paper.)