Items where Author is "Vitek, Jan"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article | Monograph
Number of items: 7.

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.
In: ICSE '13: Proceedings of the 35th International Conference on Software Engineering.
Conference: ICSE International Conference on Software Engineering

Richards, Gregor and Hammer, Christian and Nardelli, Francesco Zappa and Jagannathan, Suresh and Vitek, Jan
(2013) Flexible Access Control for JavaScript.
In: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages and applications.
Conference: OOPSLA ACM Conference on Object Oriented Programming Systems Languages and Applications

Richards, Gregor and Hammer, Christian and Burg, Brian and Vitek, Jan
(2011) The Eval that Men Do -- A Large-scale Study of the Use of Eval in JavaScript Applications.
In: ECOOP'11: Proceedings of the 25th European Conference on Object-Oriented Programming.
Conference: ECOOP European Conference on Object-Oriented Programming

Vaziri, Mandana and Tip, Frank and Dolby, Julian and Hammer, Christian and Vitek, Jan
(2010) A Type System for Data-Centric Synchronization.
In: ECOOP '10: Proceedings of the 24th European Conference on Object-Oriented Programming.

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 Wed Jul 3 05:47:11 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.