@InProceedings{pizlo08, author = "Filip Pizlo and Jan Vitek", title = "Memory Management for Real-time Java: State of the Art", booktitle = "Proceedings of the IEEE International Symposium on Object-oriented Real-Time Distributed Computing (ISORC)", address = "Orlando, FL", month = May, year = 2008, } @article{scp08, author = "Tian Zhao and Jason Baker and James Hunt and James Noble and Jan Vitek", title = "Implicit Ownership Types for Memory Management", journal = "To Appear in Science of Computer Programming", year = "2008", } @inproceedings{padl08, author = {Martin Hirzel and Nathaniel Nystrom and Bard Bloom and Jan Vitek}, title = {Matchete: Paths through the Pattern Matching Jungle}, year = {2008}, pages = {150-166}, booktitle = {10th International Symposium on Practical Aspects of Declarative Languages (PADL)}, publisher = {Springer}} @article{rsj07, author = "Chris Andreae and Yvonne Coady and Celina Gibbs and James Noble and Jan Vitek and Tian Zhao", title = "Scoped Types and Aspects for Real-time {J}ava Memory Management", journal = "Realtime Systems Journal", pages = "1--44", volume = 37, number = 1, month = oct, year = 2007} @inproceedings{oopsla07, title = "{StreamFlex}: High-throughput Stream Programming in {Java}", author = "Jesper H. Spring and Jean Privat and Rachid Guerraoui and Jan Vitek", booktitle = "Proceedings of the {ACM} {SIGPLAN} Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)", month = oct, year = 2007} @article{spe07, author = "Antonio Cunei and Jan Vitek", title = "An Efficient and Flexible Toolkit for Composing Customized Method Dispatchers", volume = 38, number = 1, pages = "33--73", month = jan, journal = "Software--Practice \& Experience", year = 2008} @inproceedings{lctes07, author = "Filip Pizlo and {Athony L.} Hosking and Jan Vitek", title = "Hiearchical Real-time Garbage Collection", year = 2007, booktitle = "Proceeedings of ACM SIGPLAN/SIGBED 2007 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)", pages = {123--133}, location = {San Diego, CA}, doi = {http://doi.acm.org/10.1145/1254766.1254784}, } @inproceedings{vee07, author = "{Jesper Honig} Spring and Filip Pizlo and Rachid Guerraoui and Jan Vitek", title = "Reflexes: Abstractions for Highly Responsive Systems", year = 2007, booktitle = {Proceedings of the 2nd International Conference on Virtual Execution Environments (VEE)}, } @inproceedings{cc07, author = "Jason Baker and Antonio Cunei and Filip Pizlo and Jan Vitek", title = "Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks", booktitle = "International Conference on Compiler Construction (CC)", year = 2007} @inproceedings{eurosys07, author = "Michal Kalpka and Rachid Guerraoui and Jan Vitek", title = "STMBench7: A Benchmark for Software Transactional Memory", booktitle = "To Appear at EUROSYS'07", year = 2007 } @inproceedings{dsal06, author = "Yvonne Coady and Celina Gibbs and Michael Haupt and Jan Vitek and Hiroshi Yamauchi", title = "Towards a domain specific language for virtual machines", booktitle = "First Domain-Specific Aspect Languages Workshop", year = 2006, month = oct} @inproceedings{rtss:06, author = "Filip Pizlo and Jan Vitek", title = "An Empirical Evalutation of Memory Management Alternatives for {R}eal-time {J}ava", booktitle = "Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS)", month = dec, year = {2006}, } @article{tecs:06, author = "Austin Armbuster and Jason Baker and Antonio Cunei and David Holmes and Chapman Flack and Filip Pizlo and Edward Pla and Marek Prochazka and Jan Vitek", title="A {R}eal-time {J}ava Virtual Machine with Applications in Avionics", journal = {ACM Transactions in Embedded Computing Systems (TECS)}, volume = 7, number = 1, pages = {1--49}, year = {2007}, } @article{jbnmr:06, author = "Olga Vitek and Bruce Craig and Chris Bailey-Kellog and Jan Vitek", title = "Inferential backbone assignment for sparse data", journal = "Journal of Biomolecular NMR", year = "2006", } @InProceedings{aplas06, author = "Hiroshi Yamauchi and Jan Vitek", title = "Combining Offline and Online Optimizations: Register Allocation and Method Inlining", booktitle = "Proceedings of the Fourth ASIAN Symposium on Programming Languages and Systems (APLAS)", address = "Sydney, Australia", month = nov, year = {2006}, } @InProceedings{ecoop06, author = "Chris Andreae and Yvonne Coady and Celina Gibbs and James Noble and Jan Vitek and Tian Zhao", title = "{Scoped Types and Aspects for Real-Time {Java}}", booktitle = "Proceedings of the European Conference on Object-Oriented Programming (ECOOP)", address = "Nantes, France", month = jul, year = {2006}, pages = "124--147", } @article{toplas:06, author = "Christian Grothoff and Jens Palsberg and Jan Vitek", title = "Encapsulating Objects with Confined Types", journal = "Transactions on Programming Languages and Systems", volume = {29}, number = {6}, pages = {32--73}, year = 2007, } @article{jfp:06, author = "Tian Zhao and Jens Palsberg and Jan Vitek", title = "Type-based Confinement", journal = "Journal of Functional Programming", volume = 16, number = 1, month = jan, year = 2006, } @inproceedings{vee06, author = {Antonio Cunei and Jan Vitek}, title = {A new approach to real-time checkpointing.}, year = {2006}, pages = {68-77}, booktitle = {Proceedings of the 2nd International Conference on Virtual Execution Environments (VEE)}, address = "Ottawa, Ontario, Canada", } @inproceedings{rtas:06, author = "Jason Baker and Antonio Cunei and Chapman Flack and Filip Pizlo and Marek Prochazka and Jan Vitek and Austin Armbuster and Edward Pla and David Holmes", title = "A Real-time {J}ava Virtual Machine for Avionics", booktitle = {Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)}, year = {2006}, } @article{tosn:06, author = "Bogdan C\u{a}rbunar and Ananth Grama and Jan Vitek and Octavian C\u{a}rbunar", title = {Redundancy and Coverage Detection in Sensor Networks}, journal = "ACM Transaction on Sensor Networks", note = "Accepted for publication", year = 2006, } @inproceedings{rajeevSV05, author = {Rajeev Gopalakrishna and Eugene H. Spafford and Jan Vitek}, title = {Efficient Intrusion Detection using Automaton Inlining.}, booktitle = {IEEE Symposium on Security and Privacy}, year = {2005}, pages = {18-31}, ee = {http://doi.ieeecomputersociety.org/10.1109/SP.2005.1}, } @inproceedings{rtss:2005, author = "Jeremy Manson and Jason Baker and Antonio Cunei and Suresh Jagannathan and Marek Prochazka and Bin Xin and Jan Vitek", title = "Preemptible Atomic Regions for Real-time {Java}", booktitle = {Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS)}, month = dec, year = {2005}, } @article{tfj:05, author = "Suresh Jagannathan and Jan Vitek and Adam Welc and Antony Hosking", title = "A Transactional Object Calculus", journal = {Science of Computer Programming}, volume = {57}, number = {2}, pages = {164-186}, month = aug, abstract = "A transaction defines a locus of computation that satisfies important concurrency and failure properties. These so-called ACID properties provide strong serialization guarantees that allow us to reason about concurrent and distributed programs in terms of higher-level units of computation (e.g., transactions) rather than lower-level data structures (e.g., mutual-exclusion locks). This paper presents a framework for specifying the semantics of a transactional facility integrated within a host programming language. The TFJ calculus, an object calculus derived from Featherweight Java, supports nested and multi-threaded transactions. We give a semantics to TFJ that is parametrized by the definition of the transactional mechanism that permits the study of different transaction models. We give two instantiations: one that defines transactions in terms of a versioning-based optimistic concurrency model, and the other which specifies transactions in terms of a pessimistic two-phase locking protocol, and present soundness and serializability properties for our semantics.", url = "http://dx.doi.org/10.1016/j.scico.2005.03.001", year = 2005} @article{seal:05, author = "Guiseppe Castagna and Jan Vitek and Franseco Zappa Nardeli", title = "The Seal calculus", journal = "Information and Computation", volume = 201, number = 1, month = aug, abstract = "The Seal Calculus is a process language for describing mobile computation. Threads and resources are tree structured; the nodes thereof correspond to agents, the units of mobility. The Calculus extends a pi-calculus core with synchronous, objective mobility of agents over channels. This paper systematically compares all previous variants of Seal Calculus. We study their operational behaviour with labelled transition systems and bisimulations; by comparing the resulting algebraic theories we highlight the differences between these apparently similar approaches. This leads us to identify the dialect of Seal that is most amenable to operational reasoning and can form the basis of a distributed programming language. We propose type systems for characterising the communications in which an agent can engage. The type systems thus enforce a discipline of agent mobility, since the latter is coded in terms of higher-order communication.", url = "http://dx.doi.org/10.1016/j.ic.2004.11.005", year = 2005, } @article{BioInf:05, author = "Olga Vitek and Chris Bailey-Kellogg and Bruce Craig and Paul Kuliniewicz and Jan Vitek", title = "Reconsidering complete search algorithms for protein backbone {NMR} assignment", journal= "Bioinformatics", month = sep, year = 2005, volume = 21, pages = "230--236", url = "http://bioinformatics.oxfordjournals.org/cgi/reprint/21/suppl_2/ii230?maxtoshow=&HITS=10&hits=10&RESULTFORMAT=1&author1=vitek&andorexacttitle=and&andorexacttitleabs=and&andorexactfulltext=and&searchid=1136205464886_890&FIRSTINDEX=0&sortspec=date&journalcode=bioinfo", } @proceedings{vee:05, title = {VEE '05: Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments}, year = {2005}, isbn = {1-59593-047-7}, location = {Chicago, IL, USA}, order_no = {548059}, publisher = {ACM Press}, address = {New York, NY, USA}, editor = "Jan Vitek and Micheal Hind", } @inproceedings{Cunei:2005:PFD, author = "Antonio Cunei and Jan Vitek", title = "{PolyD}: a flexible dispatching framework", booktitle = "Proceedings of the {ACM} {SIGPLAN} Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)", pages = "487--503", month = oct, year = "2005", } @article{scool04, author = "Mark Moir and Nir Shavit and Jan Vitek", journal = "Science of Computer Programming", volume = 58, number =3, month = "December", year = 2005, pages = "291-292", url = "http://dx.doi.org/10.1016/j.ic.2004.11.005", title = "Special Issue on Concurrency and synchonization in {J}ava programs" } @article{ovmir:05, author = "Krzysztof Palacz and Jason Baker and Chapman Flack and Christian Grothoff and Hiroshi Yamauchi and Jan Vitek", title = "Engineering a common intermediate representation for the {Ovm} framework", journal= "The Science of Computer Programming", volume = 57, number = 3, month = "September", abstract = "The Ovm framework is a set of tools and components for building language runtimes. We present the common intermediate representation of this framework and software design patterns used throughout Ovm. One of the main themes in this work has been supporting experimentation with new linguistic constructs and implementation techniques. To this end, Ovm components were designed to be parametric with respect to the instruction set on which they operate and its semantics. We argue that our approach eases the task of writing new components without sacrificing efficiency.", url = "http://dx.doi.org/10.1016/j.scico.2004.08.007", pages = "357-378", year = 2005, } @inproceedings{zhao:04, author = "Tian Zhao and James Noble and Jan Vitek", title = "Scoped Types for Real-time {Java}", booktitle = "Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS)", address = "Lisbon, Portugal", month = dec, year = 2004, } @InProceedings{welc04, author = "Jan Vitek and Suresh Jagannathan and Adam Welc and {Antony L.} Hosking", title = "A semantic framework for designer transactions", booktitle= "Proceedings of the European Symposium on Programming (ESOP)", address = "Barcelona, Spain", month = "April", year = 2004, } @Book{warfighter, author = "J.M. Bradshaw and G. Boy and E. Durfee and M. Gruninger and H. Hexmoor and N. Suri and M. Tambe and M. Uschold and J. Vitek", title = "Software Agents for the Warfighter", publisher = "AAAI Press (to appear)", address = "Menlo Park, California", year = "2004", } @InProceedings{sureshJan04, author = "Suresh Jagannathan and Jan Vitek", title = "Optimistic concurrency semantics for transactions in coordination languages", booktitle= "Proceedings of the International Conference on Coordination Models and Languages (COORDINATION)", address = "Pisa, Italy", month = "March", year = 2004, } @InProceedings{pizlo04, author = "Filip Pizlo and Jason Fox and David Holmes and Jan Vitek", title = "Real-Time {J}ava scoped memory: design patterns and semantics", booktitle = "Proceedings of the IEEE International Symposium on Object-oriented Real-Time Distributed Computing (ISORC)", address = "Vienna, Austria", month = May, year = 2004, } @article{olga:04, author = "Olga Vitek and Jan Vitek and Bruce Craig and Chris Bailey-Kellogg", title = "Model-based assignment and inference of protein backbone nuclear magnetic resonances", journal = "Statistical Applications in Genetics and Molecular Biology", publisher = "Berkeley Electronic Press", volume = 1, issue = 1, year = 2004, } @InProceedings{marekFilip04, author = "Suresh Jagannathan and Marek Prochazka and Filip Pizlo and Jan Vitek", title = "Transactional Lock-Free Objects for Real-time {Java}", booktitle= "Workshop on Synchronization and Currency in {Java} Programs (CSJP)", year = 2004} @inproceedings{secon:04, author = "Bogdan C\u{a}rbunar and Ananth Grama and Jan Vitek and Octavian C\u{a}rbunar", title = {Redundancy and Coverage Detection in Sensor Networks}, booktitle = "First IEEE International conference on Sensor and Ad Hoc Communications and Networks", month = oct, year = 2004, } @Article{lime04, author = "Bogdan C\u{a}rbunar and {M. T.} Valente and Jan Vitek", title = "Coordination and mobility in CoreLime", journal = "Mathematical Structures in Computer Science", number = 3, volume = 14, year = 2004} @InProceedings{conf/icpads/CarbunarGV04, title = "Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks", author = "Bogdan C\u{a}rbunar and Ananth Grama and Jan Vitek", year = "2004", booktitle = "Proceedings of the 10th International Conference on Parallel an Distributed Systems (ICPADS)", URL = "http://doi.ieeecomputersociety.org/10.1109/ICPADS.2004.34", } @InProceedings{chotia04, author = "Tom Chothia and Dominic Duggan and Jan Vitek", title = "Principals, Policies and Keys in a Secure Distributed Programming Language", booktitle = "Foundations of Computer Security (FCS)", address= "Turku, Finland", month = jul, date = "12--14", year = 2004, } @InProceedings{vitek.zhao:03, author = "Tian Zhao and Jens Palsberg and Jan Vitek", title = "Lightweight Confinement for Featherweight {Java}", booktitle = "Proceedings of the {ACM} {SIGPLAN} Conference on Object-Oriented Programming Systems, Languages and Applications ({OOPSLA})", year = {2003}, isbn = {1-58113-712-5}, location = {Anaheim, California, USA}, month = oct, pages = {135--148}} @InProceedings{vitek.palacz:03, author = "Krzysztof Palacz and Jan Vitek", title = "{Java} Subtype Tests in Real-Time", booktitle = "Proceedings of the European Conference on Object-Oriented Programming (ECOOP)", address = "Darmstadt, Germany", month = jul, year = {2003}, pages = "378--404"} @InProceedings{ovmir03, author = "Krzysztof Palacz and Jason Baker and Chapman Flack and Christian Grothoff and Hiroshi Yamauchi and Jan Vitek", title = "Engineering a Customizable Intermediate Representation", booktitle = "Proceedings of the ACM SIGPLAN Workshop on Interpreters, Virtual Machines and Emulators, (IVME)", address = "San Diego, California", month = "June", year = 2003} @techreport{ovmidiom, author = "C. Flack and T. Hosking and J. Vitek", title = "Idioms in {Ovm}", institution = "Purdue University Department of Computer Sciences", year = 2003, number = "CSD-TR-03-017" } @InProceedings{duggan.vitek:03, author = "Tom Chothia and Dominic Duggan and Jan Vitek", title = "Type-Based Distributed Access Control", booktitle = {Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW)}, year = 2003, month = jun, URL = "http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270170abs.htm", } @article{bryce02, author = {Jan Vitek and Ciar{\'a}n Bryce and Manuel Oriol}, title = {Coordinating processes with secure spaces.}, journal = {Science of Computer Programming}, volume = {46}, number = {1-2}, year = {2003}, pages = {163-193}, abstract = "The Linda shared space model and its derivatives provide great flexibility for building parallel and distributed applications composed of independent processes. However, the shared space model does not provide protection against untrustworthy processes. Linda processes communicate by reading and writing messages in a globally visible data space, so a malicious process can launch any number of security attacks. This paper presents the design of a new coordination model which extends Linda with fine-grained access control. The semantics of the model is presented in the context of a process calculus. A prototype of our model, called SecOS, has been implemented in Java", ee = {http://dx.doi.org/10.1016/S0167-6423(02)00090-4}, bibsource = {DBLP, http://dblp.uni-trier.de} } @article{SV-jcs, author = {Peter Sewell and Jan Vitek}, title = {Secure Composition of Untrusted Code: Box-$\pi$, Wrappers and Causality Types}, journal = {Journal of Computer Security}, year = {2003}, volume = {11}, number = {2}, pages = {135-188}} @InProceedings{palacz.vitek02, author = "Krzysztof Palacz and Grzegorz Czakowski and Laurent Daynes and Jan Vitek", title = "Incommunicado: Fast Communication for Isolates", booktitle = "Proceedings of the {ACM} {SIGPLAN} Conference on Object-Oriented Programming Systems, Languages and Applications ({OOPSLA})", pages = "262--274", month = nov # " ~4--8", year = 2002} @InProceedings{czajkowski.vitek:2002:RMS, editor = {Juan Hern{\'a}ndez N{\'u}{\~n}ez and {Ana M. D.} Moreira}, booktitle = {ECOOP Workshops}, publisher = {Springer-Verlag}, abstract = "ECOOP Workshop Summary", author = "Grzegorz Czajkowski and Jan Vitek", title = "Resource Management for Safe Languages", year = 2002} @InProceedings{grothoff.vitek:2001:EOC, author = "Christian Grothoff and Jens Palsberg and Jan Vitek", title = "Encapsulating objects with confined types", booktitle = "Proceedings of the {ACM} {SIGPLAN} Conference on Object-Oriented Programming Systems, Languages and Applications ({OOPSLA})", year = {2001}, city = {Tampa Bay, Florida,United States}, month = {Nov}, pages = "241--255"} @InProceedings{carbunar.vitek01, title = "Lime Revisited", author = "Bogdan C\u{a}rbunar and {Marco Tulio} Valente and Jan Vitek", pages = "54--69", booktitle = "Proceedings of the 5th International Conference on Mobile Agents (MA)", year = "2001"} @Article{Vitek-Bokowski01, author = "Jan Vitek and Boris Bokowski", title = "Confined types in {Java}", journal = "Software Practice \& Experience", volume = 31, number = 6, pages = "507--532", year = 2001, } @Article{BrV01, title = {The {JavaSeal} Mobile Agent Kernel}, author = {Ciar\'an Bryce and Jan Vitek}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = 4, number = 4, pages = {359--384}, year = 2001, month = dec } @INPROCEEDINGS{sewell.vitek:csfw00, author = "Peter Sewell and Jan Vitek", title = "Secure Composition of Untrusted Code: Wrappers and Causality Types", booktitle = {Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW-13)}, year = 2000, location = {Cambridge, U.K.}, month = jul } @InProceedings{vitek.castagna:jfla99, author = "Jan Vitek and Giuseppe Castagna", title = "Mobile Agents and Hostile Hosts", booktitle = "Proceedings of the 10th JFLA", address = "Avoriaz, France", month = "January", year = 1999, } @InProceedings{vitek.bryce99, author = "Jan Vitek and Ciar\'an Bryce", title = {The {JavaSeal} Mobile Agent Kernel}, booktitle = "Proceedings of the 1st International Symposium on Agent Systems and Applications / 3rd International Symposium on Mobile Agents (ASA/MA)", month = oct, year = {1999}, pages = {103--116}} @INPROCEEDINGS{sewell.vitek:csfw99, author = {Peter Sewell and Jan Vitek}, title = "Secure Composition of Insecure Components", booktitle = {Proceedings of the 12th IEEE Computer Security Foundations Workshop (CSFW-12)}, year = {1999}, location = "Mordano, Italy", month = "June", date = "28--30" } @InProceedings{bryce.oriol.vitek:coordination99, author = "C. Bryce and M. Oriol and J. Vitek", title = "{A Coordination Model for Agents Based on Secure Spaces}", booktitle = "Proceedings 3rd Int. Conference on Coordination Models and Languages (COORDINATION)", month = "April", address = "Amsterdam, Netherland", year = "1999", pages = "4--20"} @InProceedings{bokowski.vitek:oopsla99, author = "Boris Bokowski and Jan Vitek", title = "{Confined Types}", booktitle = "Proceedings 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)", month = "November", year = 1999, date = "1--5", address = "Denver, Colorado, USA"} @InProceedings{ViCa99, author = "Jan Vitek and Giuseppe Castagna", title = "Seal: A Framework for Secure Mobile Computations", booktitle = "Internet Programming Languages", publisher = "Springer Verlag", address = "Berlin", year = 1999, series = LNCS, volume = 1686} @Book{VJ99, author = "Jan Vitek and Christian {Jensen (Eds.)}", title = "Secure Internet Programming: Security Issues for Mobile and Distributed Objects", publisher = "Springer Verlag", address = "Berlin", year = "1999", series = {LNCS}, volume = 1603} @Techreport{vbb98, author = {Jan Vitek and Ciar\'an Bryce and Walter Binder}, title = "Designing {JavaSeal, or how to make Java} safe for agents", institution = "In {\emph{Electronic Commerce Objects}}, D. Tsichritzis (Ed.), Centre Universitaire d'Informatique, University of Geneva", month = jul, year = 1998, pages = {105--126} } @InProceedings{flex98, author = "James Noble and John Potter and Jan Vitek", title = "Flexible Alias Protection", booktitle = "Proceedings of the 12th European Conference on Object-Oriented Programming (ECOOP)", address = "Brussels, Belgium", month = jul, year = 1998, } @InProceedings{bradley.horspool.vitek:cascon98, author = {Quetzal Bradley and R. Nigel Horspool and Jan Vitek}, title = {Jazz: Tailored Compression of {J}ava bytecode}, booktitle = {Proceedings of the IBM CASCON'98 Conference}, address = {Mississauga, Ontario, Canada}, year = 1998, } @Book{CTV98a, title = {Proceedings of Workshop on Collaborative agents in Distributed Web Applications}, author = {Paolo Ciancarini and Robert Tolksdorf and Jan {Vitek (Eds.)}}, note = {Appeared in Proceedings of the 6th IEEE Workshops on Enabling Technologies for Collaborative Enterprises, (WETICE)}, address = {MIT, Boston}, year = 1998, } @Article{CTV98, title = {Special issue on Distributed World Wide Web Processing: Applications and Techniques}, journal = {WWW Journal}, author = {Paolo Ciancarini and Robert Tolskdorf and Jan Vitek }, year = 1998, } @InProceedings{vitek.horspool:ecoop97, author = "Andreas Krall and Jan Vitek and Nigel R. Horspool", title = "Near Optimal Hierarchical Encoding of Types", booktitle = "Proceedings of the European Conference on Object-Oriented Programming (ECOOP)", address = "Jyvaskyla, Finland", month = jun, year = 1997} @InProceedings{vitek.horspool.krall:oopsla97, author = "Jan Vitek and Nigel Horspool and Andreas Krall", title = "Efficient Type Inclusion Tests", pages = "142--157", ISSN = "0362-1340", booktitle = "Proceedings of the {ACM} {SIGPLAN} Conference on Object-Oriented Programming Systems, Languages and Applications ({OOPSLA})", month = oct # "~5--9", year = 1997} @InProceedings{vitek.97b, author = "Jan Vitek", title = "New Paradigms for Distributed Programming", booktitle = "European Research Seminar in Advanced Distributed Systems, ERSADS'97", address = "Zinal, Switzerland", month = mar, year = "1997", } @InProceedings{vitek.97a, author = "Andreas Krall and Jan Vitek", title = "On Extending Java", booktitle = "Proceedings of the Joint Modular Languages Conference, JMLC'97", address = "Linz, Austria", month = mar, year = 1997} @InProceedings{v97, author = "Jan Vitek", title = "New Paradigms in distributed computing", booktitle = "Proceedings of the European Research Seminar in Advanced Distributed Systems (ERSADS)", pages = "117--122", address = "Zinal, Switzerland", month = mar, year = 1997, } @InProceedings{Vite97a, author = "Jan Vitek and Manuel Serrano and Dimitris Thanos", title = "Security and Communication in Mobile Object Systems", booktitle = {Mobile Object Systems: Towards the Programmable Internet}, year = {1997}, city = {Berlin , Germany}, month = "April", pages = "177--200"} @Book{IB-D973045, author = "Jan Vitek and Christian {Tschudin (Eds.)}", title = "Mobile Objects Systems", publisher = "Springer Verlag", address = "Berlin", year = {1997}, ISBN = "3-540-62852-5", url = "http://www.cs.purdue.edu/homes/jv/" } @InProceedings{vitek.ICCC:1996, title = "Compact Dispatch Tables for Dynamically Typed Object Oriented Languages", author = "Jan Vitek and R. Nigel Horspool", booktitle = "Proceedings of the 6th International Conference on Compiler Construction (CC)", editor = "Tibor Gyimothy", address = "Link{\"o}ping, Sweden", month = "24--26~" # apr, year = "1996", pages = "309--325"} @TechReport{kmv96, author = "Dimitri Konstantas and Jean-Henri Morin and Jan Vitek", title = "{MEDIA}: A platform for the commercialization of electronic documents", institution ={In \emph{Object Applications}, D. Tsichritzis (Ed.), Centre Universitaire d'Informatique, University of Geneva}, month = aug, year = 1996, pages = "7--18"} @Book{VT96, title = {Proceedings of the 1996 Mobile Object Systems Workshop}, author = {Jan Vitek and Christian {Tschudin (Eds.)}}, publisher = {dpunkt Verlag}, year = {1996}} @InProceedings{vitek.ECOOP:1995, title = "Message Dispatch on Pipelined Processors", author = "Karel Driesen and Urs H{\"o}lzle and Jan Vitek", pages = "253--282", editor = "Walter G. Olthoff", booktitle = "Proceedings of the 9th European Conference of Object-Oriented Programming (ECOOP)", address = "{\AA}arhus, Denmark", month = "7--11~" # aug, year = "1995"} @InProceedings{vitek.ECOOP:1994, title = "Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages", author = "Jan Vitek and R. Nigel Horspool", pages = "432--449", editor = "Mario Tokoro and Remo Pareschi", booktitle = "Proceedings of the 8th European Conference of Object-Oriented Programming (ECOOP)", address = "Bologna, Italy", month = "4--8~" # jul, year = "1994"} @InProceedings{vitek:1992:CAO, author = "Jan Vitek and R. Nigel Horspool and James S. Uhl", title = "Compile-Time Analysis of Object-Oriented Programs", booktitle = "Proceedings of the 4th International Conference on Compiler Construction (CC)", address = "Paderborn, Germany", month = oct, year = "1992", pages = "236--250", } @InProceedings{vitek.horspool:1992:SAP, author = "R. Nigel Horspool and Jan Vitek", title = "Static analysis of {Postscript} code", booktitle = "Proceedings of the 1992 International Conference on Computer Languages (ICCL)", pages = "14--23", year = 1992, }