@inproceedings{VitekST96,
  title = {Security and Communication in Mobile Object Systems},
  author = {Jan Vitek and Manuel Serrano and Dimitri Thanos},
  year = {1996},
  tags = {meta-model, security, Meta-Environment, mobile, meta-objects},
  researchr = {https://researchr.org/publication/VitekST96},
  cites = {0},
  citedby = {0},
  pages = {177-200},
  booktitle = {mos},
}

@inproceedings{KrallVH97,
  title = {Near Optimal Hierarchical Encoding of Types},
  author = {Andreas Krall and Jan Vitek and R. Nigel Horspool},
  year = {1997},
  url = {http://link.springer.de/link/service/series/0558/bibs/1241/12410128.htm},
  researchr = {https://researchr.org/publication/KrallVH97},
  cites = {0},
  citedby = {0},
  pages = {128-145},
  booktitle = {ECOOP},
}

@inproceedings{VitekHU92,
  title = {Compile-Time Analysis of Object-Oriented Programs},
  author = {Jan Vitek and R. Nigel Horspool and James S. Uhl},
  year = {1992},
  tags = {object-oriented programming, program analysis, meta programming, analysis, compiler, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/VitekHU92},
  cites = {0},
  citedby = {0},
  pages = {236-250},
  booktitle = {cc},
}

@inproceedings{BakerCPV07,
  title = {Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks},
  author = {Jason Baker and Antonio Cunei and Filip Pizlo and Jan Vitek},
  year = {2007},
  doi = {10.1007/978-3-540-71229-9_5},
  url = {http://dx.doi.org/10.1007/978-3-540-71229-9_5},
  tags = {laziness, Meta-Environment},
  researchr = {https://researchr.org/publication/BakerCPV07},
  cites = {0},
  citedby = {0},
  pages = {64-79},
  booktitle = {CC},
}

@inproceedings{ZhaoNV04,
  title = {Scoped Types for Real-Time Java},
  author = {Tian Zhao and James Noble and Jan Vitek},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/rtss/2004/2247/00/22470241abs.htm},
  tags = {Java},
  researchr = {https://researchr.org/publication/ZhaoNV04},
  cites = {0},
  citedby = {0},
  pages = {241-251},
  booktitle = {rtss},
}

@inproceedings{ZendraJDGJKMV07,
  title = {Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems},
  author = {Olivier Zendra and Eric Jul and Roland Ducournau and Etienne Gagnon and Richard E. Jones and Chandra Krintz and Philippe Mulet and Jan Vitek},
  year = {2007},
  doi = {10.1007/978-3-540-78195-0_6},
  url = {http://dx.doi.org/10.1007/978-3-540-78195-0_6},
  tags = {programming languages, optimization, object-oriented programming, subject-oriented programming, program optimization, feature-oriented programming},
  researchr = {https://researchr.org/publication/ZendraJDGJKMV07},
  cites = {0},
  citedby = {0},
  pages = {50-64},
  booktitle = {ECOOPW},
}

@inproceedings{BryceIV98,
  title = {4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations},
  author = {Ciarán Bryce and Leila Ismail and Jan Vitek},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1543/15430288.htm},
  tags = {mobile},
  researchr = {https://researchr.org/publication/BryceIV98},
  cites = {0},
  citedby = {0},
  pages = {288-290},
  booktitle = {ECOOPW},
}

@inproceedings{CarbunarVV01:0,
  title = {Lime Revisited},
  author = {Bogdan Carbunar and Marco Tulio de Oliveira Valente and Jan Vitek},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2240/22400054.htm},
  researchr = {https://researchr.org/publication/CarbunarVV01%3A0},
  cites = {0},
  citedby = {0},
  pages = {54-69},
  booktitle = {ma},
}

@inproceedings{PalaczVCD02,
  title = {Incommunicado: efficient communication for isolates},
  author = {Krzysztof Palacz and Jan Vitek and Grzegorz Czajkowski and Laurent Daynès},
  year = {2002},
  doi = {10.1145/582419.582444},
  url = {http://doi.acm.org/10.1145/582419.582444},
  researchr = {https://researchr.org/publication/PalaczVCD02},
  cites = {0},
  citedby = {0},
  pages = {262-274},
  booktitle = {OOPSLA},
}

@inproceedings{ZhaoPV03,
  title = {Lightweight confinement for featherweight Java},
  author = {Tian Zhao and Jens Palsberg and Jan Vitek},
  year = {2003},
  doi = {10.1145/949305.949318},
  url = {http://doi.acm.org/10.1145/949305.949318},
  tags = {Java},
  researchr = {https://researchr.org/publication/ZhaoPV03},
  cites = {0},
  citedby = {0},
  pages = {135-148},
  booktitle = {OOPSLA},
}

@article{ZhaoPV06,
  title = {Type-based confinement},
  author = {Tian Zhao and Jens Palsberg and Jan Vitek},
  year = {2006},
  doi = {10.1017/S0956796805005691},
  url = {http://dx.doi.org/10.1017/S0956796805005691},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/ZhaoPV06},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {16},
  number = {1},
  pages = {83-128},
}

@article{GrothoffPV07,
  title = {Encapsulating objects with confined types},
  author = {Christian Grothoff and Jens Palsberg and Jan Vitek},
  year = {2007},
  doi = {10.1145/1286821.1286823},
  url = {http://doi.acm.org/10.1145/1286821.1286823},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/GrothoffPV07},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {29},
  number = {6},
  pages = {32},
}

@article{JagannathanVWH05,
  title = {A transactional object calculus},
  author = {Suresh Jagannathan and Jan Vitek and Adam Welc and Antony L. Hosking},
  year = {2005},
  doi = {10.1016/j.scico.2005.03.001},
  url = {http://dx.doi.org/10.1016/j.scico.2005.03.001},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/JagannathanVWH05},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {57},
  number = {2},
  pages = {164-186},
}

@inproceedings{GuerraouiKV07,
  title = {STMBench7: a benchmark for software transactional memory},
  author = {Rachid Guerraoui and Michal Kapalka and Jan Vitek},
  year = {2007},
  doi = {10.1145/1272996.1273029},
  url = {http://doi.acm.org/10.1145/1272996.1273029},
  researchr = {https://researchr.org/publication/GuerraouiKV07},
  cites = {0},
  citedby = {0},
  pages = {315-324},
  booktitle = {eurosys},
}

@inproceedings{CuneiGSPV09,
  title = {High-Performance Transactional Event Processing},
  author = {Antonio Cunei and Rachid Guerraoui and Jesper Honig Spring and Jean Privat and Jan Vitek},
  year = {2009},
  doi = {10.1007/978-3-642-02053-7_2},
  url = {http://dx.doi.org/10.1007/978-3-642-02053-7_2},
  researchr = {https://researchr.org/publication/CuneiGSPV09},
  cites = {0},
  citedby = {0},
  pages = {27-46},
  booktitle = {coordination},
}

@inproceedings{JagannathanV04,
  title = {Optimistic Concurrency Semantics for Transactions in Coordination Languages},
  author = {Suresh Jagannathan and Jan Vitek},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2949&spage=183},
  tags = {semantics},
  researchr = {https://researchr.org/publication/JagannathanV04},
  cites = {0},
  citedby = {0},
  pages = {183-198},
  booktitle = {coordination},
}

@article{CuneiV08,
  title = {An efficient and flexible toolkit for composing customized method dispatchers},
  author = {Antonio Cunei and Jan Vitek},
  year = {2008},
  doi = {10.1002/spe.821},
  url = {http://dx.doi.org/10.1002/spe.821},
  researchr = {https://researchr.org/publication/CuneiV08},
  cites = {0},
  citedby = {0},
  journal = {SPE},
  volume = {38},
  number = {1},
  pages = {33-73},
}

@inproceedings{CuneiV06,
  title = {A new approach to real-time checkpointing},
  author = {Antonio Cunei and Jan Vitek},
  year = {2006},
  doi = {10.1145/1134760.1134771},
  url = {http://doi.acm.org/10.1145/1134760.1134771},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/CuneiV06},
  cites = {0},
  citedby = {0},
  pages = {68-77},
  booktitle = {vee},
}

@inproceedings{GopalakrishnaSV05,
  title = {Efficient Intrusion Detection using Automaton Inlining},
  author = {Rajeev Gopalakrishna and Eugene H. Spafford and Jan Vitek},
  year = {2005},
  doi = {10.1109/SP.2005.1},
  url = {http://doi.ieeecomputersociety.org/10.1109/SP.2005.1},
  researchr = {https://researchr.org/publication/GopalakrishnaSV05},
  cites = {0},
  citedby = {0},
  pages = {18-31},
  booktitle = {sp},
}

@inproceedings{HorspoolV92,
  title = {Static analysis of PostScript code},
  author = {R. Nigel Horspool and Jan Vitek},
  year = {1992},
  doi = {10.1109/ICCL.1992.185464},
  url = {http://dx.doi.org/10.1109/ICCL.1992.185464},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/HorspoolV92},
  cites = {0},
  citedby = {0},
  pages = {14-23},
  booktitle = {iccl},
}

@inproceedings{VitekH96,
  title = {Compact Dispatch Tables for Dynamically Typed Object Oriented Languages},
  author = {Jan Vitek and R. Nigel Horspool},
  year = {1996},
  researchr = {https://researchr.org/publication/VitekH96},
  cites = {0},
  citedby = {0},
  pages = {309-325},
  booktitle = {cc},
}

@inproceedings{CarbunarGV04,
  title = {Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks},
  author = {Bogdan Carbunar and Ananth Grama and Jan Vitek},
  year = {2004},
  doi = {10.1109/ICPADS.2004.34},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICPADS.2004.34},
  tags = {coverage},
  researchr = {https://researchr.org/publication/CarbunarGV04},
  cites = {0},
  citedby = {0},
  pages = {549},
  booktitle = {icpads},
}

@inproceedings{CuneiV05,
  title = {PolyD: a flexible dispatching framework},
  author = {Antonio Cunei and Jan Vitek},
  year = {2005},
  doi = {10.1145/1094811.1094849},
  url = {http://doi.acm.org/10.1145/1094811.1094849},
  researchr = {https://researchr.org/publication/CuneiV05},
  cites = {0},
  citedby = {0},
  pages = {487-503},
  booktitle = {OOPSLA},
}

@inproceedings{MansonBCJPXV05,
  title = {Preemptible Atomic Regions for Real-Time Java},
  author = {Jeremy Manson and Jason Baker and Antonio Cunei and Suresh Jagannathan and Marek Prochazka and Bin Xin and Jan Vitek},
  year = {2005},
  doi = {10.1109/RTSS.2005.34},
  url = {http://doi.ieeecomputersociety.org/10.1109/RTSS.2005.34},
  tags = {Java},
  researchr = {https://researchr.org/publication/MansonBCJPXV05},
  cites = {0},
  citedby = {0},
  pages = {62-71},
  booktitle = {rtss},
}

@inproceedings{PizloHV07,
  title = {Hierarchical real-time garbage collection},
  author = {Filip Pizlo and Antony L. Hosking and Jan Vitek},
  year = {2007},
  doi = {10.1145/1254766.1254784},
  url = {http://doi.acm.org/10.1145/1254766.1254784},
  researchr = {https://researchr.org/publication/PizloHV07},
  cites = {0},
  citedby = {0},
  pages = {123-133},
  booktitle = {lctrts},
}

@inproceedings{PizloFHV04,
  title = {Real-Time Java Scoped Memory: Design Patterns and Semantics},
  author = {Filip Pizlo and J. M. Fox and David Holmes and Jan Vitek},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/isorc/2004/2124/00/21240101abs.htm},
  tags = {semantics, Java, design},
  researchr = {https://researchr.org/publication/PizloFHV04},
  cites = {0},
  citedby = {0},
  pages = {101-110},
  booktitle = {isorc},
}

@inproceedings{SpringPGV07:0,
  title = {Streamflex: high-throughput stream programming in java},
  author = {Jesper Honig Spring and Jean Privat and Rachid Guerraoui and Jan Vitek},
  year = {2007},
  doi = {10.1145/1297027.1297043},
  url = {http://doi.acm.org/10.1145/1297027.1297043},
  tags = {Java, programming},
  researchr = {https://researchr.org/publication/SpringPGV07%3A0},
  cites = {0},
  citedby = {0},
  pages = {211-228},
  booktitle = {OOPSLA},
}

@article{BonsangueJMV09,
  title = {Preface},
  author = {Marcello M. Bonsangue and Einar Broch Johnsen and Amy L. Murphy and Jan Vitek},
  year = {2009},
  doi = {10.1016/j.tcs.2008.09.039},
  url = {http://dx.doi.org/10.1016/j.tcs.2008.09.039},
  researchr = {https://researchr.org/publication/BonsangueJMV09},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {410},
  number = {2-3},
  pages = {113},
}

@inproceedings{SewellV00,
  title = {Secure Composition of Untrusted Code: Wrappers and Causality Types},
  author = {Peter Sewell and Jan Vitek},
  year = {2000},
  url = {http://www.computer.org/proceedings/csfw/0671/06710269abs.htm},
  tags = {composition},
  researchr = {https://researchr.org/publication/SewellV00},
  cites = {0},
  citedby = {0},
  pages = {269-284},
  booktitle = {csfw},
}

@inproceedings{SpringPGV07,
  title = {Reflexes: abstractions for highly responsive systems},
  author = {Jesper Honig Spring and Filip Pizlo and Rachid Guerraoui and Jan Vitek},
  year = {2007},
  doi = {10.1145/1254810.1254837},
  url = {http://doi.acm.org/10.1145/1254810.1254837},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/SpringPGV07},
  cites = {0},
  citedby = {0},
  pages = {191-201},
  booktitle = {vee},
}

@inproceedings{VitekB99,
  title = {Confined Types},
  author = {Jan Vitek and Boris Bokowski},
  year = {1999},
  doi = {10.1145/320384.320392},
  url = {http://doi.acm.org/10.1145/320384.320392},
  researchr = {https://researchr.org/publication/VitekB99},
  cites = {0},
  citedby = {0},
  pages = {82-96},
  booktitle = {OOPSLA},
}

@inproceedings{VitekH94,
  title = {Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages},
  author = {Jan Vitek and R. Nigel Horspool},
  year = {1994},
  url = {http://link.springer.de/link/service/series/0558/bibs/0821/08210432.htm},
  researchr = {https://researchr.org/publication/VitekH94},
  cites = {0},
  citedby = {0},
  pages = {432-449},
  booktitle = {ECOOP},
}

@inproceedings{AuerbachBGSV08,
  title = {Flexible task graphs: a unified restricted thread programming model for java},
  author = {Joshua S. Auerbach and David F. Bacon and Rachid Guerraoui and Jesper Honig Spring and Jan Vitek},
  year = {2008},
  doi = {10.1145/1375657.1375659},
  url = {http://doi.acm.org/10.1145/1375657.1375659},
  tags = {Java, graph-rewriting, programming, rewriting},
  researchr = {https://researchr.org/publication/AuerbachBGSV08},
  cites = {0},
  citedby = {0},
  pages = {1-11},
  booktitle = {lctrts},
}

@article{BryceV01,
  title = {The JavaSeal Mobile Agent Kernel},
  author = {Ciarán Bryce and Jan Vitek},
  year = {2001},
  tags = {mobile},
  researchr = {https://researchr.org/publication/BryceV01},
  cites = {0},
  citedby = {0},
  journal = {AAMAS},
  volume = {4},
  number = {4},
  pages = {359-384},
}

@inproceedings{HirzelNBV08,
  title = {Matchete: Paths through the Pattern Matching Jungle},
  author = {Martin Hirzel and Nathaniel Nystrom and Bard Bloom and Jan Vitek},
  year = {2008},
  doi = {10.1007/978-3-540-77442-6_11},
  url = {http://dx.doi.org/10.1007/978-3-540-77442-6_11},
  tags = {pattern matching},
  researchr = {https://researchr.org/publication/HirzelNBV08},
  cites = {0},
  citedby = {1},
  pages = {150-166},
  booktitle = {PADL},
}

@inproceedings{VitekBCKV05,
  title = {Reconsidering complete search algorithms for protein backbone NMR assignment},
  author = {Olga Vitek and Chris Bailey-Kellogg and Bruce Craig and Paul Kuliniewicz and Jan Vitek},
  year = {2005},
  doi = {10.1093/bioinformatics/bti1138},
  url = {http://dx.doi.org/10.1093/bioinformatics/bti1138},
  tags = {completeness, search},
  researchr = {https://researchr.org/publication/VitekBCKV05},
  cites = {0},
  citedby = {0},
  pages = {236},
  booktitle = {eccb},
}

@inproceedings{VitekJWH04,
  title = {A Semantic Framework for Designer Transactions},
  author = {Jan Vitek and Suresh Jagannathan and Adam Welc and Antony L. Hosking},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2986&spage=249},
  researchr = {https://researchr.org/publication/VitekJWH04},
  cites = {0},
  citedby = {0},
  pages = {249-263},
  booktitle = {ESOP},
}

@inproceedings{BakerCFPPVAPH06,
  title = {A Real-time Java Virtual Machine for Avionics - An Experience Report},
  author = {Jason Baker and Antonio Cunei and Chapman Flack and Filip Pizlo and Marek Prochazka and Jan Vitek and Austin Armbruster and Edward Pla and David Holmes},
  year = {2006},
  doi = {10.1109/RTAS.2006.7},
  url = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2006.7},
  tags = {Java},
  researchr = {https://researchr.org/publication/BakerCFPPVAPH06},
  cites = {0},
  citedby = {0},
  pages = {384-396},
  booktitle = {rtas},
}

@article{CastagnaVN05,
  title = {The Seal Calculus},
  author = {Giuseppe Castagna and Jan Vitek and Francesco Zappa Nardelli},
  year = {2005},
  doi = {10.1016/j.ic.2004.11.005},
  url = {http://dx.doi.org/10.1016/j.ic.2004.11.005},
  researchr = {https://researchr.org/publication/CastagnaVN05},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {201},
  number = {1},
  pages = {1-54},
}

@inproceedings{AndreaeCGNVZ06,
  title = {Scoped Types and Aspects for Real-Time Java},
  author = {Chris Andreae and Yvonne Coady and Celina Gibbs and James Noble and Jan Vitek and Tian Zhao},
  year = {2006},
  doi = {10.1007/11785477_7},
  url = {http://dx.doi.org/10.1007/11785477_7},
  tags = {Java},
  researchr = {https://researchr.org/publication/AndreaeCGNVZ06},
  cites = {0},
  citedby = {0},
  pages = {124-147},
  booktitle = {ECOOP},
}

@inproceedings{BradleyHV98,
  title = {JAZZ: an efficient compressed format for Java archive files},
  author = {Quetzalcoatl Bradley and R. Nigel Horspool and Jan Vitek},
  year = {1998},
  doi = {10.1145/783160.783167},
  url = {http://doi.acm.org/10.1145/783160.783167},
  tags = {Java},
  researchr = {https://researchr.org/publication/BradleyHV98},
  cites = {0},
  citedby = {0},
  pages = {7},
  booktitle = {cascon},
}

@article{VitekB01,
  title = {Confined types in Java},
  author = {Jan Vitek and Boris Bokowski},
  year = {2001},
  tags = {Java},
  researchr = {https://researchr.org/publication/VitekB01},
  cites = {0},
  citedby = {0},
  journal = {SPE},
  volume = {31},
  number = {6},
  pages = {507-532},
}

@article{MoirSV05,
  title = {Concurrency and synchronization in Java programs},
  author = {Mark Moir and Nir Shavit and Jan Vitek},
  year = {2005},
  doi = {10.1016/j.scico.2005.05.001},
  url = {http://dx.doi.org/10.1016/j.scico.2005.05.001},
  tags = {Java, synchronization},
  researchr = {https://researchr.org/publication/MoirSV05},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {58},
  number = {3},
  pages = {291-292},
}

@inproceedings{BryceOV99,
  title = {A Coordination Model Agents Based on Secure Spaces},
  author = {Ciarán Bryce and Manuel Oriol and Jan Vitek},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1594/15940004.htm},
  tags = {rule-based, agent based modeling},
  researchr = {https://researchr.org/publication/BryceOV99},
  cites = {0},
  citedby = {0},
  pages = {4-20},
  booktitle = {coordination},
}

@article{ZhaoBHNV08,
  title = {Implicit ownership types for memory management},
  author = {Tian Zhao and Jason Baker and James Hunt and James Noble and Jan Vitek},
  year = {2008},
  doi = {10.1016/j.scico.2008.04.001},
  url = {http://dx.doi.org/10.1016/j.scico.2008.04.001},
  tags = {memory management},
  researchr = {https://researchr.org/publication/ZhaoBHNV08},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {71},
  number = {3},
  pages = {213-241},
}

@article{PalaczBFGYV05,
  title = {Engineering a common intermediate representation for the Ovm framework},
  author = {Krzysztof Palacz and Jason Baker and Chapman Flack and Christian Grothoff and Hiroshi Yamauchi and Jan Vitek},
  year = {2005},
  doi = {10.1016/j.scico.2004.08.007},
  url = {http://dx.doi.org/10.1016/j.scico.2004.08.007},
  tags = {intermediate representation},
  researchr = {https://researchr.org/publication/PalaczBFGYV05},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {57},
  number = {3},
  pages = {357-378},
}

@article{CarbunarVV01,
  title = {Lime Revisited: Reverse Engineering an Agent Communication Model},
  author = {Bogdan Carbunar and Marco Tulio de Oliveira Valente and Jan Vitek},
  year = {2001},
  url = {http://www.elsevier.com/gej-ng/31/29/23/87/27/show/Products/notes/index.htt#003},
  tags = {meta-model, reverse engineering, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/CarbunarVV01},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {54},
  pages = {17-34},
}

@inproceedings{KrallV97,
  title = {On Extending Java},
  author = {Andreas Krall and Jan Vitek},
  year = {1997},
  tags = {Java},
  researchr = {https://researchr.org/publication/KrallV97},
  cites = {0},
  citedby = {0},
  pages = {321-335},
  booktitle = {jmlc},
}

@article{SewellV03,
  title = {Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality},
  author = {Peter Sewell and Jan Vitek},
  year = {2003},
  tags = {composition},
  researchr = {https://researchr.org/publication/SewellV03},
  cites = {0},
  citedby = {0},
  journal = {jcs},
  volume = {11},
  number = {2},
  pages = {135-188},
}

@article{HorspoolV93,
  title = {Static Analysis of PostScript Code},
  author = {R. Nigel Horspool and Jan Vitek},
  year = {1993},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/HorspoolV93},
  cites = {0},
  citedby = {0},
  journal = {Comp. Lang., Syst. \& Struct.},
  volume = {19},
  number = {2},
  pages = {65-78},
}

@inproceedings{PizloV08,
  title = {Memory Management for Real-Time Java: State of the Art},
  author = {Filip Pizlo and Jan Vitek},
  year = {2008},
  doi = {10.1109/ISORC.2008.40},
  url = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.40},
  tags = {Java, memory management},
  researchr = {https://researchr.org/publication/PizloV08},
  cites = {0},
  citedby = {0},
  pages = {248-254},
  booktitle = {isorc},
}

@inproceedings{PalaczV03,
  title = {Java Subtype Tests in Real-Time},
  author = {Krzysztof Palacz and Jan Vitek},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2743&spage=378},
  tags = {Java, testing, subtyping},
  researchr = {https://researchr.org/publication/PalaczV03},
  cites = {0},
  citedby = {0},
  pages = {378-404},
  booktitle = {ECOOP},
}

@article{CiancariniTV98,
  title = {Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface},
  author = {Paolo Ciancarini and Robert Tolksdorf and Jan Vitek},
  year = {1998},
  tags = {web applications},
  researchr = {https://researchr.org/publication/CiancariniTV98},
  cites = {0},
  citedby = {0},
  journal = {www},
  volume = {1},
  number = {3},
  pages = {109},
}

@inproceedings{BryceV99,
  title = {The JavaSeal Mobile Agent Kernel},
  author = {Ciarán Bryce and Jan Vitek},
  year = {1999},
  doi = {10.1109/ASAMA.1999.805397},
  url = {http://doi.ieeecomputersociety.org/10.1109/ASAMA.1999.805397},
  tags = {mobile},
  researchr = {https://researchr.org/publication/BryceV99},
  cites = {0},
  citedby = {0},
  pages = {103-117},
  booktitle = {ma},
}

@article{VitekBO03,
  title = {Coordinating processes with secure spaces},
  author = {Jan Vitek and Ciarán Bryce and Manuel Oriol},
  year = {2003},
  doi = {10.1016/S0167-6423(02)00090-4},
  url = {http://dx.doi.org/10.1016/S0167-6423(02)00090-4},
  researchr = {https://researchr.org/publication/VitekBO03},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {46},
  number = {1-2},
  pages = {163-193},
}

@inproceedings{SewellV99,
  title = {Secure Composition of Insecure Components},
  author = {Peter Sewell and Jan Vitek},
  year = {1999},
  url = {http://www.computer.org/proceedings/csfw/0201/02010136abs.htm},
  tags = {composition},
  researchr = {https://researchr.org/publication/SewellV99},
  cites = {0},
  citedby = {0},
  pages = {136-150},
  booktitle = {csfw},
}

@inproceedings{ChothiaDV03,
  title = {Type-Based Distributed Access Control},
  author = {Tom Chothia and Dominic Duggan and Jan Vitek},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270170abs.htm},
  tags = {rule-based, access control, role-based access control},
  researchr = {https://researchr.org/publication/ChothiaDV03},
  cites = {0},
  citedby = {0},
  pages = {170},
  booktitle = {csfw},
}

@inproceedings{CarbunarIGV04,
  title = {A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks},
  author = {Bogdan Carbunar and Ioannis Ioannidis and Ananth Grama and Jan Vitek},
  year = {2004},
  tags = {protocol},
  researchr = {https://researchr.org/publication/CarbunarIGV04},
  cites = {0},
  citedby = {0},
  pages = {142-149},
  booktitle = {icete},
}

@article{AndreaeCGNVZ07,
  title = {Scoped types and aspects for real-time Java memory management},
  author = {Chris Andreae and Yvonne Coady and Celina Gibbs and James Noble and Jan Vitek and Tian Zhao},
  year = {2007},
  doi = {10.1007/s11241-007-9024-3},
  url = {http://dx.doi.org/10.1007/s11241-007-9024-3},
  tags = {Java, memory management},
  researchr = {https://researchr.org/publication/AndreaeCGNVZ07},
  cites = {0},
  citedby = {0},
  journal = {rts},
  volume = {37},
  number = {1},
  pages = {1-44},
}

@inproceedings{VitekHK97,
  title = {Efficient Type Inclusion Tests},
  author = {Jan Vitek and R. Nigel Horspool and Andreas Krall},
  year = {1997},
  tags = {testing},
  researchr = {https://researchr.org/publication/VitekHK97},
  cites = {0},
  citedby = {0},
  pages = {142-157},
  booktitle = {OOPSLA},
}

@inproceedings{NobleVLA99,
  title = {Aliasing in Object Oriented Systems},
  author = {James Noble and Jan Vitek and Doug Lea and Paulo Sérgio Almeida},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1743/17430136.htm},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/NobleVLA99},
  cites = {0},
  citedby = {0},
  pages = {136-163},
  booktitle = {ECOOPW},
}

@inproceedings{SchoeberlV07,
  title = {Garbage collection for safety critical Java},
  author = {Martin Schoeberl and Jan Vitek},
  year = {2007},
  doi = {10.1145/1288940.1288953},
  url = {http://doi.acm.org/10.1145/1288940.1288953},
  tags = {Java},
  researchr = {https://researchr.org/publication/SchoeberlV07},
  cites = {0},
  citedby = {0},
  pages = {85-93},
  booktitle = {jtres},
}

@article{CarbunarVV04,
  title = {Coordination and mobility in CoreLime},
  author = {Bogdan Carbunar and Marco Tulio de Oliveira Valente and Jan Vitek},
  year = {2004},
  doi = {10.1017/S0960129504004177},
  url = {http://dx.doi.org/10.1017/S0960129504004177},
  researchr = {https://researchr.org/publication/CarbunarVV04},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {14},
  number = {3},
  pages = {397-419},
}

@inproceedings{DucournauGKMVZ06,
  title = {Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems},
  author = {Roland Ducournau and Etienne Gagnon and Chandra Krintz and Philippe Mulet and Jan Vitek and Olivier Zendra},
  year = {2006},
  doi = {10.1007/978-3-540-71774-4_1},
  url = {http://dx.doi.org/10.1007/978-3-540-71774-4_1},
  tags = {programming languages, optimization, object-oriented programming, subject-oriented programming, program optimization, feature-oriented programming},
  researchr = {https://researchr.org/publication/DucournauGKMVZ06},
  cites = {0},
  citedby = {0},
  pages = {1-14},
  booktitle = {ECOOPW},
}

@article{ArmbrusterBCFHPPPV07,
  title = {A real-time Java virtual machine with applications in avionics},
  author = {Austin Armbruster and Jason Baker and Antonio Cunei and Chapman Flack and David Holmes and Filip Pizlo and Edward Pla and Marek Prochazka and Jan Vitek},
  year = {2007},
  doi = {10.1145/1324969.1324974},
  url = {http://doi.acm.org/10.1145/1324969.1324974},
  tags = {Java},
  researchr = {https://researchr.org/publication/ArmbrusterBCFHPPPV07},
  cites = {0},
  citedby = {0},
  journal = {tecs},
  volume = {7},
  number = {1},
}

@article{CarbunarGVC06,
  title = {Redundancy and coverage detection in sensor networks},
  author = {Bogdan Carbunar and Ananth Grama and Jan Vitek and Octavian Carbunar},
  year = {2006},
  doi = {10.1145/1138131},
  url = {http://doi.acm.org/10.1145/1138131},
  tags = {redundancy, coverage},
  researchr = {https://researchr.org/publication/CarbunarGVC06},
  cites = {0},
  citedby = {0},
  journal = {tosn},
  volume = {2},
  number = {1},
  pages = {94-128},
}

@inproceedings{CzajkowskiV02,
  title = {Resource Management for Safe Languages},
  author = {Grzegorz Czajkowski and Jan Vitek},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2548/25480001.htm},
  researchr = {https://researchr.org/publication/CzajkowskiV02},
  cites = {0},
  citedby = {0},
  pages = {1-14},
  booktitle = {ECOOPW},
}

@inproceedings{GrothoffPV01,
  title = {Encapsulating Objects with Confined Types},
  author = {Christian Grothoff and Jens Palsberg and Jan Vitek},
  year = {2001},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/GrothoffPV01},
  cites = {0},
  citedby = {0},
  pages = {241-253},
  booktitle = {OOPSLA},
}

@inproceedings{NobleVP98,
  title = {Flexible Alias Protection},
  author = {James Noble and Jan Vitek and John Potter},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1445/14450158.htm},
  researchr = {https://researchr.org/publication/NobleVP98},
  cites = {0},
  citedby = {0},
  pages = {158-185},
  booktitle = {ECOOP},
}

@inproceedings{MansonVJ06,
  title = {Dynamic aspects for runtime fault determination and recovery},
  author = {Jeremy Manson and Jan Vitek and Suresh Jagannathan},
  year = {2006},
  doi = {10.1109/IPDPS.2006.1639576},
  url = {http://dx.doi.org/10.1109/IPDPS.2006.1639576},
  researchr = {https://researchr.org/publication/MansonVJ06},
  cites = {0},
  citedby = {0},
  booktitle = {ipps},
}

@inproceedings{PizloV06,
  title = {An Emprical Evaluation of Memory Management Alternatives for Real-Time Java},
  author = {Filip Pizlo and Jan Vitek},
  year = {2006},
  doi = {10.1109/RTSS.2006.9},
  url = {http://doi.ieeecomputersociety.org/10.1109/RTSS.2006.9},
  tags = {Java, memory management},
  researchr = {https://researchr.org/publication/PizloV06},
  cites = {0},
  citedby = {0},
  pages = {35-46},
  booktitle = {rtss},
}

@inproceedings{YamauchiV06,
  title = {Combining Offline and Online Optimizations: Register Allocation and Method Inlining},
  author = {Hiroshi Yamauchi and Jan Vitek},
  year = {2006},
  doi = {10.1007/11924661_19},
  url = {http://dx.doi.org/10.1007/11924661_19},
  tags = {optimization},
  researchr = {https://researchr.org/publication/YamauchiV06},
  cites = {0},
  citedby = {0},
  pages = {307-322},
  booktitle = {aplas},
}

@inproceedings{DriesenHV95,
  title = {Message Dispatch on Pipelined Processors},
  author = {Karel Driesen and Urs Hölzle and Jan Vitek},
  year = {1995},
  url = {http://link.springer.de/link/service/series/0558/bibs/0952/09520253.htm},
  researchr = {https://researchr.org/publication/DriesenHV95},
  cites = {0},
  citedby = {0},
  pages = {253-282},
  booktitle = {ECOOP},
}

@inproceedings{VitekC98,
  title = {Seal: A Framework for Secure Mobile Computations},
  author = {Jan Vitek and Giuseppe Castagna},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1686/16860047.htm},
  tags = {mobile},
  researchr = {https://researchr.org/publication/VitekC98},
  cites = {0},
  citedby = {0},
  pages = {47-77},
  booktitle = {iccl},
}
@proceedings{ecoop:2008,
  title = {ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings},
  year = {2008},
  tags = {object-oriented programming, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/ecoop%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings},
  conference = {ECOOP},
  editor = {Jan Vitek},
  volume = {5142},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70591-8},
}

@proceedings{coordination:2007,
  title = {Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
  year = {2007},
  tags = {modeling language, modeling, language modeling},
  researchr = {https://researchr.org/publication/coordination%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
  conference = {coordination},
  editor = {Amy L. Murphy and Jan Vitek},
  volume = {4467},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-72793-4},
}

@proceedings{ecoopw:1999secure,
  title = {Secure Internet Programming, Security Issues for Mobile and Distributed Objects},
  year = {1999},
  tags = {object-oriented programming, security, programming, subject-oriented programming, mobile, feature-oriented programming},
  researchr = {https://researchr.org/publication/ecoopw%3A1999secure},
  cites = {0},
  citedby = {0},
  booktitle = {Secure Internet Programming, Security Issues for Mobile and Distributed Objects},
  conference = {ECOOPW},
  editor = {Jan Vitek and Christian Damsgaard Jensen},
  volume = {1603},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66130-1},
}

@proceedings{vee:2005,
  title = {Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005},
  year = {2005},
  tags = {Meta-Environment},
  researchr = {https://researchr.org/publication/vee%3A2005},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005},
  conference = {vee},
  editor = {Michael Hind and Jan Vitek},
  publisher = {ACM},
  isbn = {1-59593-047-7},
}

@proceedings{mos:1996,
  title = {Mobile Object Systems - Towards the Programmable Internet, Second International Workshop, MOS 96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers},
  year = {1997},
  tags = {object-oriented programming, subject-oriented programming, mobile, feature-oriented programming},
  researchr = {https://researchr.org/publication/mos%3A1996},
  cites = {0},
  citedby = {0},
  booktitle = {Mobile Object Systems - Towards the Programmable Internet, Second International Workshop, MOS 96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers},
  editor = {Jan Vitek and Christian F. Tschudin},
  volume = {1222},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62852-5},
}