publications:
- title: "Security and Communication in Mobile Object Systems"
  author:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Manuel Serrano"
    link: "https://researchr.org/alias/manuel-serrano"
  - name: "Dimitri Thanos"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "VitekST96"
- title: "Near Optimal Hierarchical Encoding of Types"
  author:
  - name: "Andreas Krall"
    link: "https://researchr.org/alias/andreas-krall"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "R. Nigel Horspool"
    link: "https://researchr.org/alias/r.-nigel-horspool"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1241/12410128.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "KrallVH97"
- title: "Compile-Time Analysis of Object-Oriented Programs"
  author:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "R. Nigel Horspool"
    link: "https://researchr.org/alias/r.-nigel-horspool"
  - name: "James S. Uhl"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "VitekHU92"
- title: "Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks"
  author:
  - name: "Jason Baker"
    link: "https://researchr.org/alias/jason-baker"
  - name: "Antonio Cunei"
    link: "https://researchr.org/alias/antonio-cunei"
  - name: "Filip Pizlo"
    link: "https://researchr.org/alias/filip-pizlo"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71229-9_5"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BakerCPV07"
- title: "Scoped Types for Real-Time Java"
  author:
  - name: "Tian Zhao"
    link: "https://researchr.org/alias/tian-zhao"
  - name: "James Noble"
    link: "http://homepages.ecs.vuw.ac.nz/~kjx/"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/rtss/2004/2247/00/22470241abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "ZhaoNV04"
- title: "Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems"
  author:
  - name: "Olivier Zendra"
    link: "https://researchr.org/alias/olivier-zendra"
  - name: "Eric Jul"
    link: "https://researchr.org/alias/eric-jul"
  - name: "Roland Ducournau"
    link: "https://researchr.org/alias/roland-ducournau"
  - name: "Etienne Gagnon"
    link: "https://researchr.org/alias/etienne-gagnon"
  - name: "Richard E. Jones"
    link: "https://researchr.org/alias/richard-e.-jones"
  - name: "Chandra Krintz"
    link: "https://researchr.org/alias/chandra-krintz"
  - name: "Philippe Mulet"
    link: "https://researchr.org/alias/philippe-mulet"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-78195-0_6"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "ZendraJDGJKMV07"
- title: "4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations"
  author:
  - name: "Ciarán Bryce"
    link: "https://researchr.org/alias/ciar%C3%A1n-bryce"
  - name: "Leila Ismail"
    link: "https://researchr.org/alias/leila-ismail"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1543/15430288.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BryceIV98"
- title: "Lime Revisited"
  author:
  - name: "Bogdan Carbunar"
    link: "https://researchr.org/alias/bogdan-carbunar"
  - name: "Marco Tulio de Oliveira Valente"
    link: "https://researchr.org/alias/marco-tulio-de-oliveira-valente"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2240/22400054.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CarbunarVV01:0"
- title: "Incommunicado: efficient communication for isolates"
  author:
  - name: "Krzysztof Palacz"
    link: "https://researchr.org/alias/krzysztof-palacz"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Grzegorz Czajkowski"
    link: "https://researchr.org/alias/grzegorz-czajkowski"
  - name: "Laurent Daynès"
    link: "https://researchr.org/alias/laurent-dayn%C3%A8s"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/582419.582444"
  links:
    doi: "http://doi.acm.org/10.1145/582419.582444"
  researchr: "https://researchr.org/publication/PalaczVCD02"
  cites: 0
  citedby: 0
  pages: "262-274"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "PalaczVCD02"
- title: "Lightweight confinement for featherweight Java"
  author:
  - name: "Tian Zhao"
    link: "https://researchr.org/alias/tian-zhao"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/949305.949318"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "ZhaoPV03"
- title: "Type-based confinement"
  author:
  - name: "Tian Zhao"
    link: "https://researchr.org/alias/tian-zhao"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796805005691"
  links:
    doi: "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"
  kind: "article"
  key: "ZhaoPV06"
- title: "Encapsulating objects with confined types"
  author:
  - name: "Christian Grothoff"
    link: "https://researchr.org/alias/christian-grothoff"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1286821.1286823"
  links:
    doi: "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"
  kind: "article"
  key: "GrothoffPV07"
- title: "A transactional object calculus"
  author:
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Adam Welc"
    link: "https://researchr.org/alias/adam-welc"
  - name: "Antony L. Hosking"
    link: "https://researchr.org/alias/antony-l.-hosking"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.scico.2005.03.001"
  links:
    doi: "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"
  kind: "article"
  key: "JagannathanVWH05"
- title: "STMBench7: a benchmark for software transactional memory"
  author:
  - name: "Rachid Guerraoui"
    link: "https://researchr.org/alias/rachid-guerraoui"
  - name: "Michal Kapalka"
    link: "https://researchr.org/alias/michal-kapalka"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1272996.1273029"
  links:
    doi: "http://doi.acm.org/10.1145/1272996.1273029"
  researchr: "https://researchr.org/publication/GuerraouiKV07"
  cites: 0
  citedby: 0
  pages: "315-324"
  booktitle: "eurosys"
  kind: "inproceedings"
  key: "GuerraouiKV07"
- title: "High-Performance Transactional Event Processing"
  author:
  - name: "Antonio Cunei"
    link: "https://researchr.org/alias/antonio-cunei"
  - name: "Rachid Guerraoui"
    link: "https://researchr.org/alias/rachid-guerraoui"
  - name: "Jesper Honig Spring"
    link: "https://researchr.org/alias/jesper-honig-spring"
  - name: "Jean Privat"
    link: "https://researchr.org/alias/jean-privat"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02053-7_2"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CuneiGSPV09"
- title: "Optimistic Concurrency Semantics for Transactions in Coordination Languages"
  author:
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2949&spage=183"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "JagannathanV04"
- title: "An efficient and flexible toolkit for composing customized method dispatchers"
  author:
  - name: "Antonio Cunei"
    link: "https://researchr.org/alias/antonio-cunei"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2008"
  doi: "http://dx.doi.org/10.1002/spe.821"
  links:
    doi: "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"
  kind: "article"
  key: "CuneiV08"
- title: "A new approach to real-time checkpointing"
  author:
  - name: "Antonio Cunei"
    link: "https://researchr.org/alias/antonio-cunei"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1134760.1134771"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CuneiV06"
- title: "Efficient Intrusion Detection using Automaton Inlining"
  author:
  - name: "Rajeev Gopalakrishna"
    link: "https://researchr.org/alias/rajeev-gopalakrishna"
  - name: "Eugene H. Spafford"
    link: "https://researchr.org/alias/eugene-h.-spafford"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SP.2005.1"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SP.2005.1"
  researchr: "https://researchr.org/publication/GopalakrishnaSV05"
  cites: 0
  citedby: 0
  pages: "18-31"
  booktitle: "sp"
  kind: "inproceedings"
  key: "GopalakrishnaSV05"
- title: "Static analysis of PostScript code"
  author:
  - name: "R. Nigel Horspool"
    link: "https://researchr.org/alias/r.-nigel-horspool"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "1992"
  doi: "http://dx.doi.org/10.1109/ICCL.1992.185464"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HorspoolV92"
- title: "Compact Dispatch Tables for Dynamically Typed Object Oriented Languages"
  author:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "R. Nigel Horspool"
    link: "https://researchr.org/alias/r.-nigel-horspool"
  year: "1996"
  researchr: "https://researchr.org/publication/VitekH96"
  cites: 0
  citedby: 0
  pages: "309-325"
  booktitle: "cc"
  kind: "inproceedings"
  key: "VitekH96"
- title: "Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks"
  author:
  - name: "Bogdan Carbunar"
    link: "https://researchr.org/alias/bogdan-carbunar"
  - name: "Ananth Grama"
    link: "https://researchr.org/alias/ananth-grama"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICPADS.2004.34"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CarbunarGV04"
- title: "PolyD: a flexible dispatching framework"
  author:
  - name: "Antonio Cunei"
    link: "https://researchr.org/alias/antonio-cunei"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1094811.1094849"
  links:
    doi: "http://doi.acm.org/10.1145/1094811.1094849"
  researchr: "https://researchr.org/publication/CuneiV05"
  cites: 0
  citedby: 0
  pages: "487-503"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "CuneiV05"
- title: "Preemptible Atomic Regions for Real-Time Java"
  author:
  - name: "Jeremy Manson"
    link: "https://researchr.org/alias/jeremy-manson"
  - name: "Jason Baker"
    link: "https://researchr.org/alias/jason-baker"
  - name: "Antonio Cunei"
    link: "https://researchr.org/alias/antonio-cunei"
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  - name: "Marek Prochazka"
    link: "https://researchr.org/alias/marek-prochazka"
  - name: "Bin Xin"
    link: "https://researchr.org/alias/bin-xin"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RTSS.2005.34"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "MansonBCJPXV05"
- title: "Hierarchical real-time garbage collection"
  author:
  - name: "Filip Pizlo"
    link: "https://researchr.org/alias/filip-pizlo"
  - name: "Antony L. Hosking"
    link: "https://researchr.org/alias/antony-l.-hosking"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1254766.1254784"
  links:
    doi: "http://doi.acm.org/10.1145/1254766.1254784"
  researchr: "https://researchr.org/publication/PizloHV07"
  cites: 0
  citedby: 0
  pages: "123-133"
  booktitle: "lctrts"
  kind: "inproceedings"
  key: "PizloHV07"
- title: "Real-Time Java Scoped Memory: Design Patterns and Semantics"
  author:
  - name: "Filip Pizlo"
    link: "https://researchr.org/alias/filip-pizlo"
  - name: "J. M. Fox"
    link: "https://researchr.org/alias/j.-m.-fox"
  - name: "David Holmes"
    link: "https://researchr.org/alias/david-holmes"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/isorc/2004/2124/00/21240101abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "PizloFHV04"
- title: "Streamflex: high-throughput stream programming in java"
  author:
  - name: "Jesper Honig Spring"
    link: "https://researchr.org/alias/jesper-honig-spring"
  - name: "Jean Privat"
    link: "https://researchr.org/alias/jean-privat"
  - name: "Rachid Guerraoui"
    link: "https://researchr.org/alias/rachid-guerraoui"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1297027.1297043"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SpringPGV07:0"
- title: "Preface"
  author:
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Einar Broch Johnsen"
    link: "https://researchr.org/alias/einar-broch-johnsen"
  - name: "Amy L. Murphy"
    link: "https://researchr.org/alias/amy-l.-murphy"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.tcs.2008.09.039"
  links:
    doi: "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"
  kind: "article"
  key: "BonsangueJMV09"
- title: "Secure Composition of Untrusted Code: Wrappers and Causality Types"
  author:
  - name: "Peter Sewell"
    link: "https://researchr.org/alias/peter-sewell"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2000"
  doi: "http://www.computer.org/proceedings/csfw/0671/06710269abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SewellV00"
- title: "Reflexes: abstractions for highly responsive systems"
  author:
  - name: "Jesper Honig Spring"
    link: "https://researchr.org/alias/jesper-honig-spring"
  - name: "Filip Pizlo"
    link: "https://researchr.org/alias/filip-pizlo"
  - name: "Rachid Guerraoui"
    link: "https://researchr.org/alias/rachid-guerraoui"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1254810.1254837"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SpringPGV07"
- title: "Confined Types"
  author:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Boris Bokowski"
    link: "https://researchr.org/alias/boris-bokowski"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/320384.320392"
  links:
    doi: "http://doi.acm.org/10.1145/320384.320392"
  researchr: "https://researchr.org/publication/VitekB99"
  cites: 0
  citedby: 0
  pages: "82-96"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "VitekB99"
- title: "Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages"
  author:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "R. Nigel Horspool"
    link: "https://researchr.org/alias/r.-nigel-horspool"
  year: "1994"
  doi: "http://link.springer.de/link/service/series/0558/bibs/0821/08210432.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "VitekH94"
- title: "Flexible task graphs: a unified restricted thread programming model for java"
  author:
  - name: "Joshua S. Auerbach"
    link: "https://researchr.org/alias/joshua-s.-auerbach"
  - name: "David F. Bacon"
    link: "https://researchr.org/alias/david-f.-bacon"
  - name: "Rachid Guerraoui"
    link: "https://researchr.org/alias/rachid-guerraoui"
  - name: "Jesper Honig Spring"
    link: "https://researchr.org/alias/jesper-honig-spring"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1375657.1375659"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AuerbachBGSV08"
- title: "The JavaSeal Mobile Agent Kernel"
  author:
  - name: "Ciarán Bryce"
    link: "https://researchr.org/alias/ciar%C3%A1n-bryce"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2001"
  tags:
  - "mobile"
  researchr: "https://researchr.org/publication/BryceV01"
  cites: 0
  citedby: 0
  journal: "AAMAS"
  volume: "4"
  number: "4"
  pages: "359-384"
  kind: "article"
  key: "BryceV01"
- title: "Matchete: Paths through the Pattern Matching Jungle"
  author:
  - name: "Martin Hirzel"
    link: "https://researchr.org/alias/martin-hirzel"
  - name: "Nathaniel Nystrom"
    link: "https://researchr.org/alias/nathaniel-nystrom"
  - name: "Bard Bloom"
    link: "https://researchr.org/alias/bard-bloom"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-77442-6_11"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HirzelNBV08"
- title: "Reconsidering complete search algorithms for protein backbone NMR assignment"
  author:
  - name: "Olga Vitek"
    link: "https://researchr.org/alias/olga-vitek"
  - name: "Chris Bailey-Kellogg"
    link: "https://researchr.org/alias/chris-bailey-kellogg"
  - name: "Bruce Craig"
    link: "https://researchr.org/alias/bruce-craig"
  - name: "Paul Kuliniewicz"
    link: "https://researchr.org/alias/paul-kuliniewicz"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2005"
  doi: "http://dx.doi.org/10.1093/bioinformatics/bti1138"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "VitekBCKV05"
- title: "A Semantic Framework for Designer Transactions"
  author:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  - name: "Adam Welc"
    link: "https://researchr.org/alias/adam-welc"
  - name: "Antony L. Hosking"
    link: "https://researchr.org/alias/antony-l.-hosking"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2986&spage=249"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "VitekJWH04"
- title: "A Real-time Java Virtual Machine for Avionics - An Experience Report"
  author:
  - name: "Jason Baker"
    link: "https://researchr.org/alias/jason-baker"
  - name: "Antonio Cunei"
    link: "https://researchr.org/alias/antonio-cunei"
  - name: "Chapman Flack"
    link: "https://researchr.org/alias/chapman-flack"
  - name: "Filip Pizlo"
    link: "https://researchr.org/alias/filip-pizlo"
  - name: "Marek Prochazka"
    link: "https://researchr.org/alias/marek-prochazka"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Austin Armbruster"
    link: "https://researchr.org/alias/austin-armbruster"
  - name: "Edward Pla"
    link: "https://researchr.org/alias/edward-pla"
  - name: "David Holmes"
    link: "https://researchr.org/alias/david-holmes"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RTAS.2006.7"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BakerCFPPVAPH06"
- title: "The Seal Calculus"
  author:
  - name: "Giuseppe Castagna"
    link: "https://researchr.org/alias/giuseppe-castagna"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Francesco Zappa Nardelli"
    link: "https://researchr.org/alias/francesco-zappa-nardelli"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.ic.2004.11.005"
  links:
    doi: "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"
  kind: "article"
  key: "CastagnaVN05"
- title: "Scoped Types and Aspects for Real-Time Java"
  author:
  - name: "Chris Andreae"
    link: "https://researchr.org/alias/chris-andreae"
  - name: "Yvonne Coady"
    link: "https://researchr.org/alias/yvonne-coady"
  - name: "Celina Gibbs"
    link: "https://researchr.org/alias/celina-gibbs"
  - name: "James Noble"
    link: "http://homepages.ecs.vuw.ac.nz/~kjx/"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Tian Zhao"
    link: "https://researchr.org/alias/tian-zhao"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11785477_7"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AndreaeCGNVZ06"
- title: "JAZZ: an efficient compressed format for Java archive files"
  author:
  - name: "Quetzalcoatl Bradley"
    link: "https://researchr.org/alias/quetzalcoatl-bradley"
  - name: "R. Nigel Horspool"
    link: "https://researchr.org/alias/r.-nigel-horspool"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/783160.783167"
  links:
    doi: "http://doi.acm.org/10.1145/783160.783167"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/BradleyHV98"
  cites: 0
  citedby: 0
  pages: "7"
  booktitle: "cascon"
  kind: "inproceedings"
  key: "BradleyHV98"
- title: "Confined types in Java"
  author:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Boris Bokowski"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "VitekB01"
- title: "Concurrency and synchronization in Java programs"
  author:
  - name: "Mark Moir"
    link: "https://researchr.org/alias/mark-moir"
  - name: "Nir Shavit"
    link: "https://researchr.org/alias/nir-shavit"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.scico.2005.05.001"
  links:
    doi: "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"
  kind: "article"
  key: "MoirSV05"
- title: "A Coordination Model Agents Based on Secure Spaces"
  author:
  - name: "Ciarán Bryce"
    link: "https://researchr.org/alias/ciar%C3%A1n-bryce"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1594/15940004.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BryceOV99"
- title: "Implicit ownership types for memory management"
  author:
  - name: "Tian Zhao"
    link: "https://researchr.org/alias/tian-zhao"
  - name: "Jason Baker"
    link: "https://researchr.org/alias/jason-baker"
  - name: "James Hunt"
    link: "https://researchr.org/alias/james-hunt"
  - name: "James Noble"
    link: "http://homepages.ecs.vuw.ac.nz/~kjx/"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.scico.2008.04.001"
  links:
    doi: "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"
  kind: "article"
  key: "ZhaoBHNV08"
- title: "Engineering a common intermediate representation for the Ovm framework"
  author:
  - name: "Krzysztof Palacz"
    link: "https://researchr.org/alias/krzysztof-palacz"
  - name: "Jason Baker"
    link: "https://researchr.org/alias/jason-baker"
  - name: "Chapman Flack"
    link: "https://researchr.org/alias/chapman-flack"
  - name: "Christian Grothoff"
    link: "https://researchr.org/alias/christian-grothoff"
  - name: "Hiroshi Yamauchi"
    link: "https://researchr.org/alias/hiroshi-yamauchi"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.scico.2004.08.007"
  links:
    doi: "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"
  kind: "article"
  key: "PalaczBFGYV05"
- title: "Lime Revisited: Reverse Engineering an Agent Communication Model"
  author:
  - name: "Bogdan Carbunar"
    link: "https://researchr.org/alias/bogdan-carbunar"
  - name: "Marco Tulio de Oliveira Valente"
    link: "https://researchr.org/alias/marco-tulio-de-oliveira-valente"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2001"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/87/27/show/Products/notes/index.htt#003"
  links:
    doi: "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"
  kind: "article"
  key: "CarbunarVV01"
- title: "On Extending Java"
  author:
  - name: "Andreas Krall"
    link: "https://researchr.org/alias/andreas-krall"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "1997"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/KrallV97"
  cites: 0
  citedby: 0
  pages: "321-335"
  booktitle: "jmlc"
  kind: "inproceedings"
  key: "KrallV97"
- title: "Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality"
  author:
  - name: "Peter Sewell"
    link: "https://researchr.org/alias/peter-sewell"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2003"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/SewellV03"
  cites: 0
  citedby: 0
  journal: "jcs"
  volume: "11"
  number: "2"
  pages: "135-188"
  kind: "article"
  key: "SewellV03"
- title: "Static Analysis of PostScript Code"
  author:
  - name: "R. Nigel Horspool"
    link: "https://researchr.org/alias/r.-nigel-horspool"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  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"
  kind: "article"
  key: "HorspoolV93"
- title: "Memory Management for Real-Time Java: State of the Art"
  author:
  - name: "Filip Pizlo"
    link: "https://researchr.org/alias/filip-pizlo"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.40"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "PizloV08"
- title: "Java Subtype Tests in Real-Time"
  author:
  - name: "Krzysztof Palacz"
    link: "https://researchr.org/alias/krzysztof-palacz"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2743&spage=378"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "PalaczV03"
- title: "Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface"
  author:
  - name: "Paolo Ciancarini"
    link: "https://researchr.org/alias/paolo-ciancarini"
  - name: "Robert Tolksdorf"
    link: "https://researchr.org/alias/robert-tolksdorf"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "1998"
  tags:
  - "web applications"
  researchr: "https://researchr.org/publication/CiancariniTV98"
  cites: 0
  citedby: 0
  journal: "www"
  volume: "1"
  number: "3"
  pages: "109"
  kind: "article"
  key: "CiancariniTV98"
- title: "The JavaSeal Mobile Agent Kernel"
  author:
  - name: "Ciarán Bryce"
    link: "https://researchr.org/alias/ciar%C3%A1n-bryce"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "1999"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASAMA.1999.805397"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BryceV99"
- title: "Coordinating processes with secure spaces"
  author:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Ciarán Bryce"
    link: "https://researchr.org/alias/ciar%C3%A1n-bryce"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0167-6423(02)00090-4"
  links:
    doi: "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"
  kind: "article"
  key: "VitekBO03"
- title: "Secure Composition of Insecure Components"
  author:
  - name: "Peter Sewell"
    link: "https://researchr.org/alias/peter-sewell"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "1999"
  doi: "http://www.computer.org/proceedings/csfw/0201/02010136abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SewellV99"
- title: "Type-Based Distributed Access Control"
  author:
  - name: "Tom Chothia"
    link: "https://researchr.org/alias/tom-chothia"
  - name: "Dominic Duggan"
    link: "https://researchr.org/alias/dominic-duggan"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270170abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "ChothiaDV03"
- title: "A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks"
  author:
  - name: "Bogdan Carbunar"
    link: "https://researchr.org/alias/bogdan-carbunar"
  - name: "Ioannis Ioannidis"
    link: "https://researchr.org/alias/ioannis-ioannidis"
  - name: "Ananth Grama"
    link: "https://researchr.org/alias/ananth-grama"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2004"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/CarbunarIGV04"
  cites: 0
  citedby: 0
  pages: "142-149"
  booktitle: "icete"
  kind: "inproceedings"
  key: "CarbunarIGV04"
- title: "Scoped types and aspects for real-time Java memory management"
  author:
  - name: "Chris Andreae"
    link: "https://researchr.org/alias/chris-andreae"
  - name: "Yvonne Coady"
    link: "https://researchr.org/alias/yvonne-coady"
  - name: "Celina Gibbs"
    link: "https://researchr.org/alias/celina-gibbs"
  - name: "James Noble"
    link: "http://homepages.ecs.vuw.ac.nz/~kjx/"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Tian Zhao"
    link: "https://researchr.org/alias/tian-zhao"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s11241-007-9024-3"
  links:
    doi: "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"
  kind: "article"
  key: "AndreaeCGNVZ07"
- title: "Efficient Type Inclusion Tests"
  author:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "R. Nigel Horspool"
    link: "https://researchr.org/alias/r.-nigel-horspool"
  - name: "Andreas Krall"
    link: "https://researchr.org/alias/andreas-krall"
  year: "1997"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/VitekHK97"
  cites: 0
  citedby: 0
  pages: "142-157"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "VitekHK97"
- title: "Aliasing in Object Oriented Systems"
  author:
  - name: "James Noble"
    link: "http://homepages.ecs.vuw.ac.nz/~kjx/"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Doug Lea"
    link: "https://researchr.org/alias/doug-lea"
  - name: "Paulo Sérgio Almeida"
    link: "https://researchr.org/alias/paulo-s%C3%A9rgio-almeida"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1743/17430136.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "NobleVLA99"
- title: "Garbage collection for safety critical Java"
  author:
  - name: "Martin Schoeberl"
    link: "https://researchr.org/alias/martin-schoeberl"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1288940.1288953"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SchoeberlV07"
- title: "Coordination and mobility in CoreLime"
  author:
  - name: "Bogdan Carbunar"
    link: "https://researchr.org/alias/bogdan-carbunar"
  - name: "Marco Tulio de Oliveira Valente"
    link: "https://researchr.org/alias/marco-tulio-de-oliveira-valente"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0960129504004177"
  links:
    doi: "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"
  kind: "article"
  key: "CarbunarVV04"
- title: "Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems"
  author:
  - name: "Roland Ducournau"
    link: "https://researchr.org/alias/roland-ducournau"
  - name: "Etienne Gagnon"
    link: "https://researchr.org/alias/etienne-gagnon"
  - name: "Chandra Krintz"
    link: "https://researchr.org/alias/chandra-krintz"
  - name: "Philippe Mulet"
    link: "https://researchr.org/alias/philippe-mulet"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Olivier Zendra"
    link: "https://researchr.org/alias/olivier-zendra"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-71774-4_1"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "DucournauGKMVZ06"
- title: "A real-time Java virtual machine with applications in avionics"
  author:
  - name: "Austin Armbruster"
    link: "https://researchr.org/alias/austin-armbruster"
  - name: "Jason Baker"
    link: "https://researchr.org/alias/jason-baker"
  - name: "Antonio Cunei"
    link: "https://researchr.org/alias/antonio-cunei"
  - name: "Chapman Flack"
    link: "https://researchr.org/alias/chapman-flack"
  - name: "David Holmes"
    link: "https://researchr.org/alias/david-holmes"
  - name: "Filip Pizlo"
    link: "https://researchr.org/alias/filip-pizlo"
  - name: "Edward Pla"
    link: "https://researchr.org/alias/edward-pla"
  - name: "Marek Prochazka"
    link: "https://researchr.org/alias/marek-prochazka"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1324969.1324974"
  links:
    doi: "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"
  kind: "article"
  key: "ArmbrusterBCFHPPPV07"
- title: "Redundancy and coverage detection in sensor networks"
  author:
  - name: "Bogdan Carbunar"
    link: "https://researchr.org/alias/bogdan-carbunar"
  - name: "Ananth Grama"
    link: "https://researchr.org/alias/ananth-grama"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Octavian Carbunar"
    link: "https://researchr.org/alias/octavian-carbunar"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1138131"
  links:
    doi: "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"
  kind: "article"
  key: "CarbunarGVC06"
- title: "Resource Management for Safe Languages"
  author:
  - name: "Grzegorz Czajkowski"
    link: "https://researchr.org/alias/grzegorz-czajkowski"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2548/25480001.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CzajkowskiV02"
- title: "Encapsulating Objects with Confined Types"
  author:
  - name: "Christian Grothoff"
    link: "https://researchr.org/alias/christian-grothoff"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2001"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/GrothoffPV01"
  cites: 0
  citedby: 0
  pages: "241-253"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "GrothoffPV01"
- title: "Flexible Alias Protection"
  author:
  - name: "James Noble"
    link: "http://homepages.ecs.vuw.ac.nz/~kjx/"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "John Potter"
    link: "https://researchr.org/alias/john-potter"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1445/14450158.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "NobleVP98"
- title: "Dynamic aspects for runtime fault determination and recovery"
  author:
  - name: "Jeremy Manson"
    link: "https://researchr.org/alias/jeremy-manson"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/IPDPS.2006.1639576"
  links:
    doi: "http://dx.doi.org/10.1109/IPDPS.2006.1639576"
  researchr: "https://researchr.org/publication/MansonVJ06"
  cites: 0
  citedby: 0
  booktitle: "ipps"
  kind: "inproceedings"
  key: "MansonVJ06"
- title: "An Emprical Evaluation of Memory Management Alternatives for Real-Time Java"
  author:
  - name: "Filip Pizlo"
    link: "https://researchr.org/alias/filip-pizlo"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RTSS.2006.9"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "PizloV06"
- title: "Combining Offline and Online Optimizations: Register Allocation and Method Inlining"
  author:
  - name: "Hiroshi Yamauchi"
    link: "https://researchr.org/alias/hiroshi-yamauchi"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11924661_19"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "YamauchiV06"
- title: "Message Dispatch on Pipelined Processors"
  author:
  - name: "Karel Driesen"
    link: "https://researchr.org/alias/karel-driesen"
  - name: "Urs Hölzle"
    link: "https://researchr.org/alias/urs-h%C3%B6lzle"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  year: "1995"
  doi: "http://link.springer.de/link/service/series/0558/bibs/0952/09520253.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "DriesenHV95"
- title: "Seal: A Framework for Secure Mobile Computations"
  author:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Giuseppe Castagna"
    link: "https://researchr.org/alias/giuseppe-castagna"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1686/16860047.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "VitekC98"
- 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:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  volume: "5142"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70591-8"
  kind: "proceedings"
  key: "ecoop:2008"
- 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:
  - name: "Amy L. Murphy"
    link: "https://researchr.org/alias/amy-l.-murphy"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  volume: "4467"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-72793-4"
  kind: "proceedings"
  key: "coordination:2007"
- 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:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Christian Damsgaard Jensen"
    link: "https://researchr.org/alias/christian-damsgaard-jensen"
  volume: "1603"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66130-1"
  kind: "proceedings"
  key: "ecoopw:1999secure"
- 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:
  - name: "Michael Hind"
    link: "https://researchr.org/alias/michael-hind"
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  publisher: "ACM"
  isbn: "1-59593-047-7"
  kind: "proceedings"
  key: "vee:2005"
- 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:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  - name: "Christian F. Tschudin"
    link: "https://researchr.org/alias/christian-f.-tschudin"
  volume: "1222"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62852-5"
  kind: "proceedings"
  key: "mos:1996"