Qvm: An efficient runtime for detecting defects in deployed systems
- Matthew Arnold
- Martin Vechev
- et al.
- 2008
- ACM SIGPLAN Notices
Publications
Date
Featured collections
Popular topics
185 results at ACM SIGPLAN Notices
EventScript: An event-processing language based on regular expressions with actions
- Norman H. Cohen
- Karl Trygve Kalleberg
- 2008
- 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
A domain specific interconnect for reconfigurable computing
- Sanjay Rajopadhye
- Gautam
- et al.
- 2008
- ACM SIGPLAN Notices
Deriving linearizable fine-grained concurrent objects
- Martin Vechev
- Eran Yahav
- 2008
- ACM SIGPLAN Notices
Tapping into the fountain of CPUs - On operating system support for programmable devices
- Yaron Weinsberg
- Danny Dolev
- et al.
- 2008
- ACM SIGPLAN Notices
Feedback-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
Generating precise and concise procedure summaries
- Greta Yorsh
- Eran Yahav
- et al.
- 2008
- ACM SIGPLAN Notices
Using HPM-sampling to drive dynamic compilation
- Dries Buytaert
- Andy Georges
- et al.
- 2007
- ACM SIGPLAN Notices
The causes of bloat, the limits of health
- Nick Mitchell
- Gary Sevitsky
- 2007
- ACM SIGPLAN Notices