2009 | ||
---|---|---|
80 | EE | 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 | EE | Filip Pizlo, Jan Vitek: Memory Management for Real-Time Java: State of the Art. ISORC 2008: 248-254 |
77 | EE | 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 | EE | Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek: Matchete: Paths through the Pattern Matching Jungle. PADL 2008: 150-166 |
75 | EE | 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 | EE | 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 | EE | Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek: Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. CC 2007: 64-79 |
71 | EE | 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 | EE | Rachid Guerraoui, Michal Kapalka, Jan Vitek: STMBench7: a benchmark for software transactional memory. EuroSys 2007: 315-324 |
69 | EE | Martin Schoeberl, Jan Vitek: Garbage collection for safety critical Java. JTRES 2007: 85-93 |
68 | EE | Filip Pizlo, Antony L. Hosking, Jan Vitek: Hierarchical real-time garbage collection. LCTES 2007: 123-133 |
67 | EE | Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek: Streamflex: high-throughput stream programming in java. OOPSLA 2007: 211-228 |
66 | EE | Jesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek: Reflexes: abstractions for highly responsive systems. VEE 2007: 191-201 |
65 | EE | 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 | EE | Christian Grothoff, Jens Palsberg, Jan Vitek: Encapsulating objects with confined types. ACM Trans. Program. Lang. Syst. 29(6): (2007) |
63 | EE | 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 | EE | 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 | EE | 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 | EE | Hiroshi Yamauchi, Jan Vitek: Combining Offline and Online Optimizations: Register Allocation and Method Inlining. APLAS 2006: 307-322 |
59 | EE | 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 | EE | 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 | EE | 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 | EE | Jeremy Manson, Jan Vitek, Suresh Jagannathan: Dynamic aspects for runtime fault determination and recovery. IPDPS 2006 |
55 | EE | Filip Pizlo, Jan Vitek: An Emprical Evaluation of Memory Management Alternatives for Real-Time Java. RTSS 2006: 35-46 |
54 | EE | Antonio Cunei, Jan Vitek: A new approach to real-time checkpointing. VEE 2006: 68-77 |
53 | EE | Tian Zhao, Jens Palsberg, Jan Vitek: Type-based confinement. J. Funct. Program. 16(1): 83-128 (2006) |
52 | EE | 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 | EE | 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 | EE | Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek: Efficient Intrusion Detection using Automaton Inlining. IEEE Symposium on Security and Privacy 2005: 18-31 |
48 | EE | Antonio Cunei, Jan Vitek: PolyD: a flexible dispatching framework. OOPSLA 2005: 487-503 |
47 | EE | 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 | EE | Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli: The Seal Calculus. Inf. Comput. 201(1): 1-54 (2005) |
45 | EE | Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking: A transactional object calculus. Sci. Comput. Program. 57(2): 164-186 (2005) |
44 | EE | 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 | EE | Mark Moir, Nir Shavit, Jan Vitek: Concurrency and synchronization in Java programs. Sci. Comput. Program. 58(3): 291-292 (2005) |
2004 | ||
42 | EE | Suresh Jagannathan, Jan Vitek: Optimistic Concurrency Semantics for Transactions in Coordination Languages. COORDINATION 2004: 183-198 |
41 | EE | 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 | EE | 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 | EE | Filip Pizlo, J. M. Fox, David Holmes, Jan Vitek: Real-Time Java Scoped Memory: Design Patterns and Semantics. ISORC 2004: 101-110 |
37 | EE | Tian Zhao, James Noble, Jan Vitek: Scoped Types for Real-Time Java. RTSS 2004: 241-251 |
36 | EE | 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 | EE | Tom Chothia, Dominic Duggan, Jan Vitek: Type-Based Distributed Access Control. CSFW 2003: 170- |
34 | EE | Krzysztof Palacz, Jan Vitek: Java Subtype Tests in Real-Time. ECOOP 2003: 378-404 |
33 | EE | 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 | EE | Jan Vitek, Ciarán Bryce, Manuel Oriol: Coordinating processes with secure spaces. Sci. Comput. Program. 46(1-2): 163-193 (2003) |
2002 | ||
30 | EE | Grzegorz Czajkowski, Jan Vitek: Resource Management for Safe Languages. ECOOP Workshops 2002: 1-14 |
29 | EE | Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Daynès: Incommunicado: efficient communication for isolates. OOPSLA 2002: 262-274 |
2001 | ||
28 | EE | 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 | EE | 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 | EE | 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 | EE | Ciarán Bryce, Jan Vitek: The JavaSeal Mobile Agent Kernel. ASA/MA 1999: 103-117 |
20 | EE | Ciarán Bryce, Manuel Oriol, Jan Vitek: A Coordination Model Agents Based on Secure Spaces. COORDINATION 1999: 4-20 |
19 | EE | Peter Sewell, Jan Vitek: Secure Composition of Insecure Components. CSFW 1999: 136-150 |
18 | EE | James Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida: Aliasing in Object Oriented Systems. ECOOP Workshops 1999: 136-163 |
17 | EE | Jan Vitek, Boris Bokowski: Confined Types. OOPSLA 1999: 82-96 |
1998 | ||
16 | EE | Quetzalcoatl Bradley, R. Nigel Horspool, Jan Vitek: JAZZ: an efficient compressed format for Java archive files. CASCON 1998: 7 |
15 | EE | James Noble, Jan Vitek, John Potter: Flexible Alias Protection. ECOOP 1998: 158-185 |
14 | EE | Ciarán Bryce, Leila Ismail, Jan Vitek: 4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations. ECOOP Workshops 1998: 288-290 |
13 | EE | 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 | EE | 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 | EE | Karel Driesen, Urs Hölzle, Jan Vitek: Message Dispatch on Pipelined Processors. ECOOP 1995: 253-282 |
1994 | ||
4 | EE | 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 | EE | R. Nigel Horspool, Jan Vitek: Static analysis of PostScript code. ICCL 1992: 14-23 |