The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jan Vitek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hiroshi Yamauchi, Jan Vitek
    Combining Offline and Online Optimizations: Register Allocation and Method Inlining. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:307-322 [Conf]
  2. Quetzalcoatl Bradley, R. Nigel Horspool, Jan Vitek
    JAZZ: an efficient compressed format for Java archive files. [Citation Graph (0, 0)][DBLP]
    CASCON, 1998, pp:7- [Conf]
  3. Jan Vitek, R. Nigel Horspool
    Compact Dispatch Tables for Dynamically Typed Object Oriented Languages. [Citation Graph (0, 0)][DBLP]
    CC, 1996, pp:309-325 [Conf]
  4. Jan Vitek, R. Nigel Horspool, James S. Uhl
    Compile-Time Analysis of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    CC, 1992, pp:236-250 [Conf]
  5. Ciarán Bryce, Manuel Oriol, Jan Vitek
    A Coordination Model Agents Based on Secure Spaces. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:4-20 [Conf]
  6. Suresh Jagannathan, Jan Vitek
    Optimistic Concurrency Semantics for Transactions in Coordination Languages. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:183-198 [Conf]
  7. Tom Chothia, Dominic Duggan, Jan Vitek
    Type-Based Distributed Access Control. [Citation Graph (0, 0)][DBLP]
    CSFW, 2003, pp:170-0 [Conf]
  8. Peter Sewell, Jan Vitek
    Secure Composition of Untrusted Code: Wrappers and Causality Types. [Citation Graph (0, 0)][DBLP]
    CSFW, 2000, pp:269-284 [Conf]
  9. Peter Sewell, Jan Vitek
    Secure Composition of Insecure Components. [Citation Graph (0, 0)][DBLP]
    CSFW, 1999, pp:136-150 [Conf]
  10. Olga Vitek, Chris Bailey-Kellogg, Bruce Craig, Paul Kuliniewicz, Jan Vitek
    Reconsidering complete search algorithms for protein backbone NMR assignment. [Citation Graph (0, 0)][DBLP]
    ECCB/JBI, 2005, pp:236- [Conf]
  11. Karel Driesen, Urs Hölzle, Jan Vitek
    Message Dispatch on Pipelined Processors. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1995, pp:253-282 [Conf]
  12. Andreas Krall, Jan Vitek, R. Nigel Horspool
    Near Optimal Hierarchical Encoding of Types. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1997, pp:128-145 [Conf]
  13. James Noble, Jan Vitek, John Potter
    Flexible Alias Protection. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1998, pp:158-185 [Conf]
  14. Krzysztof Palacz, Jan Vitek
    Java Subtype Tests in Real-Time. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2003, pp:378-404 [Conf]
  15. Jan Vitek, R. Nigel Horspool
    Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1994, pp:432-449 [Conf]
  16. Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao
    Scoped Types and Aspects for Real-Time Java. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2006, pp:124-147 [Conf]
  17. Ciarán Bryce, Leila Ismail, Jan Vitek
    4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:288-290 [Conf]
  18. Grzegorz Czajkowski, Jan Vitek
    Resource Management for Safe Languages. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2002, pp:1-14 [Conf]
  19. James Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida
    Aliasing in Object Oriented Systems. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:136-163 [Conf]
  20. Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking
    A Semantic Framework for Designer Transactions. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:249-263 [Conf]
  21. R. Nigel Horspool, Jan Vitek
    Static analysis of PostScript code. [Citation Graph (0, 0)][DBLP]
    ICCL, 1992, pp:14-23 [Conf]
  22. Jan Vitek, Giuseppe Castagna
    Seal: A Framework for Secure Mobile Computations. [Citation Graph (0, 0)][DBLP]
    ICCL Workshop: Internet Programming Languages, 1998, pp:47-77 [Conf]
  23. Bogdan Carbunar, Ioannis Ioannidis, Ananth Grama, Jan Vitek
    A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP]
    ICETE (3), 2004, pp:142-149 [Conf]
  24. Bogdan Carbunar, Ananth Grama, Jan Vitek
    Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP]
    ICPADS, 2004, pp:549-0 [Conf]
  25. Jeremy Manson, Jan Vitek, Suresh Jagannathan
    Dynamic aspects for runtime fault determination and recovery. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  26. Filip Pizlo, J. M. Fox, David Holmes, Jan Vitek
    Real-Time Java Scoped Memory: Design Patterns and Semantics. [Citation Graph (0, 0)][DBLP]
    ISORC, 2004, pp:101-110 [Conf]
  27. Andreas Krall, Jan Vitek
    On Extending Java. [Citation Graph (0, 0)][DBLP]
    JMLC, 1997, pp:321-335 [Conf]
  28. Ciarán Bryce, Jan Vitek
    The JavaSeal Mobile Agent Kernel. [Citation Graph (0, 0)][DBLP]
    ASA/MA, 1999, pp:103-117 [Conf]
  29. Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek
    Lime Revisited. [Citation Graph (0, 0)][DBLP]
    Mobile Agents, 2001, pp:54-69 [Conf]
  30. Jan Vitek, Manuel Serrano, Dimitri Thanos
    Security and Communication in Mobile Object Systems. [Citation Graph (0, 0)][DBLP]
    Mobile Object Systems, 1996, pp:177-200 [Conf]
  31. Antonio Cunei, Jan Vitek
    PolyD: a flexible dispatching framework. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:487-503 [Conf]
  32. Christian Grothoff, Jens Palsberg, Jan Vitek
    Encapsulating Objects with Confined Types. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2001, pp:241-253 [Conf]
  33. Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Daynès
    Incommunicado: efficient communication for isolates. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:262-274 [Conf]
  34. Jan Vitek, Boris Bokowski
    Confined Types. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1999, pp:82-96 [Conf]
  35. Jan Vitek, R. Nigel Horspool, Andreas Krall
    Efficient Type Inclusion Tests. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1997, pp:142-157 [Conf]
  36. Tian Zhao, Jens Palsberg, Jan Vitek
    Lightweight confinement for featherweight Java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2003, pp:135-148 [Conf]
  37. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2006, pp:384-396 [Conf]
  38. Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek
    Preemptible Atomic Regions for Real-Time Java. [Citation Graph (0, 0)][DBLP]
    RTSS, 2005, pp:62-71 [Conf]
  39. Filip Pizlo, Jan Vitek
    An Emprical Evaluation of Memory Management Alternatives for Real-Time Java. [Citation Graph (0, 0)][DBLP]
    RTSS, 2006, pp:35-46 [Conf]
  40. Tian Zhao, James Noble, Jan Vitek
    Scoped Types for Real-Time Java. [Citation Graph (0, 0)][DBLP]
    RTSS, 2004, pp:241-251 [Conf]
  41. Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek
    Efficient Intrusion Detection using Automaton Inlining. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 2005, pp:18-31 [Conf]
  42. Antonio Cunei, Jan Vitek
    A new approach to real-time checkpointing. [Citation Graph (0, 0)][DBLP]
    VEE, 2006, pp:68-77 [Conf]
  43. Ciarán Bryce, Jan Vitek
    The JavaSeal Mobile Agent Kernel. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2001, v:4, n:4, pp:359-384 [Journal]
  44. R. Nigel Horspool, Jan Vitek
    Static Analysis of PostScript Code. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1993, v:19, n:2, pp:65-78 [Journal]
  45. Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek
    Lime Revisited: Reverse Engineering an Agent Communication Model. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  46. Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli
    The Seal Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:201, n:1, pp:1-54 [Journal]
  47. Peter Sewell, Jan Vitek
    Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2003, v:11, n:2, pp:135-188 [Journal]
  48. Tian Zhao, Jens Palsberg, Jan Vitek
    Type-based confinement. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:1, pp:83-128 [Journal]
  49. Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek
    Coordination and mobility in CoreLime. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:3, pp:397-419 [Journal]
  50. Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking
    A transactional object calculus. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:57, n:2, pp:164-186 [Journal]
  51. Mark Moir, Nir Shavit, Jan Vitek
    Concurrency and synchronization in Java programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:3, pp:291-292 [Journal]
  52. Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek
    Engineering a common intermediate representation for the Ovm framework. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:57, n:3, pp:357-378 [Journal]
  53. Jan Vitek, Ciarán Bryce, Manuel Oriol
    Coordinating processes with secure spaces. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:46, n:1-2, pp:163-193 [Journal]
  54. Jan Vitek, Boris Bokowski
    Confined types in Java. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2001, v:31, n:6, pp:507-532 [Journal]
  55. Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar
    Redundancy and coverage detection in sensor networks. [Citation Graph (0, 0)][DBLP]
    TOSN, 2006, v:2, n:1, pp:94-128 [Journal]
  56. Paolo Ciancarini, Robert Tolksdorf, Jan Vitek
    Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface. [Citation Graph (0, 0)][DBLP]
    World Wide Web, 1998, v:1, n:3, pp:109- [Journal]
  57. Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek
    Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. [Citation Graph (0, 0)][DBLP]
    CC, 2007, pp:64-79 [Conf]
  58. Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra
    Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2006, pp:1-14 [Conf]
  59. Filip Pizlo, Antony L. Hosking, Jan Vitek
    Hierarchical real-time garbage collection. [Citation Graph (0, 0)][DBLP]
    LCTES, 2007, pp:123-133 [Conf]
  60. Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek
    Streamflex: high-throughput stream programming in java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:211-228 [Conf]
  61. Jesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek
    Reflexes: abstractions for highly responsive systems. [Citation Graph (0, 0)][DBLP]
    VEE, 2007, pp:191-201 [Conf]
  62. Rachid Guerraoui, Michal Kapalka, Jan Vitek
    STMBench7: a benchmark for software transactional memory. [Citation Graph (0, 0)][DBLP]
    EuroSys, 2007, pp:315-324 [Conf]
  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 [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  64. Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao
    Scoped types and aspects for real-time Java memory management. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2007, v:37, n:1, pp:1-44 [Journal]
  65. Christian Grothoff, Jens Palsberg, Jan Vitek
    Encapsulating objects with confined types. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:6, pp:- [Journal]

  66. High-Performance Transactional Event Processing. [Citation Graph (, )][DBLP]


  67. Loci: Simple Thread-Locality for Java. [Citation Graph (, )][DBLP]


  68. Introduction to: The Myths of Object-Orientation. [Citation Graph (, )][DBLP]


  69. A Type System for Data-Centric Synchronization. [Citation Graph (, )][DBLP]


  70. Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. [Citation Graph (, )][DBLP]


  71. Memory Management for Real-Time Java: State of the Art. [Citation Graph (, )][DBLP]


  72. Flexible task graphs: a unified restricted thread programming model for java. [Citation Graph (, )][DBLP]


  73. Thorn: robust, concurrent, extensible scripting on the JVM. [Citation Graph (, )][DBLP]


  74. Thorn: robust concurrent scripting on the JVM. [Citation Graph (, )][DBLP]


  75. Matchete: Paths through the Pattern Matching Jungle. [Citation Graph (, )][DBLP]


  76. Schism: fragmentation-tolerant real-time garbage collection. [Citation Graph (, )][DBLP]


  77. An analysis of the dynamic behavior of JavaScript programs. [Citation Graph (, )][DBLP]


  78. Integrating typed and untyped code in a scripting language. [Citation Graph (, )][DBLP]


  79. Scheduling Hard Real-Time Garbage Collection. [Citation Graph (, )][DBLP]


  80. RTTM: real-time transactional memory. [Citation Graph (, )][DBLP]


  81. Programming Models for Concurrency and Real-Time. [Citation Graph (, )][DBLP]


  82. High-level programming of embedded hard real-time devices. [Citation Graph (, )][DBLP]


  83. Challenge benchmarks for verification of real-time programs. [Citation Graph (, )][DBLP]


  84. Garbage collection for safety critical Java. [Citation Graph (, )][DBLP]


  85. Real time Java on resource-constrained platforms with Fiji VM. [Citation Graph (, )][DBLP]


  86. A technology compatibility kit for safety critical Java. [Citation Graph (, )][DBLP]


  87. CDx: a family of real-time Java benchmarks. [Citation Graph (, )][DBLP]


  88. Static checking of safety critical Java annotations. [Citation Graph (, )][DBLP]


  89. Developing safety critical Java applications with oSCJ/L0. [Citation Graph (, )][DBLP]


  90. Accurate garbage collection in uncooperative environments revisited. [Citation Graph (, )][DBLP]


  91. Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07 [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.013secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002