Detecting deadlock in programs with data-centric synchronization
- Daniel Marino
- Christian Hammer
- et al.
- 2013
- ICSE 2013
Conference paper
Publications
12 results for Jan Vitek
A data-centric approach to synchronization
- Julian Dolby
- Christian Hammer
- et al.
- 2012
- ACM TOPLAS
PaperDEMO: Thorn - Robust, concurrent scripting on the JVM
- Bard Bloom
- John Field
- et al.
- 2009
- OOPSLA 2009
Conference paperThorn - Robust, concurrent, extensible scripting on the JVM
- Bard Bloom
- John Field
- et al.
- 2009
- OOPSLA 2009
Conference paperSoftware hardening: A research agenda
- Tobias Wrigstad
- Patrick Eugster
- et al.
- 2009
- ECOOP 2009
Workshop paperFlexible Task Graphs: A unified restricted thread programming model for Java
- Joshua Auerbach
- David F. Bacon
- et al.
- 2008
- LCTES 2008
Conference paperFlexible task graphs: A unified restricted thread programming model for Java
- Joshua Auerbach
- David F. Bacon
- et al.
- 2008
- ACM SIGPLAN Notices
PaperStreamFlex: High-throughput stream programming in java
- Jesper H. Spring
- Jean Privat
- et al.
- 2007
- OOPSLA 2007
Conference paperReflexes: Abstractions for highly responsive systems
- Jesper Honig Spring
- Filip Pizlo
- et al.
- 2007
- VEe 2007
Conference paperStreamFlex: High-throughput stream programming in Java
- Jesper H. Spring
- Jean Privat
- et al.
- 2007
- ACM SIGPLAN Notices
Paper