Jan Vitek - RankMe

220 papers A* 11A 44B 17C 15Misc 2Journal 78Unranked 45

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Comparing R Bytecode Compilers Written in R, Java, and Rust (Extended Abstract). Programming Pierre Donat-Bouillud, Filip Krikava, Jakob Hain, Adam Plodek, Jan Vitek
2025	—	`conf`	R4R: Reproducibility for R. ACM REP Pierre Donat-Bouillud, Filip Krikava, Sebastián Krynski, Jan Vitek
2025	—	`conf`	Toward a Typed Intermediate Language for R (Extended Abstract). Programming Mickaël Laurent, Jakob Hain, Filip Krikava, Sebastián Krynski, Jan Vitek
2024	J	`jnl`	Decidable Subtyping of Existential Types for Julia. Proc. ACM Program. Lang. Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
2024	—	`conf`	Reducing Feedback Pollution. VMIL@SPLASH Sebastián Krynski, Michal Stepánek, Filip Ríha, Filip Krikava, Jan Vitek
2024	A	`conf`	The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments. ECOOP Petr Maj, Stefanie Muroya, Konrad Siek, Luca Di Grazia, Jan Vitek
2023	J	`jnl`	Reusing Just-in-Time Compiled Code. Proc. ACM Program. Lang. Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek
2022	A	`ed.`	36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, June 6-10, 2022 ECOOP Karim Ali, Jan Vitek
2022	J	`jnl`	Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations. CoRR Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek
2022	A*	`conf`	Deoptless: speculation with dispatched on-stack replacement and specialized continuations. PLDI Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek
2022	B	`conf`	signatr: A Data-Driven Fuzzing Tool for R. SLE Alexi Turcotte, Pierre Donat-Bouillud, Filip Krikava, Jan Vitek
2021	J	`jnl`	CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact). Dagstuhl Artifacts Ser. Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek
2021	A	`conf`	CodeDJ: Reproducible Queries over Large-Scale Software Repositories. ECOOP Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek
2021	C	`conf`	First-class environments in R. DLS Aviral Goel, Jan Vitek
2021	J	`jnl`	Formally verified speculation and deoptimization in a JIT compiler. Proc. ACM Program. Lang. Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek
2021	J	`jnl`	Promises are made to be broken: migrating R to strict semantics. Proc. ACM Program. Lang. Aviral Goel, Jan Jecmen, Sebastián Krynski, Olivier Flückiger, Jan Vitek
2021	J	`jnl`	Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version). CoRR Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
2021	J	`jnl`	Type stability in Julia: avoiding performance pathologies in JIT compilation. Proc. ACM Program. Lang. Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
2021	J	`jnl`	What we eval in the shadows: a large-scale study of eval in R programs. Proc. ACM Program. Lang. Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek
2020	J	`jnl`	Contextual dispatch for function specialization. Proc. ACM Program. Lang. Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Jecmen, Jakob Hain, Jan Vitek
2020	J	`jnl`	Designing types for R, empirically. Proc. ACM Program. Lang. Alexi Turcotte, Aviral Goel, Filip Krikava, Jan Vitek
2020	J	`jnl`	Sampling Optimized Code for Type Feedback. CoRR Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek
2020	C	`conf`	Sampling optimized code for type feedback. DLS Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek
2020	J	`jnl`	World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version). CoRR Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
2020	J	`jnl`	World age in Julia: optimizing method dispatch in the presence of eval. Proc. ACM Program. Lang. Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
2019	J	`jnl`	Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness. ACM Trans. Embed. Comput. Syst. Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek
2019	J	`jnl`	FSE/CACM Rebuttal CoRR Emery D. Berger, Petr Maj, Olga Vitek, Jan Vitek
2019	J	`jnl`	Feature-Specific Profiling. ACM Trans. Program. Lang. Syst. Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
2019	J	`jnl`	How to evaluate the performance of gradual type systems. J. Funct. Program. Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen
2019	A	`conf`	Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). ECOOP Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
2019	J	`jnl`	On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact). Dagstuhl Artifacts Ser. Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
2019	J	`jnl`	On the Design, Implementation, and Use of Laziness in R. CoRR Aviral Goel, Jan Vitek
2019	J	`jnl`	On the Impact of Programming Languages on Code Quality. CoRR Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek
2019	J	`jnl`	On the Impact of Programming Languages on Code Quality: A Reproduction Study. ACM Trans. Program. Lang. Syst. Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek
2019	J	`jnl`	On the design, implementation, and use of laziness in R. Proc. ACM Program. Lang. Aviral Goel, Jan Vitek
2019	J	`jnl`	Precise Dataflow Analysis of Event-Driven Applications. CoRR Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek
2019	J	`jnl`	R Melts Brains - An IR for First-Class Environments and Lazy Effectful Arguments. CoRR Olivier Flückiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek
2019	C	`conf`	R melts brains: an IR for first-class environments and lazy effectful arguments. DLS Olivier Flückiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek
2019	J	`jnl`	Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild. CoRR Filip Krikava, Heather Miller, Jan Vitek
2019	J	`jnl`	Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild. Proc. ACM Program. Lang. Filip Krikava, Heather Miller, Jan Vitek
2019	—	`conf`	Towards a Type System for R. ICOOOLPS@ECOOP Alexi Turcotte, Jan Vitek
2019	J	`jnl`	Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. J. Autom. Reason. Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
2018	A	`conf`	Correctness of a Concurrent Object Collector for Actor Languages. ESOP Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad
2018	J	`jnl`	Correctness of speculative optimizations with dynamic deoptimization. Proc. ACM Program. Lang. Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
2018	J	`jnl`	Feature-Specific Profiling. CoRR Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
2018	J	`jnl`	Julia subtyping: a rational reconstruction. Proc. ACM Program. Lang. Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek
2018	J	`jnl`	Julia: dynamism and performance reconciled by design. Proc. ACM Program. Lang. Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky
2018	J	`jnl`	KafKa: Gradual Typing for Objects (Artifact). Dagstuhl Artifacts Ser. Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
2018	A	`conf`	KafKa: Gradual Typing for Objects. ECOOP Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
2018	—	`conf`	Monotonic gradual typing in a common calculus. ISSTA/ECOOP Workshops Benjamin Chung, Jan Vitek
2018	C	`conf`	Self-contained development environments. DLS Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger
2018	A	`conf`	Tests from traces: automated unit test extraction for R. ISSTA Filip Krikava, Jan Vitek
2017	J	`jnl`	Correctness of Speculative Optimizations with Dynamic Deoptimization. CoRR Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
2017	J	`jnl`	DéjàVu: a map of code duplicates on GitHub. Proc. ACM Program. Lang. Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek
2017	A	`conf`	Making Android Run on Time. RTAS Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek
2017	J	`jnl`	Orca: GC and type system co-design for actor languages. Proc. ACM Program. Lang. Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek
2017	J	`jnl`	Parallelizing Julia with a Non-Invasive DSL (Artifact). Dagstuhl Artifacts Ser. Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
2017	A	`conf`	Parallelizing Julia with a Non-Invasive DSL. ECOOP Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
2017	B	`conf`	Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. ITP Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
2016	A*	`conf`	Is sound gradual typing dead? POPL Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
2016	J	`jnl`	Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111). Dagstuhl Reports Daniel Delling, Camil Demetrescu, David S. Johnson, Jan Vitek
2015	A	`conf`	Concrete Types for TypeScript. ECOOP Gregor Richards, Francesco Zappa Nardelli, Jan Vitek
2015	A	`conf`	Cooking the Books: Formalizing JMM Implementation Recipes. ECOOP Gustavo Petri, Jan Vitek, Suresh Jagannathan
2015	—	`ed.`	Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI, Portland, OR, USA, June 15 - 17, 2015 ARRAY@PLDI Laurie J. Hendren, Hidehiko Masuhara, Mary Sheeran, Jan Vitek
2015	A	`ed.`	Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings ESOP Jan Vitek
2015	—	`conf`	Repeatability, reproducibility and rigor in CS research. PLMW@POPL Jan Vitek
2015	J	`jnl`	The real software crisis: repeatability as a core value. Commun. ACM Shriram Krishnamurthi, Jan Vitek
2014	B	`conf`	A fast abstract syntax tree interpreter for R. VEE Tomas Kalibera, Petr Maj, Floréal Morandat, Jan Vitek
2014	—	`ed.`	ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Edinburgh, United Kingdom, June 12-13, 2014 ARRAY@PLDI Laurie J. Hendren, Alex Rubinsteyn, Mary Sheeran, Jan Vitek
2014	J	`jnl`	Atomicity Refinement for Verified Compilation. ACM Trans. Program. Lang. Syst. Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek
2014	A*	`conf`	Atomicity refinement for verified compilation. PLDI Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte
2014	C	`conf`	M ISMM David Terei, Alex Aiken, Jan Vitek
2014	J	`jnl`	Practices of PLDI. ACM SIGPLAN Notices Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler
2014	J	`jnl`	SIGPLAN chair's report. ACM SIGPLAN Notices Jan Vitek
2014	B	`conf`	The case for the three R's of systems research: repeatability, reproducibility and rigor. VEE Jan Vitek
2013	J	`jnl`	Changing of the Guard. J. Object Technol. Jan Vitek
2013	A*	`conf`	Detecting deadlock in programs with data-centric synchronization. ICSE Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek
2013	A	`conf`	Flexible access control for javascript. OOPSLA Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek
2013	—	`conf`	History-based security for JavaScript. ICOOOLPS@ECOOP Jan Vitek
2013	J	`jnl`	Introduction to the special section on LCTES'11. ACM Trans. Embed. Comput. Syst. Bjorn De Sutter, Jan Vitek
2013	J	`jnl`	Micro-transactions for concurrent data structures. Concurr. Comput. Pract. Exp. Fadi Meawad, Karthik Iyer, Martin Schoeberl, Jan Vitek
2013	A*	`conf`	Plan B: a buffered memory model for Java. POPL Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek
2013	J	`jnl`	SIGPLAN chair's report. ACM SIGPLAN Notices Jan Vitek
2013	—	`conf`	Should software conferences respect software? SPLASH (Companion Volume) Shriram Krishnamurthi, James Noble, Jan Vitek
2013	A*	`conf`	Terra: a multi-stage language for high-performance computing. PLDI Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek
2012	A	`conf`	A black-box approach to understanding concurrency in DaCapo. OOPSLA Tomas Kalibera, Matthew Mole, Richard E. Jones, Jan Vitek
2012	J	`jnl`	A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
2012	A*	`ed.`	ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012 PLDI Jan Vitek, Haibo Lin, Frank Tip
2012	—	`conf`	Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications. ACSD Adnan Bouakaz, Jean-Pierre Talpin, Jan Vitek
2012	A	`conf`	Eval begone!: semi-automated removal of eval from javascript programs. OOPSLA Fadi Meawad, Gregor Richards, Floréal Morandat, Jan Vitek
2012	A	`conf`	Evaluating the Design of the R Language - Objects and Functions for Data Analysis. ECOOP Floréal Morandat, Brandon Hill, Leo Osvald, Jan Vitek
2012	J	`jnl`	Foundations for Scripting Languages (Dagstuhl Seminar 12011). Dagstuhl Reports Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek
2012	J	`jnl`	Introduction to the Special Issue on Java Technologies for Real-Time and Embedded Systems. Concurr. Comput. Pract. Exp. Jan Vitek, Tomas Kalibera
2012	B	`conf`	Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection. APLAS Jan Vitek
2012	J	`jnl`	R3: repeatability, reproducibility and rigor. ACM SIGPLAN Notices Jan Vitek, Tomas Kalibera
2011	J	`jnl`	A family of real-time Java benchmarks. Concurr. Comput. Pract. Exp. Tomas Kalibera, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben L. Titzer, Jan Vitek
2011	A	`conf`	Automated construction of JavaScript benchmarks. OOPSLA Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek
2011	B	`ed.`	Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011 LCTES Jan Vitek, Bjorn De Sutter
2011	—	`conf`	Real-time wait-free queues using micro-transactions. JTRES Fadi Meawad, Martin Schoeberl, Karthik Iyer, Jan Vitek
2011	Misc	`conf`	Repeatability, reproducibility, and rigor in systems research. EMSOFT Jan Vitek, Tomas Kalibera
2011	J	`jnl`	Scheduling real-time garbage collection on uniprocessors. ACM Trans. Comput. Syst. Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek
2011	—	`conf`	Static Dominance Inference. TOOLS (49) Ana L. Milanova, Jan Vitek
2011	A	`conf`	The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. ECOOP Gregor Richards, Christian Hammer, Brian Burg, Jan Vitek
2011	A*	`conf`	Virtualizing real-time embedded systems with Java. DAC Jan Vitek
2010	A	`conf`	A Type System for Data-Centric Synchronization. ECOOP Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek
2010	A*	`conf`	An analysis of the dynamic behavior of JavaScript programs. PLDI Gregor Richards, Sylvain Lebresne, Brian Burg, Jan Vitek
2010	—	`conf`	Challenge benchmarks for verification of real-time programs. PLPV Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek
2010	J	`jnl`	Conference Report: TOOLS'10. J. Object Technol. Jan Vitek
2010	—	`conf`	Developing safety critical Java applications with oSCJ/L0. JTRES Ales Plsek, Lei Zhao, Veysel Harun Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek
2010	A	`conf`	High-level programming of embedded hard real-time devices. EuroSys Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek
2010	A*	`conf`	Integrating typed and untyped code in a scripting language. POPL Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek
2010	—	`ed.`	Objects, Models, Components, Patterns, 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010. Proceedings TOOLS (48) Jan Vitek
2010	—	`conf`	One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. SPIN Nicholas Kidd, Suresh Jagannathan, Jan Vitek
2010	—	`ed.`	Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010 JTRES Tomas Kalibera, Jan Vitek
2010	C	`ed.`	Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010 ISMM Jan Vitek, Doug Lea
2010	Misc	`conf`	RTTM: real-time transactional memory. SAC Martin Schoeberl, Florian Brandner, Jan Vitek
2010	J	`jnl`	Reflexes: Abstractions for integrating highly responsive tasks into Java applications. ACM Trans. Embed. Comput. Syst. Jesper Honig Spring, Filip Pizlo, Jean Privat, Rachid Guerraoui, Jan Vitek
2010	A*	`conf`	Schism: fragmentation-tolerant real-time garbage collection. PLDI Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek
2010	—	`conf`	Static checking of safety critical Java annotations. JTRES Daniel Tang, Ales Plsek, Jan Vitek
2009	—	`conf`	A technology compatibility kit for safety critical Java. JTRES Lei Zhao, Daniel Tang, Jan Vitek
2009	J	`jnl`	Accurate garbage collection in uncooperative environments revisited. Concurr. Comput. Pract. Exp. Jason Baker, Antonio Cunei, Tomas Kalibera, Filip Pizlo, Jan Vitek
2009	—	`conf`	CD JTRES Tomas Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben L. Titzer, Jan Vitek
2009	J	`jnl`	Challenge benchmarks for verification of real-time programs: (abstract only). ACM SIGPLAN Notices Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek
2009	C	`conf`	High-Performance Transactional Event Processing. COORDINATION Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek
2009	A	`conf`	Introduction to: The Myths of Object-Orientation. ECOOP Jan Vitek
2009	A	`conf`	Loci: Simple Thread-Locality for Java. ECOOP Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek
2009	—	`ch.`	Mobile Agents. Encyclopedia of Complexity and Systems Science Niranjan Suri, Jan Vitek
2009	C	`conf`	Of scripts and programs: tall tales, urban legends, and future prospects. DLS Jan Vitek
2009	J	`jnl`	Preface. Theor. Comput. Sci. Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek
2009	—	`ed.`	Proceedings for the 1st workshop on Script to Program Evolution, STOP '09, Genova, Italy, July 6, 2009 STOP@ECOOP Tobias Wrigstad, Nate Nystrom, Jan Vitek
2009	—	`conf`	Programming Models for Concurrency and Real-Time. TOOLS (47) Jan Vitek
2009	—	`conf`	Real time Java on resource-constrained platforms with Fiji VM. JTRES Filip Pizlo, Lukasz Ziarek, Jan Vitek
2009	A	`conf`	Scheduling Hard Real-Time Garbage Collection. RTSS Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek
2009	—	`conf`	Software hardening: a research agenda. STOP@ECOOP Tobias Wrigstad, Patrick Eugster, John Field, Nate Nystrom, Jan Vitek
2009	—	`conf`	Thorn: robust concurrent scripting on the JVM. OOPSLA Companion Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad
2009	A	`conf`	Thorn: robust, concurrent, extensible scripting on the JVM. OOPSLA Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad
2009	—	`conf`	Understanding the dynamics of JavaScript. STOP@ECOOP Sylvain Lebresne, Gregor Richards, Johan Östlund, Tobias Wrigstad, Jan Vitek
2008	J	`jnl`	An efficient and flexible toolkit for composing customized method dispatchers. Softw. Pract. Exp. Antonio Cunei, Jan Vitek
2008	A	`ed.`	ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings ECOOP Jan Vitek
2008	B	`conf`	Flexible task graphs: a unified restricted thread programming model for java. LCTES Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek
2008	J	`jnl`	Implicit ownership types for memory management. Sci. Comput. Program. Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek
2008	C	`conf`	Matchete: Paths through the Pattern Matching Jungle. PADL Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek
2008	C	`conf`	Memory Management for Real-Time Java: State of the Art. ISORC Filip Pizlo, Jan Vitek
2007	J	`jnl`	A real-time Java virtual machine with applications in avionics. ACM Trans. Embed. Comput. Syst. Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek
2007	B	`conf`	Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. CC Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek
2007	C	`ed.`	Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings COORDINATION Amy L. Murphy, Jan Vitek
2007	J	`jnl`	Encapsulating objects with confined types. ACM Trans. Program. Lang. Syst. Christian Grothoff, Jens Palsberg, Jan Vitek
2007	—	`conf`	Garbage collection for safety critical Java. JTRES Martin Schoeberl, Jan Vitek
2007	B	`conf`	Hierarchical real-time garbage collection. LCTES Filip Pizlo, Antony L. Hosking, Jan Vitek
2007	J	`jnl`	Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06 CoRR Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra
2007	J	`jnl`	Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07 CoRR Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek
2007	—	`conf`	Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ECOOP Workshops Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek
2007	B	`conf`	Reflexes: abstractions for highly responsive systems. VEE Jesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek
2007	A	`conf`	STMBench7: a benchmark for software transactional memory. EuroSys Rachid Guerraoui, Michal Kapalka, Jan Vitek
2007	J	`jnl`	Scoped types and aspects for real-time Java memory management. Real Time Syst. Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao
2007	A	`conf`	Streamflex: high-throughput stream programming in java. OOPSLA Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek
2006	—	`conf`	A Real-time Java Virtual Machine for Avionics - An Experience Report. IEEE Real Time Technology and Applications Symposium Jason Baker, Antonio Cunei, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbruster, Edward Pla, David Holmes
2006	B	`conf`	A new approach to real-time checkpointing. VEE Antonio Cunei, Jan Vitek
2006	A	`conf`	An Emprical Evaluation of Memory Management Alternatives for Real-Time Java. RTSS Filip Pizlo, Jan Vitek
2006	B	`conf`	Combining Offline and Online Optimizations: Register Allocation and Method Inlining. APLAS Hiroshi Yamauchi, Jan Vitek
2006	A	`conf`	Dynamic aspects for runtime fault determination and recovery. IPDPS Jeremy Manson, Jan Vitek, Suresh Jagannathan
2006	—	`conf`	Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ECOOP Workshops Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra
2006	J	`jnl`	Redundancy and coverage detection in sensor networks. ACM Trans. Sens. Networks Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar
2006	A	`conf`	Scoped Types and Aspects for Real-Time Java. ECOOP Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao
2006	J	`jnl`	Type-based confinement. J. Funct. Program. Tian Zhao, Jens Palsberg, Jan Vitek
2005	J	`jnl`	A transactional object calculus. Sci. Comput. Program. Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking
2005	J	`jnl`	Concurrency and synchronization in Java programs. Sci. Comput. Program. Mark Moir, Nir Shavit, Jan Vitek
2005	—	`conf`	Efficient Intrusion Detection using Automaton Inlining. S&P Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek
2005	J	`jnl`	Engineering a common intermediate representation for the Ovm framework. Sci. Comput. Program. Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek
2005	A	`conf`	PolyD: a flexible dispatching framework. OOPSLA Antonio Cunei, Jan Vitek
2005	A	`conf`	Preemptible Atomic Regions for Real-Time Java. RTSS Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek
2005	B	`ed.`	Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005 VEE Michael Hind, Jan Vitek
2005	J	`jnl`	RTJBench: A Real-Time Java Benchmarking Framework. Stud. Inform. Univ. Marek Prochazka, Andrey Madan, Jan Vitek, Wenchang Liu
2005	—	`conf`	Reconsidering complete search algorithms for protein backbone NMR assignment. ECCB/JBI Olga Vitek, Chris Bailey-Kellogg, Bruce A. Craig, Paul Kuliniewicz, Jan Vitek
2005	J	`jnl`	The Seal Calculus. Inf. Comput. Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli
2004	—	`conf`	A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks. ICETE (3) Bogdan Carbunar, Ioannis Ioannidis, Ananth Grama, Jan Vitek
2004	A	`conf`	A Semantic Framework for Designer Transactions. ESOP Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking
2004	C	`conf`	A public key algorithm for ad-hoc networks. IPCCC Bogdan Carbunar, Ananth Grama, Jan Vitek
2004	J	`jnl`	Coordination and mobility in CoreLime. Math. Struct. Comput. Sci. Bogdan Carbunar, Marco Túlio de Oliveira Valente, Jan Vitek
2004	B	`conf`	Coverage preserving redundancy elimination in sensor networks. SECON Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar
2004	B	`conf`	Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks. ICPADS Bogdan Carbunar, Ananth Grama, Jan Vitek
2004	C	`conf`	Optimistic Concurrency Semantics for Transactions in Coordination Languages. COORDINATION Suresh Jagannathan, Jan Vitek
2004	C	`conf`	Real-Time Java Scoped Memory: Design Patterns and Semantics. ISORC Filip Pizlo, J. M. Fox, David Holmes, Jan Vitek
2004	A	`conf`	Scoped Types for Real-Time Java. RTSS Tian Zhao, James Noble, Jan Vitek
2003	J	`jnl`	Coordinating processes with secure spaces. Sci. Comput. Program. Jan Vitek, Ciarán Bryce, Manuel Oriol
2003	—	`conf`	Engineering a customizable intermediate representation. IVME Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek
2003	A	`conf`	Java Subtype Tests in Real-Time. ECOOP Krzysztof Palacz, Jan Vitek
2003	A	`conf`	Lightweight confinement for featherweight Java. OOPSLA Tian Zhao, Jens Palsberg, Jan Vitek
2003	J	`jnl`	Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality. J. Comput. Secur. Peter Sewell, Jan Vitek
2003	—	`conf`	Type-Based Distributed Access Control. CSFW Tom Chothia, Dominic Duggan, Jan Vitek
2002	A	`conf`	Incommunicado: efficient communication for isolates. OOPSLA Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Daynès
2002	—	`conf`	Resource Management for Safe Languages. ECOOP Workshops Grzegorz Czajkowski, Jan Vitek
2001	J	`jnl`	Confined types in Java. Softw. Pract. Exp. Jan Vitek, Boris Bokowski
2001	—	`conf`	CoreLime: A Coordination Model for Mobile Agents. ConCoord Bogdan Carbunar, Marco Túlio de Oliveira Valente, Jan Vitek
2001	A	`conf`	Encapsulating Objects with Confined Types. OOPSLA Christian Grothoff, Jens Palsberg, Jan Vitek
2001	—	`conf`	Lime Revisited. Mobile Agents Bogdan Carbunar, Marco Túlio de Oliveira Valente, Jan Vitek
2001	J	`jnl`	The JavaSeal Mobile Agent Kernel. Auton. Agents Multi Agent Syst. Ciarán Bryce, Jan Vitek
2000	—	`conf`	Secure Composition of Untrusted Code: Wrappers and Causality Types. CSFW Peter Sewell, Jan Vitek
1999	C	`conf`	A Coordination Model Agents Based on Secure Spaces. COORDINATION Ciarán Bryce, Manuel Oriol, Jan Vitek
1999	—	`conf`	Aliasing in Object Oriented Systems. ECOOP Workshops James Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida
1999	A	`conf`	Confined Types. OOPSLA Jan Vitek, Boris Bokowski
1999	—	`conf`	Secure Composition of Insecure Components. CSFW Peter Sewell, Jan Vitek
1999	—	`ed.`	Secure Internet Programming, Security Issues for Mobile and Distributed Objects Secure Internet Programming Jan Vitek, Christian Damsgaard Jensen
1999	—	`conf`	The JavaSeal Mobile Agent Kernel. ASA/MA Ciarán Bryce, Jan Vitek
1998	—	`conf`	4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations. ECOOP Workshops Ciarán Bryce, Leila Ismail, Jan Vitek
1998	J	`jnl`	Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface. World Wide Web Paolo Ciancarini, Robert Tolksdorf, Jan Vitek
1998	A	`conf`	Flexible Alias Protection. ECOOP James Noble, Jan Vitek, John Potter
1998	—	`conf`	JAZZ: an efficient compressed format for Java archive files. CASCON Quetzalcoatl Bradley, R. Nigel Horspool, Jan Vitek
1998	—	`conf`	Seal: A Framework for Secure Mobile Computations. ICCL Workshop: Internet Programming Languages Jan Vitek, Giuseppe Castagna
1997	A	`conf`	Efficient Type Inclusion Tests. OOPSLA Jan Vitek, R. Nigel Horspool, Andreas Krall
1997	—	`ed.`	Mobile Object Systems - Towards the Programmable Internet, Second International Workshop, MOS'96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers Mobile Object Systems Jan Vitek, Christian F. Tschudin
1997	A	`conf`	Near Optimal Hierarchical Encoding of Types. ECOOP Andreas Krall, Jan Vitek, R. Nigel Horspool
1997	—	`conf`	On Extending Java. JMLC Andreas Krall, Jan Vitek
1996	B	`conf`	Compact Dispatch Tables for Dynamically Typed Object Oriented Languages. CC Jan Vitek, R. Nigel Horspool
1996	—	`conf`	Security and Communication in Mobile Object Systems. Mobile Object Systems Jan Vitek, Manuel Serrano, Dimitri Thanos
1995	A	`conf`	Message Dispatch on Pipelined Processors. ECOOP Karel Driesen, Urs Hölzle, Jan Vitek
1994	A	`conf`	Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages. ECOOP Jan Vitek, R. Nigel Horspool
1993	J	`jnl`	Static Analysis of PostScript Code. Comput. Lang. R. Nigel Horspool, Jan Vitek
1992	B	`conf`	Compile-Time Analysis of Object-Oriented Programs. CC Jan Vitek, R. Nigel Horspool, James S. Uhl
1992	—	`conf`	Static analysis of PostScript code. ICCL R. Nigel Horspool, Jan Vitek