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 
Marino, Hammer, Dolby, Vaziri, Tip, Vitek. Detecting deadlock in programs with data-centric synchronization. ICSE
DeVito, Hegarty, Aiken, Hanrahan, Vitek. Terra: a multi-stage language for high-performance computing. PLDI
Demange, Laporte, Zhao, Jagannathan, Pichardie, Vitek. Plan B: a buffered memory model for Java. POPL
2012
Kalibera, Mole, Jones, Vitek. A black-box approach to understanding concurrency in DaCapo. OOPSLA
Meawad, Richards, Morandat, Vitek. Eval begone!: semi-automated removal of eval from JavaScript programs. OOPSLA
Vitek. Atomicity in Real-time Computing Springer
Vitek, Kalibera.R3 -- Repeatability, Reproducibility and Rigor. SIGPLAN Notices
Vitek. Memory Safety for Safety Critical Java Springer
Dolby, Hammer, Marino, Tip, Vaziri, Vitek.A Data-Centric Approach to Synchronization. TOPLAS
Morandat, Hill, Osvald, Vitek. Evaluating the Design of the R Language. ECOOP
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
Hirschfeld, Krishnamurthi, Vitek. Foundations for Scripting Languages. Dagstuhl
2011
Vitek.Virtualizing real-time embedded systems with Java. DAC
Meawad, Iyer, Schoeberl, Vitek. Real-Time Wait-Free Queues using Micro-Transactions. JTRES
Vitek, Kalibera.Repeatability, Reproducibility and Rigor in Systems Research. (Invited) EMSOFT
Kalibera, Pizlo, Hosking, Vitek.Scheduling Real-Time Garbage Collection on Uniprocessors. TOCS
Richards, Gal, Eich, Vitek. Automated Construction of JavaScript Benchmarks. OOPSLA
Meawad, Macnak, Vitek. Collecting Transactional Garbage. TRANSACT
Kalibera, Hagelberg, Maj, Pizlo, Titzer, Vitek.
A family of real-time Java benchmarks CC:PE
Richards, Hammer, Burg, Vitek. The Eval that Men Do:
A Large-scale Study of the Use of Eval in JavaScript Applications. ECOOP
Milanova, Vitek. Static Dominance Inference.
TOOLS
2010
Vaiziri, Tip, Dolby, Hammer, Vitek. A
Type System for Data-Centric Synchronization. ECOOP
Pizlo, Blanton, Hosking, Maj,
Vitek, Ziarek. Schism: Fragmentation-Tolerant
Real-Time Garbage Collection. PLDI
Richards, Lebresne, Burg,
Vitek, An Analysis of the Dynamic Behavior
of JavaScript Programs. PLDI
Pizlo Ziareck, Blanton, Maj,
Vitek, High-level
Programming of Embedded Hard Real-Time Devices. EuroSys
Wrigstad, Zappa Nardelli, Lebresne, Ostlund,
Vitek, Integrating Typed and Untyped Code in
a Scripting Language. POPL
Schoeberl, Brandner,
Vitek, RTTM: Real-Time Transactional Memory. SAC
Spring, Pizlo, Privat,
Guerraoui, Vitek. Reflexes: Abstractions
for Integrating Highly Responsive Tasks into Java Applications. TECS
Kalibera, Parizek, Haddad,
Leavens, Vitek. Challenge Benchmarks for
Verification of Real-time Programs. PLPV
Kidd, Jagannathan,
Vitek. One Stack to Run Them All:
Reducing Concurrent Analysis to Sequential Analysis Under Priority
Scheduling. SPIN
Tang, Plsek,
Vitek. Static Checking of Safety
Critical Java
Annotations. JTRES
Plsek, Zhao, Sahin,
Tang, Kalibera. Developing Safety Critical
Java applications with oSCJ/L0. JTRES
Vitek. Objects,
Models, Components, Pattern (TOOLS) Springer
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
Bloom, Field, Nystrom,
Ostlund, Richards, Strnisa, Vitek, Wrigstad. Thorn---Robust,
Concurrent, Extensible Scripting on the JVM. OOPSLA
Wrigstad, Pizlo, Meawad,
Zhao and Vitek. Loci: Simple Thread-Locality
for Java. ECOOP
Cunei, Guerraoui, Spring,
Privat, Vitek. High-Performance Transactional
Event Processing. COORDINATION
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
Hunt, Locke, Nilsen, Schoeberl,
Vitek. Java for Safety-Critical Applications. SafeCert
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
Zhao, Tang,
Vitek. A Technology Compatibility Kit
for Safety Critical Java. JTRes
Pizlo, Ziarek, Vitek. Real
Time Java on resource-constrained platforms with Fiji VM. JTRes
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
Pizlo, Vitek. Memory
Management for Real-time Java: State of the Art. ISORC
Hirzel, Bloom, Nystrom,
Vitek. Matchete: Paths through the Pattern
Matching Jungle. PADL
Cunei, Vitek. An
Efficient and Flexible Toolkit for Composing Customized Method Dispatchers. SP&E
Zhao, Baker, Hunt, Noble,
Vitek. Implicit Ownership Types for Memory
Management. SCP
2007
Spring, Privat, Guerraoui,
Vitek. StreamFlex: High-throughput Stream
Programming in Java. OOPSLA
Schoeberl, Vitek. Garbage
Collection for Safety Critical Java. JTRES
Pizlo, Hosking, Vitek. Hierarchical
Real-time Garbage Collection. LCTES
Murphy, Vitek, 9th
International Conference on Coordination Models and Languages (COORDINATION07). Springer
Spring, Pizlo, Guerraoui,
Vitek. Reflexes: Abstractions for Highly
Responsive Systems. VEE
Andrea, Coady, Gibbs, Noble,
Vitek, Zhao. Scoped Types and Aspects for
Real-time Java Memory management. RTS
Baker, Cunei, Pizlo,
Vitek. Accurate Garbage Collection in Uncooperative
Environments with Lazy Pointer Stacks. CC
Kalpka, Guerraoui,
Vitek. STMBench7: A Benchmark for Software
Transactional Memory. EUROSYS
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
Yamauchi, Vitek. Combining
Offline and Online Optimizations: Register Allocation and Method Inlining. APLAS
Armbuster, Baker, Cunei,
Flack, Holmes, Pizlo, Pla, Prochazka, Vitek. A
Real-Time Java Virtual Machine with Applications in Avionics. TECS
Vitek, Craig, Bailey-Kellog,
Vitek. Inferential backbone assignment for
sparse data. J.Biomol NMR
Andrea, Coady, Gibbs,
Noble, Vitek, Zhao. Scoped Types and Aspects
for Real-Time Systems. ECOOP
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)
Baker, Cunei, Flack,
Pizlo, Prochazka, Vitek, Armbuster, Pla, Holmes. A
Real-time Java Virtual Machine for Avionics. RTAS
Zhao, Palsberg, Vitek. Type-based
Confinement. JFP
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
Noir, Shavit, Vitek, Concurrency
and synchronization in Java programs (Special issue). SCP
Castagna, Vitek, Zappa
Nardeli. The Seal calculus. I&C
Hind, Vitek (Eds). First
ACM/USENIX International Conference on Virtual Execution Environments VEE'05.
Cunei, Vitek. PolyD:
A Flexible Dispatching Framework. OOPSLA
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
Manson, Jagannathan, and
Vitek. Dynamic Aspects for Runtime Fault
Determination and Recovery. DAW
Jagannathan, Vitek, Welc,
Hosking. A Transactional Object Calculus. SCP
Gopalakrishna, Spafford,
Vitek. Efficient Intrusion Detection using
Automaton Inlining. S&P
Palacz, Baker, Flack, Grothoff,
Yamauchi, Vitek. Engineering a common intermediate
representation for the Ovm framework. SCP
2004
Zhao, Noble, Vitek. Scoped
Types for Real-time Java. RTSS
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
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
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
Vitek, Jagannathan,
Welc, Hosking. A semantic framework for designer
transactions. ESOP
Jagannathan, Vitek. Optimistic
concurrency semantics for transactions in coordination languages. COORDINATION
2003
Zhao, Palsberg, Vitek. Lightweight
confinement for featherweight Java. OOPSLA
Sewell, Vitek. Secure
composition of untrusted code: box-pi, wrappers, causality types. JCS
Chothia, Duggan, Vitek. Type-based
distributed access control. CSFW
Palacz, Vitek. Subtype
tests in real time. ECOOP
Palacz, Baker, Flack,
Grothoff, Yamauchi, Vitek. Engineering a
customizable intermediate representation. IVME
2002
Palacz, Czaikowski,
Daynes, Vitek. Incommunicado: a communication
substrate for Isolates. OOPSLA
Vitek, Bryce, Oriol. Coordinating
agents with secure spaces. SCP
2001
Vitek, Bokowski. Confined
types for Java. SP&E
Carbunar, Valente,
Vitek. Lime revisited. MA
Carbunar, Valente and
Vitek. CoreLime: a coordination model for
mobile agents. WCC
Grothoff, Palsberg,
Vitek. Encapsulating objects with confined
types. OOPSLA
Bryce, Vitek. The
JavaSeal mobile agent kernel. AAMAS
2000
Sewell, Vitek. Secure
composition of untrusted code: wrappers, causality types. CSFW
1999
Sewell, Vitek. Secure
composition of insecure components. CSFW
Vitek, Castagna. Mobile
computations and hostile host. JFLA
Bryce, Oriol, Vitek. Secure
object spaces: a coordination model for agents. COORDINATION
Vitek, Jensen (Eds.). Secure
Internet Programming: Security Issues for Mobile, Distributed Object Systems. Springer
Bokowski, Vitek. Confined
types. OOPSLA
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
1998
Bradley, Horspool. JAZZ:
An efficient compressed format for Java archive files. CASCON
Vitek, Castagna. Seal:
a framework for secure mobile computations. Internet
Programming Languages
Noble, Vitek, Potter. Flexible
alias protection. ECOOP
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
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
Vitek, Tschudin (Eds.). Mobile
Object Systems: Towards the Programmable Internet. Springer
Krall, Vitek. On
extending Java. JMLC
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
1994
Vitek, Horspool. Taming
message passing: efficient method look-up for dynamically typed languages. ECOOP
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