Publications

All publications by Jan Vitek, sorted by date.
code:  journal ,  peer-reviewed ,  workshop ,  book chapter  ,  edited .
References in bibtex format.

2013

Richards, Hammer, Jagannathan, Zappa Nardelli, Vitek. Flexible Access Control Policies with Delimited Histories and Revocation. OOPSLA pdf
Marino, Hammer, Dolby, Vaziri, Tip, Vitek. Detecting deadlock in programs with data-centric synchronization. ICSE pdf
DeVito, Hegarty, Aiken, Hanrahan, Vitek. Terra: a multi-stage language for high-performance computing. PLDI pdf
Demange, Laporte, Zhao, Jagannathan, Pichardie, Vitek. Plan B: a buffered memory model for Java. POPL pdf

2012

Kalibera, Mole, Jones, Vitek. A black-box approach to understanding concurrency in DaCapo. OOPSLA pdf
Meawad, Richards, Morandat, Vitek. Eval begone!: semi-automated removal of eval from JavaScript programs. OOPSLA pdf
Vitek. Atomicity in Real-time Computing Springerpdf
Vitek, Kalibera.R3 -- Repeatability, Reproducibility and Rigor. SIGPLAN Notices pdf
Vitek. Memory Safety for Safety Critical Java Springer pdf
Dolby, Hammer, Marino, Tip, Vaziri, Vitek.A Data-Centric Approach to Synchronization. TOPLAS pdf
Morandat, Hill, Osvald, Vitek. Evaluating the Design of the R Language. ECOOP pdf
Macnak, Morandat, Hill, Osvald, Vitek.TraceR: A framework for understanding R performance. UseR!
Bouakaz, Talpin Vitek. Data-Flow Graphs for the Synthesis of Hard Real-Time Applications. ACSD
Meawad, Iyer, Schoeberl, Vitek. Micro-transactions for concurrent data structures. CCPE pdf
Hirschfeld, Krishnamurthi, Vitek. Foundations for Scripting Languages. Dagstuhlpdf

2011

Vitek.Virtualizing real-time embedded systems with Java. DAC pdf
Meawad, Iyer, Schoeberl, Vitek. Real-Time Wait-Free Queues using Micro-Transactions. JTRES pdf
Vitek, Kalibera.Repeatability, Reproducibility and Rigor in Systems Research. (Invited) EMSOFT pdf
Kalibera, Pizlo, Hosking, Vitek.Scheduling Real-Time Garbage Collection on Uniprocessors. TOCS pdf
Richards, Gal, Eich, Vitek. Automated Construction of JavaScript Benchmarks. OOPSLA pdf
Meawad, Macnak, Vitek. Collecting Transactional Garbage. TRANSACT pdf
Kalibera, Hagelberg, Maj, Pizlo, Titzer, Vitek. A family of real-time Java benchmarks CC:PE pdf
Richards, Hammer, Burg, Vitek. The Eval that Men Do: A Large-scale Study of the Use of Eval in JavaScript Applications. ECOOP pdf
Milanova, Vitek. Static Dominance Inference. TOOLS

2010

Vaiziri, Tip, Dolby, Hammer, Vitek. A Type System for Data-Centric Synchronization. ECOOP pdf
Pizlo, Blanton, Hosking, Maj, Vitek, Ziarek. Schism: Fragmentation-Tolerant Real-Time Garbage Collection. PLDI pdf
Richards, Lebresne, Burg, Vitek, An Analysis of the Dynamic Behavior of JavaScript Programs. PLDI pdf
Pizlo Ziareck, Blanton, Maj, Vitek, High-level Programming of Embedded Hard Real-Time Devices. EuroSys pdf
Wrigstad, Zappa Nardelli, Lebresne, Ostlund, Vitek, Integrating Typed and Untyped Code in a Scripting Language. POPL pdf
Schoeberl, Brandner, Vitek, RTTM: Real-Time Transactional Memory. SAC pdf
Spring, Pizlo, Privat, Guerraoui, Vitek. Reflexes: Abstractions for Integrating Highly Responsive Tasks into Java Applications. TECS pdf
Kalibera, Parizek, Haddad, Leavens, Vitek. Challenge Benchmarks for Verification of Real-time Programs. PLPV pdf
Kidd, Jagannathan, Vitek. One Stack to Run Them All: Reducing Concurrent Analysis to Sequential Analysis Under Priority Scheduling. SPIN pdf
Tang, Plsek, Vitek. Static Checking of Safety Critical Java Annotations. JTRES pdf
Plsek, Zhao, Sahin, Tang, Kalibera. Developing Safety Critical Java applications with oSCJ/L0. JTRES pdf
Vitek. Objects, Models, Components, Pattern (TOOLS) Springer pdf
Vitek. Workshop on Java Technologies for Real-time Systems (JTRES) ACM DL

2009

Bonsanguea, Johnsen, Murphy, Vitek, Special Issue on Distributed Computing Techniques in Theoretical Computer Science. TCS
Vitek, Introduction to: The Myths of Object-Orientation. ECOOP
Nystrom, Vitek, Wrigstad. 1st International Script to Program Workshop (STOP) ACM DL
Suri, Vitek. Mobile Agents. Encyclopedia of Complexity and System Science Springer
Kalibera, Pizlo, Hosking, Vitek. Scheduling Hard Real-time Garbage Collection. RTSS pdf
Bloom, Field, Nystrom, Ostlund, Richards, Strnisa, Vitek, Wrigstad. Thorn---Robust, Concurrent, Extensible Scripting on the JVM. OOPSLA pdf
Wrigstad, Pizlo, Meawad, Zhao and Vitek. Loci: Simple Thread-Locality for Java. ECOOP pdf
Cunei, Guerraoui, Spring, Privat, Vitek. High-Performance Transactional Event Processing. COORDINATION pdf
Kalibera, Prochazka, Pizlo, Vitek, Zulianello, Decky. Real-time Java in Space: Potential Benefits and Open Challenges. DASIA
Baker, Cunei, Pizlo, Vitek. Accurate Garbage Collection in Uncooperative Environments. C&C:PE pdf
Hunt, Locke, Nilsen, Schoeberl, Vitek. Java for Safety-Critical Applications. SafeCert pdf
Wrigstad, Eugster, Field, Nystrom, Vitek. Software Hardening: A Research Agenda. STOP
Lebresne, Richards, Östlund, Wrigstad, Vitek. Understanding the Dynamics of JavaScript. STOP
Kalibera, Hagelberg, Pizlo, Plsek, Titzer, Vitek. CDx: A Family of Real-time Java Benchmarks. JTRes pdf
Zhao, Tang, Vitek. A Technology Compatibility Kit for Safety Critical Java. JTRes pdf
Pizlo, Ziarek, Vitek. Real Time Java on resource-constrained platforms with Fiji VM. JTRes pdf

2008

Vitek, 22nd European Conference on Object Oriented Programming (ECOOP'08). Springer
Auerbach, Bacon, Guerraoui, Spring, Vitek. Flexible Task Graphs: A Unified Restricted Thread Programming Model for Java. LCTES pdf
Pizlo, Vitek. Memory Management for Real-time Java: State of the Art. ISORC pdf
Hirzel, Bloom, Nystrom, Vitek. Matchete: Paths through the Pattern Matching Jungle. PADL pdf
Cunei, Vitek. An Efficient and Flexible Toolkit for Composing Customized Method Dispatchers. SP&E   pdf
Zhao, Baker, Hunt, Noble, Vitek. Implicit Ownership Types for Memory Management. SCP pdf

2007

Spring, Privat, Guerraoui, Vitek. StreamFlex: High-throughput Stream Programming in Java. OOPSLA pdf
Schoeberl, Vitek. Garbage Collection for Safety Critical Java. JTRES  pdf
Pizlo, Hosking, Vitek. Hierarchical Real-time Garbage Collection. LCTES   pdf
Murphy, Vitek, 9th International Conference on Coordination Models and Languages (COORDINATION07). Springer
Spring, Pizlo, Guerraoui, Vitek. Reflexes: Abstractions for Highly Responsive Systems. VEE  pdf
Andrea, Coady, Gibbs, Noble, Vitek, Zhao. Scoped Types and Aspects for Real-time Java Memory management. RTS   pdf
Baker, Cunei, Pizlo, Vitek. Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. CC  pdf
Kalpka, Guerraoui, Vitek. STMBench7: A Benchmark for Software Transactional Memory. EUROSYS  pdf

2006

Coady, Gibbs, Haupt, Vitek, Yamauchi. Towards a domain specific language for virtual machines. DSAL
Pizlo, Vitek. An Emprical Evaluation of Memory Management Alternatives for Real-time Java. RTSS  pdf
Yamauchi, Vitek. Combining Offline and Online Optimizations: Register Allocation and Method Inlining. APLAS  pdf
Armbuster, Baker, Cunei, Flack, Holmes, Pizlo, Pla, Prochazka, Vitek. A Real-Time Java Virtual Machine with Applications in Avionics. TECS  pdf
Vitek, Craig, Bailey-Kellog, Vitek. Inferential backbone assignment for sparse data. J.Biomol NMR  pdf
Andrea, Coady, Gibbs, Noble, Vitek, Zhao. Scoped Types and Aspects for Real-Time Systems. ECOOP   pdf
Logozzo, Vitek, 7th Workshop on Formal Techniques for Java-like Programs - FTfJP'2005 (Special issue). JOT
Cunei, Vitek. A New Approach to Real-time Checkpointing. VEE   
Grothoff, Palsberg, Vitek. Encapsulating Objects with Confined Types. TOPLAS (to appear)  pdf
Baker, Cunei, Flack, Pizlo, Prochazka, Vitek, Armbuster, Pla, Holmes. A Real-time Java Virtual Machine for Avionics. RTAS   pdf
Zhao, Palsberg, Vitek. Type-based Confinement. JFP   pdf
Carbunar, Grama, Vitek, Carbunar, Redundancy and Coverage Detection in Sensor Networks TOSN

2005

Manson, Baker, Cunei, Jagannathan, Prochazka, Xin, Vitek. Preemptible Atomic Regions for Real-time Java. RTSS   pdf
Noir, Shavit, Vitek, Concurrency and synchronization in Java programs (Special issue). SCP
Castagna, Vitek, Zappa Nardeli. The Seal calculus. I&C   pdf
Hind, Vitek (Eds). First ACM/USENIX International Conference on Virtual Execution Environments VEE'05.
Cunei, Vitek. PolyD: A Flexible Dispatching Framework. OOPSLA   pdf
Moir, Shavit, Vitek (Eds). Special issue on Concurrency and Synchronization in Java. SCP
Vitek, Bailey-Kellogg, Craig, Kuliniewicz, Vitek. Reconsidering Complete Search Algorithms for Protein Backbone NMR Assignment. Bioinformatics   pdf
Manson, Jagannathan, and Vitek. Dynamic Aspects for Runtime Fault Determination and Recovery. DAW
Jagannathan, Vitek, Welc, Hosking. A Transactional Object Calculus. SCP   pdf
Gopalakrishna, Spafford, Vitek. Efficient Intrusion Detection using Automaton Inlining. S&P   pdf
Palacz, Baker, Flack, Grothoff, Yamauchi, Vitek. Engineering a common intermediate representation for the Ovm framework. SCP   pdf

2004

Zhao, Noble, Vitek. Scoped Types for Real-time Java. RTSS   pdf
Pizlo, Prochazka, Jaggannathan and Vitek. Transactional lock-free data structure for Real Time Java. CSJP
Carbunar, Ioannidis, Grama, Vitek. A Secure Crediting Protocol for Hybrid Cellular, Ad-Hoc Networks. ICETE
Vitek, Vitek, Craig, Bailey-Kellogg. Model-based assignment, inference of protein backbone nuclear magnetic resonances. SGMB   pdf
Carbunar, Grama, Vitek. Coverage Preserving Redundancy Elimination in Sensor Networks. SECON
Chothia, Duggan, Vitek. Principals, Policies, Keys in a Secure Distributed Programming Language. FCS   
Carbunar, Valente, Vitek. Coordination and Mobility in CoreLime. MSCS   pdf
Carbunar, Grama, Vitek. Distributed, Dynamic Voronoi Overlays for Coverage Detection, Distributed Hash Tables in Ad-Hoc Networks. ICPADS
Pizlo, Fox, Holmes, Vitek. Real-Time Java scoped memory: design patterns, semantics. ISORC   pdf
Vitek, Jagannathan, Welc, Hosking. A semantic framework for designer transactions. ESOP   pdf
Jagannathan, Vitek. Optimistic concurrency semantics for transactions in coordination languages. COORDINATION   pdf

2003

Zhao, Palsberg, Vitek. Lightweight confinement for featherweight Java. OOPSLA   pdf
Sewell, Vitek. Secure composition of untrusted code: box-pi, wrappers, causality types. JCS   pdf
Chothia, Duggan, Vitek. Type-based distributed access control. CSFW   pdf
Palacz, Vitek. Subtype tests in real time. ECOOP   pdf
Palacz, Baker, Flack, Grothoff, Yamauchi, Vitek. Engineering a customizable intermediate representation. IVME   pdf

2002

Palacz, Czaikowski, Daynes, Vitek. Incommunicado: a communication substrate for Isolates. OOPSLA   pdf
Vitek, Bryce, Oriol. Coordinating agents with secure spaces. SCP   pdf

2001

Vitek, Bokowski. Confined types for Java. SP&E   pdf
Carbunar, Valente, Vitek. Lime revisited. MA   pdf
Carbunar, Valente and Vitek. CoreLime: a coordination model for mobile agents. WCC
Grothoff, Palsberg, Vitek. Encapsulating objects with confined types. OOPSLA   pdf
Bryce, Vitek. The JavaSeal mobile agent kernel. AAMAS   pdf

2000

Sewell, Vitek. Secure composition of untrusted code: wrappers, causality types. CSFW   pdf

1999

Sewell, Vitek. Secure composition of insecure components. CSFW   pdf
Vitek, Castagna. Mobile computations and hostile host. JFLA
Bryce, Oriol, Vitek. Secure object spaces: a coordination model for agents. COORDINATION   pdf
Vitek, Jensen (Eds.). Secure Internet Programming: Security Issues for Mobile, Distributed Object Systems. Springer
Bokowski, Vitek. Confined types. OOPSLA   pdf
Ciancarini, Tolskdorf, Vitek (Eds.). Special issue on Distributed World Wide Web Processing: Applications, Techniques. WWWJ
Vitek, Bryce. Security for mobile code: the JavaSeal experiment. ASA/MA   pdf

1998

Bradley, Horspool. JAZZ: An efficient compressed format for Java archive files. CASCON   pdf
Vitek, Castagna. Seal: a framework for secure mobile computations. Internet Programming Languages   pdf
Noble, Vitek, Potter. Flexible alias protection. ECOOP   pdf
Vitek, Tschudin (Eds.). Proceedings of the Mobile Object Systems Workshop. Dpunkt
Ciancarini, Tolskdorf, Vitek (Eds.). Workshop on Collaborative Agents in Distributed Web Applications. WETICE

1997

Vitek, Horspool, Krall. Efficient type inclusion tests. OOPSLA   pdf
Vitek, Serrano, Thanos. Security, communication in mobile object systems. Mobile Object Systems: Towards the Programmable Internet
Krall, Vitek, Horspool. Near optimal hierarchical encoding of types. ECOOP   pdf
Vitek, Tschudin (Eds.). Mobile Object Systems: Towards the Programmable Internet. Springer
Krall, Vitek. On extending Java. JMLC   pdf
Vitek . New Paradigms in distributed computing. ERSADS

1996

Vitek, Horspool. Compact dispatch tables for dynamically typed object oriented languages. CC   
Vitek. Secure object spaces MOS
Konstantas, Morin and Vitek. MEDIA: A platform for the commercialization of electronic documents. UofG TR

1995

Driesen, Holzle, Vitek. Message dispatch on pipelined processors. ECOOP   pdf

1994

Vitek, Horspool. Taming message passing: efficient method look-up for dynamically typed languages. ECOOP   pdf

1993

Horspool, Vitek. Static analysis of PostScript code. JCL   

1992

Vitek, Horspool, Uhl. Compile-time analysis of object-oriented programs. CC   
Kappel, Vitek, Nierstrasz, Junod, Stadelmann. Scripting applications in the public administration domain. . SIGOIS
Horspool, Vitek. Static analysis of PostScript code. ICCL