dblp.uni-trier.dewww.uni-trier.de

Jan Vitek Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
90EEAntonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek: High-Performance Transactional Event Processing. COORDINATION 2009: 27-46
89EETobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek: Loci: Simple Thread-Locality for Java. ECOOP 2009: 445-469
88EEJan Vitek: Introduction to: The Myths of Object-Orientation. ECOOP 2009: 618
87EEFilip Pizlo, Lukasz Ziarek, Jan Vitek: Real time Java on resource-constrained platforms with Fiji VM. JTRES 2009: 110-119
86EELei Zhao, Daniel Tang, Jan Vitek: A technology compatibility kit for safety critical Java. JTRES 2009: 160-168
85EETomás Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben Titzer, Jan Vitek: CDx: a family of real-time Java benchmarks. JTRES 2009: 41-50
84EEBard 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
83EEBard 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
82EEJan Vitek: Programming Models for Concurrency and Real-Time. TOOLS (47) 2009: 17
81EENiranjan Suri, Jan Vitek: Mobile Agents. Encyclopedia of Complexity and Systems Science 2009: 5604-5618
80EEMarcello 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
78EEFilip Pizlo, Jan Vitek: Memory Management for Real-Time Java: State of the Art. ISORC 2008: 248-254
77EEJoshua 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
76EEMartin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek: Matchete: Paths through the Pattern Matching Jungle. PADL 2008: 150-166
75EETian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek: Implicit ownership types for memory management. Sci. Comput. Program. 71(3): 213-241 (2008)
74EEAntonio 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
72EEJason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek: Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. CC 2007: 64-79
71EEOlivier 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
70EERachid Guerraoui, Michal Kapalka, Jan Vitek: STMBench7: a benchmark for software transactional memory. EuroSys 2007: 315-324
69EEMartin Schoeberl, Jan Vitek: Garbage collection for safety critical Java. JTRES 2007: 85-93
68EEFilip Pizlo, Antony L. Hosking, Jan Vitek: Hierarchical real-time garbage collection. LCTES 2007: 123-133
67EEJesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek: Streamflex: high-throughput stream programming in java. OOPSLA 2007: 211-228
66EEJesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek: Reflexes: abstractions for highly responsive systems. VEE 2007: 191-201
65EEAustin 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)
64EEChristian Grothoff, Jens Palsberg, Jan Vitek: Encapsulating objects with confined types. ACM Trans. Program. Lang. Syst. 29(6): (2007)
63EERoland 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)
62EEOlivier 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)
61EEChris 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
60EEHiroshi Yamauchi, Jan Vitek: Combining Offline and Online Optimizations: Register Allocation and Method Inlining. APLAS 2006: 307-322
59EEChris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao: Scoped Types and Aspects for Real-Time Java. ECOOP 2006: 124-147
58EERoland 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
57EEJason 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
56EEJeremy Manson, Jan Vitek, Suresh Jagannathan: Dynamic aspects for runtime fault determination and recovery. IPDPS 2006
55EEFilip Pizlo, Jan Vitek: An Emprical Evaluation of Memory Management Alternatives for Real-Time Java. RTSS 2006: 35-46
54EEAntonio Cunei, Jan Vitek: A new approach to real-time checkpointing. VEE 2006: 68-77
53EETian Zhao, Jens Palsberg, Jan Vitek: Type-based confinement. J. Funct. Program. 16(1): 83-128 (2006)
52EEBogdan 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
50EEOlga Vitek, Chris Bailey-Kellogg, Bruce Craig, Paul Kuliniewicz, Jan Vitek: Reconsidering complete search algorithms for protein backbone NMR assignment. ECCB/JBI 2005: 236
49EERajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek: Efficient Intrusion Detection using Automaton Inlining. IEEE Symposium on Security and Privacy 2005: 18-31
48EEAntonio Cunei, Jan Vitek: PolyD: a flexible dispatching framework. OOPSLA 2005: 487-503
47EEJeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek: Preemptible Atomic Regions for Real-Time Java. RTSS 2005: 62-71
46EEGiuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli: The Seal Calculus. Inf. Comput. 201(1): 1-54 (2005)
45EESuresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking: A transactional object calculus. Sci. Comput. Program. 57(2): 164-186 (2005)
44EEKrzysztof 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)
43EEMark Moir, Nir Shavit, Jan Vitek: Concurrency and synchronization in Java programs. Sci. Comput. Program. 58(3): 291-292 (2005)
2004
42EESuresh Jagannathan, Jan Vitek: Optimistic Concurrency Semantics for Transactions in Coordination Languages. COORDINATION 2004: 183-198
41EEJan 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
39EEBogdan Carbunar, Ananth Grama, Jan Vitek: Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks. ICPADS 2004: 549-
38EEFilip Pizlo, J. M. Fox, David Holmes, Jan Vitek: Real-Time Java Scoped Memory: Design Patterns and Semantics. ISORC 2004: 101-110
37EETian Zhao, James Noble, Jan Vitek: Scoped Types for Real-Time Java. RTSS 2004: 241-251
36EEBogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek: Coordination and mobility in CoreLime. Mathematical Structures in Computer Science 14(3): 397-419 (2004)
2003
35EETom Chothia, Dominic Duggan, Jan Vitek: Type-Based Distributed Access Control. CSFW 2003: 170-
34EEKrzysztof Palacz, Jan Vitek: Java Subtype Tests in Real-Time. ECOOP 2003: 378-404
33EETian 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)
31EEJan Vitek, Ciarán Bryce, Manuel Oriol: Coordinating processes with secure spaces. Sci. Comput. Program. 46(1-2): 163-193 (2003)
2002
30EEGrzegorz Czajkowski, Jan Vitek: Resource Management for Safe Languages. ECOOP Workshops 2002: 1-14
29EEKrzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Daynès: Incommunicado: efficient communication for isolates. OOPSLA 2002: 262-274
2001
28EEBogdan 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)
25EEBogdan 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
23EEPeter 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
21EECiarán Bryce, Jan Vitek: The JavaSeal Mobile Agent Kernel. ASA/MA 1999: 103-117
20EECiarán Bryce, Manuel Oriol, Jan Vitek: A Coordination Model Agents Based on Secure Spaces. COORDINATION 1999: 4-20
19EEPeter Sewell, Jan Vitek: Secure Composition of Insecure Components. CSFW 1999: 136-150
18EEJames Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida: Aliasing in Object Oriented Systems. ECOOP Workshops 1999: 136-163
17EEJan Vitek, Boris Bokowski: Confined Types. OOPSLA 1999: 82-96
1998
16EEQuetzalcoatl Bradley, R. Nigel Horspool, Jan Vitek: JAZZ: an efficient compressed format for Java archive files. CASCON 1998: 7
15EEJames Noble, Jan Vitek, John Potter: Flexible Alias Protection. ECOOP 1998: 158-185
14EECiarán Bryce, Leila Ismail, Jan Vitek: 4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations. ECOOP Workshops 1998: 288-290
13EEJan 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
10EEAndreas 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
7EEJan 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
5EEKarel Driesen, Urs Hölzle, Jan Vitek: Message Dispatch on Pipelined Processors. ECOOP 1995: 253-282
1994
4EEJan 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
2EEJan Vitek, R. Nigel Horspool, James S. Uhl: Compile-Time Analysis of Object-Oriented Programs. CC 1992: 236-250
1EER. Nigel Horspool, Jan Vitek: Static analysis of PostScript code. ICCL 1992: 14-23

Coauthor Index

1Paulo Sérgio Almeida [18]
2Chris Andreae [59] [61]
3Austin Armbruster [57] [65]
4Joshua S. Auerbach [77]
5David F. Bacon [77]
6Chris Bailey-Kellogg (Christopher Bailey-Kellogg) [50]
7Jason Baker [44] [47] [57] [65] [72] [75]
8Bard Bloom [76] [83] [84]
9Boris Bokowski [17] [24]
10Marcello M. Bonsangue [80]
11Quetzalcoatl Bradley [16]
12Ciarán Bryce [14] [20] [21] [26] [31]
13Bogdan Carbunar [25] [28] [36] [39] [40] [52]
14Octavian Carbunar [52]
15Giuseppe Castagna [13] [46]
16Tom Chothia [35]
17Paolo Ciancarini [12]
18Yvonne Coady [59] [61]
19Bruce Craig [50]
20Antonio Cunei [47] [48] [54] [57] [65] [72] [74] [90]
21Grzegorz Czajkowski [29] [30]
22Laurent Daynès [29]
23Karel Driesen [5]
24Roland Ducournau [58] [62] [63] [71]
25Dominic Duggan [35]
26John Field [83] [84]
27Chapman Flack [44] [57] [65]
28J. M. Fox [38]
29Etienne M. Gagnon (Etienne Gagnon) [58] [62] [63] [71]
30Celina Gibbs [59] [61]
31Rajeev Gopalakrishna [49]
32Ananth Grama [39] [40] [52]
33Christian Grothoff [27] [44] [64]
34Rachid Guerraoui [66] [67] [70] [77] [90]
35Jeff Hagelberg [85]
36Michael Hind [51]
37Martin Hirzel [76]
38David Holmes [38] [57] [65]
39Urs Hölzle [5]
40R. Nigel Horspool [1] [2] [3] [4] [7] [8] [10] [16]
41Antony L. Hosking [41] [45] [68]
42James Hunt [75]
43Ioannis Ioannidis [40]
44Leila Ismail [14]
45Suresh Jagannathan [41] [42] [45] [47] [56]
46Christian Damsgaard Jensen [22]
47Einar Broch Johnsen [80]
48Richard E. Jones [62] [71]
49Eric Jul [62] [71]
50Tomás Kalibera [85]
51Michal Kapalka [70]
52Andreas Krall [8] [9] [10]
53Chandra Krintz [58] [62] [63] [71]
54Paul Kuliniewicz [50]
55Doug Lea [18]
56Jeremy Manson [47] [56]
57Fadi Meawad [89]
58Mark Moir [43]
59Philippe Mulet [58] [62] [63] [71]
60Amy L. Murphy [73] [80]
61Francesco Zappa Nardelli [46]
62James Noble [15] [18] [37] [59] [61] [75]
63Nathaniel Nystrom [76] [83] [84]
64Manuel Oriol [20] [31]
65Johan Östlund [83] [84]
66Krzysztof Palacz [29] [34] [44]
67Jens Palsberg [27] [33] [53] [64]
68Filip Pizlo [38] [55] [57] [65] [66] [68] [72] [78] [85] [87] [89]
69Edward Pla [57] [65]
70Ales Plsek [85]
71John Potter [15]
72Jean Privat [67] [90]
73Marek Prochazka [47] [57] [65]
74Gregor Richards [83] [84]
75Martin Schoeberl [69]
76Manuel Serrano [6]
77Peter Sewell [19] [23] [32]
78Nir Shavit [43]
79Eugene H. Spafford [49]
80Jesper Honig Spring [66] [67] [77] [90]
81Rok Strnisa [83] [84]
82Niranjan Suri [81]
83Daniel Tang [86]
84Dimitri Thanos [6]
85Ben Titzer [85]
86Robert Tolksdorf [12]
87Christian F. Tschudin [11]
88James S. Uhl [2]
89Marco Tulio de Oliveira Valente [25] [28] [36]
90Olga Vitek [50]
91Adam Welc [41] [45]
92Tobias Wrigstad [83] [84] [89]
93Bin Xin [47]
94Hiroshi Yamauchi [44] [60]
95Olivier Zendra [58] [62] [63] [71]
96Lei Zhao [86] [89]
97Tian Zhao [33] [37] [53] [59] [61] [75]
98Lukasz Ziarek [87]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)