Publications

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

2008

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 (draft)

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 pdf

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 pdf

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 pdf

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