Publications

185 results at ACM SIGPLAN Notices

WebRB: Evaluating a visual domain-specific language for building relational web-applications
- - Avraham Leff
  - James T. Rayfield
- 2007
- ACM SIGPLAN Notices
StreamFlex: High-throughput stream programming in Java
- - Jesper H. Spring
  - Jean Privat
  - et al.
- 2007
- ACM SIGPLAN Notices
Java takes flight: Time-portable real-time programming with exotasks
- - Joshua Auerbach
  - David F. Bacon
  - et al.
- 2007
- ACM SIGPLAN Notices
Hierarchical real-time garbage collection
- - Filip Pizlo
  - Antony L. Hosking
  - et al.
- 2007
- ACM SIGPLAN Notices
Thin slicing
- - Manu Sridharan
  - Stephen J. Fink
  - et al.
- 2007
- ACM SIGPLAN Notices
The ExoVM system for automatic vm and application reduction
- - Ben L. Titzer
  - Joshua Auerbach
  - et al.
- 2007
- ACM SIGPLAN Notices
Sketching stencils
- - Armando Solar-Lezama
  - Gilad Arnold
  - et al.
- 2007
- ACM SIGPLAN Notices
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- - Martin T. Vechev
  - Eran Yahav
  - et al.
- 2007
- ACM SIGPLAN Notices
Replay compilation: Improving debuggability of a just-in-time compiler
- - Kazunori Ogata
  - Tamiya Onodera
  - et al.
- 2006
- ACM SIGPLAN Notices
An operational semantics and type safety proof for multiple inheritance in C++
- - Daniel Wasserrab
  - Tobias Nipkow
  - et al.
- 2006
- ACM SIGPLAN Notices