Number of items: 4.
Conference or Workshop Item (A Paper)
Marino, Daniel and Hammer, Christian and Dolby, Julian and Vaziri, Mandana and Tip, Frank and Vitek, Jan
(2013)
Detecting Deadlock in Programs with Data-Centric Synchronization.
Article
Dolby, Julian and Hammer, Christian and Marino, Daniel and Tip, Frank and Vaziri, Mandana and Vitek, Jan
(2012)
A data-centric approach to synchronization.
ACM Trans. Program. Lang. Syst., 34 (1).
4:1-4:48.
Monograph
Marino, Daniel and Hammer, Christian and Dolby, Julian and Vaziri, Mandana and Tip, Frank and Vitek, Jan
(2012)
Detecting Deadlock in Programs with Data-Centric Synchronization.
Technical Report.
UNSPECIFIED.
(Unpublished)
Dolby, Julian and Hammer, Christian and Marino, Daniel and Tip, Frank and Vaziri, Mandana and Vitek, Jan
(2011)
A data-centric approach to synchronization.
Technical Report.
UNSPECIFIED.
(Unpublished)
This list was generated on Sun Dec 22 01:07:01 2024 CET.