Jan Vitek - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

PrefaceMarcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek. TCS, 410(2-3):113, 2009. [doi]

High-Performance Transactional Event ProcessingAntonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek. coordination 2009: 27-46 [doi]

2008

Flexible task graphs: a unified restricted thread programming model for javaJoshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek. lctrts 2008: 1-11 [doi]

An efficient and flexible toolkit for composing customized method dispatchersAntonio Cunei, Jan Vitek. SPE, 38(1):33-73, 2008. [doi]

Matchete: Paths through the Pattern Matching JungleMartin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek. padl 2008: 150-166 [doi]

Memory Management for Real-Time Java: State of the ArtFilip Pizlo, Jan Vitek. isorc 2008: 248-254 [doi]

ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, ProceedingsJan Vitek, editor, Volume 5142 of Lecture Notes in Computer Science, Springer, 2008.

Implicit ownership types for memory managementTian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek. SCP, 71(3):213-241, 2008. [doi]

2007

Scoped types and aspects for real-time Java memory managementChris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao. rts, 37(1):1-44, 2007. [doi]

A real-time Java virtual machine with applications in avionicsAustin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek. tecs, 7(1), 2007. [doi]

Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer StacksJason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek. CC 2007: 64-79 [doi]

Encapsulating objects with confined typesChristian Grothoff, Jens Palsberg, Jan Vitek. TOPLAS, 29(6), 2007. [doi]

STMBench7: a benchmark for software transactional memoryRachid Guerraoui, Michal Kapalka, Jan Vitek. eurosys 2007: 315-324 [doi]

Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, ProceedingsAmy L. Murphy, Jan Vitek, editors, Volume 4467 of Lecture Notes in Computer Science, Springer, 2007.

Hierarchical real-time garbage collectionFilip Pizlo, Antony L. Hosking, Jan Vitek. lctrts 2007: 123-133 [doi]

Garbage collection for safety critical JavaMartin Schoeberl, Jan Vitek. jtres 2007: 85-93 [doi]

Reflexes: abstractions for highly responsive systemsJesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek. vee 2007: 191-201 [doi]

Streamflex: high-throughput stream programming in javaJesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek. OOPSLA 2007: 211-228 [doi]

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and SystemsOlivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek. ECOOPW 2008: 50-64 [doi]

2006

Scoped Types and Aspects for Real-Time JavaChris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao. ECOOP 2006: 124-147 [doi]

A Real-time Java Virtual Machine for Avionics - An Experience ReportJason Baker, Antonio Cunei, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbruster, Edward Pla, David Holmes. rtas 2006: 384-396 [doi]

Redundancy and coverage detection in sensor networksBogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar. tosn, 2(1):94-128, 2006. [doi]

A new approach to real-time checkpointingAntonio Cunei, Jan Vitek. vee 2006: 68-77 [doi]

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and SystemsRoland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra. ECOOPW 2006: 1-14 [doi]

Dynamic aspects for runtime fault determination and recoveryJeremy Manson, Jan Vitek, Suresh Jagannathan. ipps 2006: [doi]

An Emprical Evaluation of Memory Management Alternatives for Real-Time JavaFilip Pizlo, Jan Vitek. rtss 2006: 35-46 [doi]

Combining Offline and Online Optimizations: Register Allocation and Method InliningHiroshi Yamauchi, Jan Vitek. aplas 2006: 307-322 [doi]

Type-based confinementTian Zhao, Jens Palsberg, Jan Vitek. JFP, 16(1):83-128, 2006. [doi]

2005

The Seal CalculusGiuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli. iandc, 201(1):1-54, 2005. [doi]

PolyD: a flexible dispatching frameworkAntonio Cunei, Jan Vitek. OOPSLA 2005: 487-503 [doi]

Efficient Intrusion Detection using Automaton InliningRajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek. sp 2005: 18-31 [doi]

Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005Michael Hind, Jan Vitek, editors, ACM, 2005.

A transactional object calculusSuresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking. SCP, 57(2):164-186, 2005. [doi]

Preemptible Atomic Regions for Real-Time JavaJeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek. rtss 2005: 62-71 [doi]

Concurrency and synchronization in Java programsMark Moir, Nir Shavit, Jan Vitek. SCP, 58(3):291-292, 2005. [doi]

Engineering a common intermediate representation for the Ovm frameworkKrzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek. SCP, 57(3):357-378, 2005. [doi]

Reconsidering complete search algorithms for protein backbone NMR assignmentOlga Vitek, Chris Bailey-Kellogg, Bruce Craig, Paul Kuliniewicz, Jan Vitek. eccb 2005: 236 [doi]

2004

Coordination and mobility in CoreLimeBogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek. mscs, 14(3):397-419, 2004. [doi]

Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc NetworksBogdan Carbunar, Ananth Grama, Jan Vitek. icpads 2004: 549 [doi]

A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc NetworksBogdan Carbunar, Ioannis Ioannidis, Ananth Grama, Jan Vitek. icete 2004: 142-149

Optimistic Concurrency Semantics for Transactions in Coordination LanguagesSuresh Jagannathan, Jan Vitek. coordination 2004: 183-198 [doi]

Real-Time Java Scoped Memory: Design Patterns and SemanticsFilip Pizlo, J. M. Fox, David Holmes, Jan Vitek. isorc 2004: 101-110 [doi]

A Semantic Framework for Designer TransactionsJan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking. ESOP 2004: 249-263 [doi]

Scoped Types for Real-Time JavaTian Zhao, James Noble, Jan Vitek. rtss 2004: 241-251 [doi]

2003

2002

Resource Management for Safe LanguagesGrzegorz Czajkowski, Jan Vitek. ECOOPW 2002: 1-14 [doi]

Incommunicado: efficient communication for isolatesKrzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Daynès. OOPSLA 2002: 262-274 [doi]

2001

2000

Secure Composition of Untrusted Code: Wrappers and Causality TypesPeter Sewell, Jan Vitek. csfw 2000: 269-284 [doi]

1999

The JavaSeal Mobile Agent KernelCiarán Bryce, Jan Vitek. ma 1999: 103-117 [doi]

A Coordination Model Agents Based on Secure SpacesCiarán Bryce, Manuel Oriol, Jan Vitek. coordination 1999: 4-20 [doi]

Aliasing in Object Oriented SystemsJames Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida. ECOOPW 1999: 136-163 [doi]

Secure Composition of Insecure ComponentsPeter Sewell, Jan Vitek. csfw 1999: 136-150 [doi]

Confined TypesJan Vitek, Boris Bokowski. OOPSLA 1999: 82-96 [doi]

Secure Internet Programming, Security Issues for Mobile and Distributed ObjectsJan Vitek, Christian Damsgaard Jensen, editors, Volume 1603 of Lecture Notes in Computer Science, Springer, 1999.

1998

1997

Near Optimal Hierarchical Encoding of TypesAndreas Krall, Jan Vitek, R. Nigel Horspool. ECOOP 1997: 128-145 [doi]

On Extending JavaAndreas Krall, Jan Vitek. jmlc 1997: 321-335

Efficient Type Inclusion TestsJan Vitek, R. Nigel Horspool, Andreas Krall. OOPSLA 1997: 142-157

1996

Compact Dispatch Tables for Dynamically Typed Object Oriented LanguagesJan Vitek, R. Nigel Horspool. cc 1996: 309-325

Security and Communication in Mobile Object SystemsJan Vitek, Manuel Serrano, Dimitri Thanos. mos 1997: 177-200

1995

Message Dispatch on Pipelined ProcessorsKarel Driesen, Urs Hölzle, Jan Vitek. ECOOP 1995: 253-282 [doi]

1994

Taming Message Passing: Efficient Method Look-Up for Dynamically Typed LanguagesJan Vitek, R. Nigel Horspool. ECOOP 1994: 432-449 [doi]

1993

Static Analysis of PostScript CodeR. Nigel Horspool, Jan Vitek. Comp. Lang., Syst. \& Struct., 19(2):65-78, 1993.

1992

Static analysis of PostScript codeR. Nigel Horspool, Jan Vitek. iccl 1992: 14-23 [doi]

Compile-Time Analysis of Object-Oriented ProgramsJan Vitek, R. Nigel Horspool, James S. Uhl. cc 1992: 236-250