Qvm: An efficient runtime for detecting defects in deployed systems
- Matthew Arnold
- Martin Vechev
- et al.
- 2008
- ACM SIGPLAN Notices
Paper
Publications
185 results at ACM SIGPLAN Notices
Flexible task graphs: A unified restricted thread programming model for Java
- Joshua Auerbach
- David F. Bacon
- et al.
- 2008
- ACM SIGPLAN Notices
PaperEventScript: An event-processing language based on regular expressions with actions
- Norman H. Cohen
- Karl Trygve Kalleberg
- 2008
- ACM SIGPLAN Notices
PaperA domain specific interconnect for reconfigurable computing
- Sanjay Rajopadhye
- Gautam
- et al.
- 2008
- ACM SIGPLAN Notices
PaperDeriving linearizable fine-grained concurrent objects
- Martin Vechev
- Eran Yahav
- 2008
- ACM SIGPLAN Notices
PaperTapping into the fountain of CPUs - On operating system support for programmable devices
- Yaron Weinsberg
- Danny Dolev
- et al.
- 2008
- ACM SIGPLAN Notices
PaperFeedback-driven threading: Power-efficient and high-performance execution of multi-threaded workloads on CMPs
- M. Aater Suleman
- Moinuddin K. Qureshi
- et al.
- 2008
- ACM SIGPLAN Notices
PaperGenerating precise and concise procedure summaries
- Greta Yorsh
- Eran Yahav
- et al.
- 2008
- ACM SIGPLAN Notices
PaperThe causes of bloat, the limits of health
- Nick Mitchell
- Gary Sevitsky
- 2007
- ACM SIGPLAN Notices
PaperUsing HPM-sampling to drive dynamic compilation
- Dries Buytaert
- Andy Georges
- et al.
- 2007
- ACM SIGPLAN Notices
Paper