 | 2010 |
|---|
| 93 |       | Tomás Kalibera,
Pavel Parizek,
Ghaith Haddad,
Gary T. Leavens,
Jan Vitek:
Challenge benchmarks for verification of real-time programs.
PLPV 2010: 57-62 |
| 92 | | Tobias Wrigstad,
Francesco Zappa Nardelli,
Sylvain Lebresne,
Johan Östlund,
Jan Vitek:
Integrating typed and untyped code in a scripting language.
POPL 2010: 377-388 |
| 2009 |
|---|
| 91 | | Antonio Cunei,
Rachid Guerraoui,
Jesper Honig Spring,
Jean Privat,
Jan Vitek:
High-Performance Transactional Event Processing.
COORDINATION 2009: 27-46 |
| 90 | | Tobias Wrigstad,
Filip Pizlo,
Fadi Meawad,
Lei Zhao,
Jan Vitek:
Loci: Simple Thread-Locality for Java.
ECOOP 2009: 445-469 |
| 89 | | Jan Vitek:
Introduction to: The Myths of Object-Orientation.
ECOOP 2009: 618 |
| 88 | | Tomás Kalibera,
Filip Pizlo,
Antony L. Hosking,
Jan Vitek:
Scheduling Hard Real-Time Garbage Collection.
IEEE Real-Time Systems Symposium 2009: 81-92 |
| 87 | | Filip Pizlo,
Lukasz Ziarek,
Jan Vitek:
Real time Java on resource-constrained platforms with Fiji VM.
JTRES 2009: 110-119 |
| 86 | | Lei Zhao,
Daniel Tang,
Jan Vitek:
A technology compatibility kit for safety critical Java.
JTRES 2009: 160-168 |
| 85 | | Tomás Kalibera,
Jeff Hagelberg,
Filip Pizlo,
Ales Plsek,
Ben Titzer,
Jan Vitek:
CDx: a family of real-time Java benchmarks.
JTRES 2009: 41-50 |
| 84 | | Bard Bloom,
John Field,
Nathaniel Nystrom,
Johan Östlund,
Gregor Richards,
Rok Strnisa,
Jan Vitek,
Tobias Wrigstad:
Thorn: robust, concurrent, extensible scripting on the JVM.
OOPSLA 2009: 117-136 |
| 83 | | Bard Bloom,
John Field,
Nathaniel Nystrom,
Johan Östlund,
Gregor Richards,
Rok Strnisa,
Jan Vitek,
Tobias Wrigstad:
Thorn: robust concurrent scripting on the JVM.
OOPSLA Companion 2009: 789-790 |
| 82 | | Jan Vitek:
Programming Models for Concurrency and Real-Time.
TOOLS (47) 2009: 17 |
| 81 | | Niranjan Suri,
Jan Vitek:
Mobile Agents.
Encyclopedia of Complexity and Systems Science 2009: 5604-5618 |
| 80 | | Marcello M. Bonsangue,
Einar Broch Johnsen,
Amy L. Murphy,
Jan Vitek:
Preface.
Theor. Comput. Sci. 410(2-3): 113 (2009) |
| 2008 |
|---|
| 79 |  | Jan Vitek:
ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings
Springer 2008 |
| 78 | | Filip Pizlo,
Jan Vitek:
Memory Management for Real-Time Java: State of the Art.
ISORC 2008: 248-254 |
| 77 | | Joshua S. Auerbach,
David F. Bacon,
Rachid Guerraoui,
Jesper Honig Spring,
Jan Vitek:
Flexible task graphs: a unified restricted thread programming model for java.
LCTES 2008: 1-11 |
| 76 | | Martin Hirzel,
Nathaniel Nystrom,
Bard Bloom,
Jan Vitek:
Matchete: Paths through the Pattern Matching Jungle.
PADL 2008: 150-166 |
| 75 | | Tian Zhao,
Jason Baker,
James Hunt,
James Noble,
Jan Vitek:
Implicit ownership types for memory management.
Sci. Comput. Program. 71(3): 213-241 (2008) |
| 74 | | Antonio Cunei,
Jan Vitek:
An efficient and flexible toolkit for composing customized method dispatchers.
Softw., Pract. Exper. 38(1): 33-73 (2008) |
| 2007 |
|---|
| 73 | | Amy L. Murphy,
Jan Vitek:
Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Springer 2007 |
| 72 | | Jason Baker,
Antonio Cunei,
Filip Pizlo,
Jan Vitek:
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks.
CC 2007: 64-79 |
| 71 | | Olivier Zendra,
Eric Jul,
Roland Ducournau,
Etienne Gagnon,
Richard E. Jones,
Chandra Krintz,
Philippe Mulet,
Jan Vitek:
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems.
ECOOP Workshops 2007: 50-64 |
| 70 | | Rachid Guerraoui,
Michal Kapalka,
Jan Vitek:
STMBench7: a benchmark for software transactional memory.
EuroSys 2007: 315-324 |
| 69 | | Martin Schoeberl,
Jan Vitek:
Garbage collection for safety critical Java.
JTRES 2007: 85-93 |
| 68 | | Filip Pizlo,
Antony L. Hosking,
Jan Vitek:
Hierarchical real-time garbage collection.
LCTES 2007: 123-133 |
| 67 | | Jesper Honig Spring,
Jean Privat,
Rachid Guerraoui,
Jan Vitek:
Streamflex: high-throughput stream programming in java.
OOPSLA 2007: 211-228 |
| 66 | | Jesper Honig Spring,
Filip Pizlo,
Rachid Guerraoui,
Jan Vitek:
Reflexes: abstractions for highly responsive systems.
VEE 2007: 191-201 |
| 65 | | Austin Armbruster,
Jason Baker,
Antonio Cunei,
Chapman Flack,
David Holmes,
Filip Pizlo,
Edward Pla,
Marek Prochazka,
Jan Vitek:
A real-time Java virtual machine with applications in avionics.
ACM Trans. Embedded Comput. Syst. 7(1): (2007) |
| 64 | | Christian Grothoff,
Jens Palsberg,
Jan Vitek:
Encapsulating objects with confined types.
ACM Trans. Program. Lang. Syst. 29(6): (2007) |
| 63 | | Roland Ducournau,
Etienne Gagnon,
Chandra Krintz,
Philippe Mulet,
Jan Vitek,
Olivier Zendra:
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06
CoRR abs/0710.2887: (2007) |
| 62 | | Olivier Zendra,
Eric Jul,
Roland Ducournau,
Etienne Gagnon,
Richard E. Jones,
Chandra Krintz,
Philippe Mulet,
Jan Vitek:
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07
CoRR abs/0712.1189: (2007) |
| 61 | | Chris Andreae,
Yvonne Coady,
Celina Gibbs,
James Noble,
Jan Vitek,
Tian Zhao:
Scoped types and aspects for real-time Java memory management.
Real-Time Systems 37(1): 1-44 (2007) |
| 2006 |
|---|
| 60 | | Hiroshi Yamauchi,
Jan Vitek:
Combining Offline and Online Optimizations: Register Allocation and Method Inlining.
APLAS 2006: 307-322 |
| 59 | | Chris Andreae,
Yvonne Coady,
Celina Gibbs,
James Noble,
Jan Vitek,
Tian Zhao:
Scoped Types and Aspects for Real-Time Java.
ECOOP 2006: 124-147 |
| 58 | | Roland Ducournau,
Etienne Gagnon,
Chandra Krintz,
Philippe Mulet,
Jan Vitek,
Olivier Zendra:
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems.
ECOOP Workshops 2006: 1-14 |
| 57 | | Jason Baker,
Antonio Cunei,
Chapman Flack,
Filip Pizlo,
Marek Prochazka,
Jan Vitek,
Austin Armbruster,
Edward Pla,
David Holmes:
A Real-time Java Virtual Machine for Avionics - An Experience Report.
IEEE Real Time Technology and Applications Symposium 2006: 384-396 |
| 56 | | Jeremy Manson,
Jan Vitek,
Suresh Jagannathan:
Dynamic aspects for runtime fault determination and recovery.
IPDPS 2006 |
| 55 | | Filip Pizlo,
Jan Vitek:
An Emprical Evaluation of Memory Management Alternatives for Real-Time Java.
RTSS 2006: 35-46 |
| 54 | | Antonio Cunei,
Jan Vitek:
A new approach to real-time checkpointing.
VEE 2006: 68-77 |
| 53 | | Tian Zhao,
Jens Palsberg,
Jan Vitek:
Type-based confinement.
J. Funct. Program. 16(1): 83-128 (2006) |
| 52 | | Bogdan Carbunar,
Ananth Grama,
Jan Vitek,
Octavian Carbunar:
Redundancy and coverage detection in sensor networks.
TOSN 2(1): 94-128 (2006) |
| 2005 |
|---|
| 51 | | Michael Hind,
Jan Vitek:
Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005
ACM 2005 |
| 50 | | Olga Vitek,
Chris Bailey-Kellogg,
Bruce Craig,
Paul Kuliniewicz,
Jan Vitek:
Reconsidering complete search algorithms for protein backbone NMR assignment.
ECCB/JBI 2005: 236 |
| 49 | | Rajeev Gopalakrishna,
Eugene H. Spafford,
Jan Vitek:
Efficient Intrusion Detection using Automaton Inlining.
IEEE Symposium on Security and Privacy 2005: 18-31 |
| 48 | | Antonio Cunei,
Jan Vitek:
PolyD: a flexible dispatching framework.
OOPSLA 2005: 487-503 |
| 47 | | Jeremy Manson,
Jason Baker,
Antonio Cunei,
Suresh Jagannathan,
Marek Prochazka,
Bin Xin,
Jan Vitek:
Preemptible Atomic Regions for Real-Time Java.
RTSS 2005: 62-71 |
| 46 | | Giuseppe Castagna,
Jan Vitek,
Francesco Zappa Nardelli:
The Seal Calculus.
Inf. Comput. 201(1): 1-54 (2005) |
| 45 | | Suresh Jagannathan,
Jan Vitek,
Adam Welc,
Antony L. Hosking:
A transactional object calculus.
Sci. Comput. Program. 57(2): 164-186 (2005) |
| 44 | | Krzysztof Palacz,
Jason Baker,
Chapman Flack,
Christian Grothoff,
Hiroshi Yamauchi,
Jan Vitek:
Engineering a common intermediate representation for the Ovm framework.
Sci. Comput. Program. 57(3): 357-378 (2005) |
| 43 | | Mark Moir,
Nir Shavit,
Jan Vitek:
Concurrency and synchronization in Java programs.
Sci. Comput. Program. 58(3): 291-292 (2005) |
| 2004 |
|---|
| 42 | | Suresh Jagannathan,
Jan Vitek:
Optimistic Concurrency Semantics for Transactions in Coordination Languages.
COORDINATION 2004: 183-198 |
| 41 | | Jan Vitek,
Suresh Jagannathan,
Adam Welc,
Antony L. Hosking:
A Semantic Framework for Designer Transactions.
ESOP 2004: 249-263 |
| 40 | | Bogdan Carbunar,
Ioannis Ioannidis,
Ananth Grama,
Jan Vitek:
A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks.
ICETE (3) 2004: 142-149 |
| 39 | | Bogdan Carbunar,
Ananth Grama,
Jan Vitek:
Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks.
ICPADS 2004: 549- |
| 38 | | Filip Pizlo,
J. M. Fox,
David Holmes,
Jan Vitek:
Real-Time Java Scoped Memory: Design Patterns and Semantics.
ISORC 2004: 101-110 |
| 37 | | Tian Zhao,
James Noble,
Jan Vitek:
Scoped Types for Real-Time Java.
RTSS 2004: 241-251 |
| 36 | | Bogdan Carbunar,
Marco Tulio de Oliveira Valente,
Jan Vitek:
Coordination and mobility in CoreLime.
Mathematical Structures in Computer Science 14(3): 397-419 (2004) |
| 2003 |
|---|
| 35 | | Tom Chothia,
Dominic Duggan,
Jan Vitek:
Type-Based Distributed Access Control.
CSFW 2003: 170- |
| 34 | | Krzysztof Palacz,
Jan Vitek:
Java Subtype Tests in Real-Time.
ECOOP 2003: 378-404 |
| 33 | | Tian Zhao,
Jens Palsberg,
Jan Vitek:
Lightweight confinement for featherweight Java.
OOPSLA 2003: 135-148 |
| 32 | | Peter Sewell,
Jan Vitek:
Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality.
Journal of Computer Security 11(2): 135-188 (2003) |
| 31 | | Jan Vitek,
Ciarán Bryce,
Manuel Oriol:
Coordinating processes with secure spaces.
Sci. Comput. Program. 46(1-2): 163-193 (2003) |
| 2002 |
|---|
| 30 | | Grzegorz Czajkowski,
Jan Vitek:
Resource Management for Safe Languages.
ECOOP Workshops 2002: 1-14 |
| 29 | | Krzysztof Palacz,
Jan Vitek,
Grzegorz Czajkowski,
Laurent Daynès:
Incommunicado: efficient communication for isolates.
OOPSLA 2002: 262-274 |
| 2001 |
|---|
| 28 | | Bogdan Carbunar,
Marco Tulio de Oliveira Valente,
Jan Vitek:
Lime Revisited.
Mobile Agents 2001: 54-69 |
| 27 | | Christian Grothoff,
Jens Palsberg,
Jan Vitek:
Encapsulating Objects with Confined Types.
OOPSLA 2001: 241-253 |
| 26 | | Ciarán Bryce,
Jan Vitek:
The JavaSeal Mobile Agent Kernel.
Autonomous Agents and Multi-Agent Systems 4(4): 359-384 (2001) |
| 25 | | Bogdan Carbunar,
Marco Tulio de Oliveira Valente,
Jan Vitek:
Lime Revisited: Reverse Engineering an Agent Communication Model.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
| 24 | | Jan Vitek,
Boris Bokowski:
Confined types in Java.
Softw., Pract. Exper. 31(6): 507-532 (2001) |
| 2000 |
|---|
| 23 | | Peter Sewell,
Jan Vitek:
Secure Composition of Untrusted Code: Wrappers and Causality Types.
CSFW 2000: 269-284 |
| 1999 |
|---|
| 22 | | Jan Vitek,
Christian Damsgaard Jensen:
Secure Internet Programming, Security Issues for Mobile and Distributed Objects
Springer 1999 |
| 21 | | Ciarán Bryce,
Jan Vitek:
The JavaSeal Mobile Agent Kernel.
ASA/MA 1999: 103-117 |
| 20 | | Ciarán Bryce,
Manuel Oriol,
Jan Vitek:
A Coordination Model Agents Based on Secure Spaces.
COORDINATION 1999: 4-20 |
| 19 | | Peter Sewell,
Jan Vitek:
Secure Composition of Insecure Components.
CSFW 1999: 136-150 |
| 18 | | James Noble,
Jan Vitek,
Doug Lea,
Paulo Sérgio Almeida:
Aliasing in Object Oriented Systems.
ECOOP Workshops 1999: 136-163 |
| 17 | | Jan Vitek,
Boris Bokowski:
Confined Types.
OOPSLA 1999: 82-96 |
| 1998 |
|---|
| 16 | | Quetzalcoatl Bradley,
R. Nigel Horspool,
Jan Vitek:
JAZZ: an efficient compressed format for Java archive files.
CASCON 1998: 7 |
| 15 | | James Noble,
Jan Vitek,
John Potter:
Flexible Alias Protection.
ECOOP 1998: 158-185 |
| 14 | | Ciarán Bryce,
Leila Ismail,
Jan Vitek:
4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations.
ECOOP Workshops 1998: 288-290 |
| 13 | | Jan Vitek,
Giuseppe Castagna:
Seal: A Framework for Secure Mobile Computations.
ICCL Workshop: Internet Programming Languages 1998: 47-77 |
| 12 | | Paolo Ciancarini,
Robert Tolksdorf,
Jan Vitek:
Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface.
World Wide Web 1(3): 109 (1998) |
| 1997 |
|---|
| 11 | | Jan Vitek,
Christian F. Tschudin:
Mobile Object Systems - Towards the Programmable Internet, Second International Workshop, MOS'96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers
Springer 1997 |
| 10 | | Andreas Krall,
Jan Vitek,
R. Nigel Horspool:
Near Optimal Hierarchical Encoding of Types.
ECOOP 1997: 128-145 |
| 9 | | Andreas Krall,
Jan Vitek:
On Extending Java.
JMLC 1997: 321-335 |
| 8 | | Jan Vitek,
R. Nigel Horspool,
Andreas Krall:
Efficient Type Inclusion Tests.
OOPSLA 1997: 142-157 |
| 1996 |
|---|
| 7 | | Jan Vitek,
R. Nigel Horspool:
Compact Dispatch Tables for Dynamically Typed Object Oriented Languages.
CC 1996: 309-325 |
| 6 | | Jan Vitek,
Manuel Serrano,
Dimitri Thanos:
Security and Communication in Mobile Object Systems.
Mobile Object Systems 1996: 177-200 |
| 1995 |
|---|
| 5 | | Karel Driesen,
Urs Hölzle,
Jan Vitek:
Message Dispatch on Pipelined Processors.
ECOOP 1995: 253-282 |
| 1994 |
|---|
| 4 | | Jan Vitek,
R. Nigel Horspool:
Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages.
ECOOP 1994: 432-449 |
| 1993 |
|---|
| 3 | | R. Nigel Horspool,
Jan Vitek:
Static Analysis of PostScript Code.
Comput. Lang. 19(2): 65-78 (1993) |
| 1992 |
|---|
| 2 | | Jan Vitek,
R. Nigel Horspool,
James S. Uhl:
Compile-Time Analysis of Object-Oriented Programs.
CC 1992: 236-250 |
| 1 | | R. Nigel Horspool,
Jan Vitek:
Static analysis of PostScript code.
ICCL 1992: 14-23 |
