Jan Vitek

According to our database, Jan Vitek authored at least 197 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Decidable Subtyping of Existential Types for Julia.

Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

Proc. ACM Program. Lang., 2024

The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments.

Petr Maj, Stefanie Muroya, Konrad Siek, Luca Di Grazia, Jan Vitek

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Reusing Just-in-Time Compiled Code.

Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek

Proc. ACM Program. Lang., October, 2023

Artifact of "Reusing Just-in-Time Compiled Code".

Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek

Dataset, October, 2023

2022

PRL-PRG/sle22-signatr-artifact.

Pierre Donat-Bouillud, Filip Krikava, Alexi Turcotte, Jan Vitek

Dataset, November, 2022

Artifact of "Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations".

Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek

Dataset, February, 2022

Artifact of "Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations".

Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek

Dataset, February, 2022

signatr: A Data-Driven Fuzzing Tool for R.

Alexi Turcotte, Pierre Donat-Bouillud, Filip Krikava, Jan Vitek

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

Deoptless: speculation with dispatched on-stack replacement and specialized continuations.

Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Artifact).

Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

Dataset, September, 2021

Why We Eval in the Shadows (Dataset).

Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek

Dataset, September, 2021

PRL-PRG/evalr-experiment: OOPSLA 2021 artifact.

Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek

Dataset, September, 2021

Type stability in Julia: avoiding performance pathologies in JIT compilation.

Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

Proc. ACM Program. Lang., 2021

Promises are made to be broken: migrating R to strict semantics.

Aviral Goel, Jan Jecmen, Sebastián Krynski, Olivier Flückiger, Jan Vitek

Proc. ACM Program. Lang., 2021

What we eval in the shadows: a large-scale study of eval in R programs.

Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek

Proc. ACM Program. Lang., 2021

Formally verified speculation and deoptimization in a JIT compiler.

Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek

Proc. ACM Program. Lang., 2021

CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact).

Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek

Dagstuhl Artifacts Ser., 2021

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version).

Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

CoRR, 2021

CodeDJ: Reproducible Queries over Large-Scale Software Repositories.

Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

First-class environments in R.

Aviral Goel, Jan Vitek

Proceedings of the DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, 2021

2020

Designing types for R, empirically.

Alexi Turcotte, Aviral Goel, Filip Krikava, Jan Vitek

Proc. ACM Program. Lang., 2020

Contextual dispatch for function specialization.

Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Jecmen, Jakob Hain, Jan Vitek

Proc. ACM Program. Lang., 2020

World age in Julia: optimizing method dispatch in the presence of eval.

Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek

Proc. ACM Program. Lang., 2020

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version).

Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek

CoRR, 2020

Sampling optimized code for type feedback.

Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek

Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020

2019

On the Impact of Programming Languages on Code Quality: A Reproduction Study.

Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek

ACM Trans. Program. Lang. Syst., 2019

Feature-Specific Profiling.

Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen

ACM Trans. Program. Lang. Syst., 2019

Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness.

Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek

ACM Trans. Embed. Comput. Syst., 2019

Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild.

Filip Krikava, Heather Miller, Jan Vitek

Proc. ACM Program. Lang., 2019

On the design, implementation, and use of laziness in R.

Aviral Goel, Jan Vitek

Proc. ACM Program. Lang., 2019

How to evaluate the performance of gradual type systems.

Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen

J. Funct. Program., 2019

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology.

Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek

J. Autom. Reason., 2019

On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact).

Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek

Dagstuhl Artifacts Ser., 2019

FSE/CACM Rebuttal²: Correcting A Large-Scale Study of Programming Languages and Code Quality in GitHub.

Emery D. Berger, Petr Maj, Olga Vitek, Jan Vitek

CoRR, 2019

Precise Dataflow Analysis of Event-Driven Applications.

Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek

CoRR, 2019

Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild.

Filip Krikava, Heather Miller, Jan Vitek

CoRR, 2019

On the Impact of Programming Languages on Code Quality.

Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek

CoRR, 2019

Towards a Type System for R.

Alexi Turcotte, Jan Vitek

Proceedings of the ICOOOLPS '19: Proceedings of the 14th Workshop on Implementation, 2019

Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl).

Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

R melts brains: an IR for first-class environments and lazy effectful arguments.

Olivier Flückiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek

Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, 2019

2018

Julia subtyping: a rational reconstruction.

Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek

Proc. ACM Program. Lang., 2018

Correctness of speculative optimizations with dynamic deoptimization.

Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek

Proc. ACM Program. Lang., 2018

Julia: dynamism and performance reconciled by design.

Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky

Proc. ACM Program. Lang., 2018

KafKa: Gradual Typing for Objects (Artifact).

Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek

Dagstuhl Artifacts Ser., 2018

Tests from traces: automated unit test extraction for R.

Filip Krikava, Jan Vitek

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Monotonic gradual typing in a common calculus.

Benjamin Chung, Jan Vitek

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Correctness of a Concurrent Object Collector for Actor Languages.

Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad

Proceedings of the Programming Languages and Systems, 2018

KafKa: Gradual Typing for Objects.

Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Self-contained development environments.

Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger

Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

2017

DéjàVu: a map of code duplicates on GitHub.

Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek

Proc. ACM Program. Lang., 2017

Orca: GC and type system co-design for actor languages.

Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek

Proc. ACM Program. Lang., 2017

Parallelizing Julia with a Non-Invasive DSL (Artifact).

Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman

Dagstuhl Artifacts Ser., 2017

Making Android Run on Time.

Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek

Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology.

Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Parallelizing Julia with a Non-Invasive DSL.

Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111).

Daniel Delling, Camil Demetrescu, David S. Johnson, Jan Vitek

Dagstuhl Reports, 2016

Is sound gradual typing dead?

Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

The real software crisis: repeatability as a core value.

Shriram Krishnamurthi, Jan Vitek

Commun. ACM, 2015

Repeatability, reproducibility and rigor in CS research.

Jan Vitek

Proceedings of the Programming Languages Mentoring Workshop, 2015

Concrete Types for TypeScript.

Gregor Richards, Francesco Zappa Nardelli, Jan Vitek

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Cooking the Books: Formalizing JMM Implementation Recipes.

Gustavo Petri, Jan Vitek, Suresh Jagannathan

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Atomicity Refinement for Verified Compilation.

Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek

ACM Trans. Program. Lang. Syst., 2014

Practices of PLDI.

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

ACM SIGPLAN Notices, 2014

The case for the three R's of systems research: repeatability, reproducibility and rigor.

Jan Vitek

Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2014

A fast abstract syntax tree interpreter for R.

Tomas Kalibera, Petr Maj, Floréal Morandat, Jan Vitek

Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2014

M³: high-performance memory management from off-the-shelf components.

David Terei, Alex Aiken, Jan Vitek

Proceedings of the International Symposium on Memory Management, 2014

2013

Introduction to the special section on LCTES'11.

Bjorn De Sutter, Jan Vitek

ACM Trans. Embed. Comput. Syst., 2013

SIGPLAN chair's report.

Jan Vitek

ACM SIGPLAN Notices, 2013

Changing of the Guard.

Jan Vitek

J. Object Technol., 2013

Micro-transactions for concurrent data structures.

Fadi Meawad, Karthik Iyer, Martin Schoeberl, Jan Vitek

Concurr. Comput. Pract. Exp., 2013

Plan B: a buffered memory model for Java.

Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Terra: a multi-stage language for high-performance computing.

Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Flexible access control for javascript.

Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Should software conferences respect software?

Shriram Krishnamurthi, James Noble, Jan Vitek

Proceedings of the SPLASH'13, 2013

Detecting deadlock in programs with data-centric synchronization.

Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek

Proceedings of the 35th International Conference on Software Engineering, 2013

History-based security for JavaScript.

Jan Vitek

Proceedings of the 8th Workshop on Implementation, 2013

2012

A data-centric approach to synchronization.

Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek

ACM Trans. Program. Lang. Syst., 2012

R3: repeatability, reproducibility and rigor.

Jan Vitek, Tomas Kalibera

ACM SIGPLAN Notices, 2012

Foundations for Scripting Languages (Dagstuhl Seminar 12011).

Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek

Dagstuhl Reports, 2012

Introduction to the Special Issue on Java Technologies for Real-Time and Embedded Systems.

Jan Vitek, Tomas Kalibera

Concurr. Comput. Pract. Exp., 2012

Eval begone!: semi-automated removal of eval from javascript programs.

Fadi Meawad, Gregor Richards, Floréal Morandat, Jan Vitek

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

A black-box approach to understanding concurrency in DaCapo.

Tomas Kalibera, Matthew Mole, Richard E. Jones, Jan Vitek

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Evaluating the Design of the R Language - Objects and Functions for Data Analysis.

Floréal Morandat, Brandon Hill, Leo Osvald, Jan Vitek

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection.

Jan Vitek

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications.

Adnan Bouakaz, Jean-Pierre Talpin, Jan Vitek

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Scheduling real-time garbage collection on uniprocessors.

Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek

ACM Trans. Comput. Syst., 2011

A family of real-time Java benchmarks.

Tomas Kalibera, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben L. Titzer, Jan Vitek

Concurr. Comput. Pract. Exp., 2011

Static Dominance Inference.

Ana L. Milanova, Jan Vitek

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Automated construction of JavaScript benchmarks.

Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Real-time wait-free queues using micro-transactions.

Fadi Meawad, Martin Schoeberl, Karthik Iyer, Jan Vitek

Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Repeatability, reproducibility, and rigor in systems research.

Jan Vitek, Tomas Kalibera

Proceedings of the 11th International Conference on Embedded Software, 2011

The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications.

Gregor Richards, Christian Hammer, Brian Burg, Jan Vitek

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

Virtualizing real-time embedded systems with Java.

Jan Vitek

Proceedings of the 48th Design Automation Conference, 2011

2010

Reflexes: Abstractions for integrating highly responsive tasks into Java applications.

Jesper Honig Spring, Filip Pizlo, Jean Privat, Rachid Guerraoui, Jan Vitek

ACM Trans. Embed. Comput. Syst., 2010

Conference Report: TOOLS'10.

Jan Vitek

J. Object Technol., 2010

One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling.

Nicholas Kidd, Suresh Jagannathan, Jan Vitek

Proceedings of the Model Checking Software, 2010

RTTM: real-time transactional memory.

Martin Schoeberl, Florian Brandner, Jan Vitek

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Integrating typed and untyped code in a scripting language.

Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Challenge benchmarks for verification of real-time programs.

Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek

Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

An analysis of the dynamic behavior of JavaScript programs.

Gregor Richards, Sylvain Lebresne, Brian Burg, Jan Vitek

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Schism: fragmentation-tolerant real-time garbage collection.

Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Static checking of safety critical Java annotations.

Daniel Tang, Ales Plsek, Jan Vitek

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Developing safety critical Java applications with oSCJ/L0.

Ales Plsek, Lei Zhao, Veysel Harun Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

High-level programming of embedded hard real-time devices.

Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek

Proceedings of the European Conference on Computer Systems, 2010

A Type System for Data-Centric Synchronization.

Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek

Proceedings of the ECOOP 2010, 2010

2009

Mobile Agents.

Niranjan Suri, Jan Vitek

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Preface.

Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek

Theor. Comput. Sci., 2009

Challenge benchmarks for verification of real-time programs: (abstract only).

Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek

ACM SIGPLAN Notices, 2009

Accurate garbage collection in uncooperative environments revisited.

Jason Baker, Antonio Cunei, Tomas Kalibera, Filip Pizlo, Jan Vitek

Concurr. Comput. Pract. Exp., 2009

Programming Models for Concurrency and Real-Time.

Jan Vitek

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

Scheduling Hard Real-Time Garbage Collection.

Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Thorn: robust concurrent scripting on the JVM.

Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Thorn: robust, concurrent, extensible scripting on the JVM.

Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

A technology compatibility kit for safety critical Java.

Lei Zhao, Daniel Tang, Jan Vitek

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Real time Java on resource-constrained platforms with Fiji VM.

Filip Pizlo, Lukasz Ziarek, Jan Vitek

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

CD_x: a family of real-time Java benchmarks.

Tomas Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben L. Titzer, Jan Vitek

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Loci: Simple Thread-Locality for Java.

Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek

Proceedings of the ECOOP 2009, 2009

Software hardening: a research agenda.

Tobias Wrigstad, Patrick Eugster, John Field, Nate Nystrom, Jan Vitek

Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

Introduction to: The Myths of Object-Orientation.

Jan Vitek

Proceedings of the ECOOP 2009, 2009

Understanding the dynamics of JavaScript.

Sylvain Lebresne, Gregor Richards, Johan Östlund, Tobias Wrigstad, Jan Vitek

Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

Of scripts and programs: tall tales, urban legends, and future prospects.

Jan Vitek

Proceedings of the 5th Symposium on Dynamic Languages, 2009

High-Performance Transactional Event Processing.

Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008

An efficient and flexible toolkit for composing customized method dispatchers.

Antonio Cunei, Jan Vitek

Softw. Pract. Exp., 2008

Implicit ownership types for memory management.

Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek

Sci. Comput. Program., 2008

Matchete: Paths through the Pattern Matching Jungle.

Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek

Proceedings of the Practical Aspects of Declarative Languages, 2008

Flexible task graphs: a unified restricted thread programming model for java.

Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

Memory Management for Real-Time Java: State of the Art.

Filip Pizlo, Jan Vitek

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007

Encapsulating objects with confined types.

Christian Grothoff, Jens Palsberg, Jan Vitek

ACM Trans. Program. Lang. Syst., 2007

A real-time Java virtual machine with applications in avionics.

Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek

ACM Trans. Embed. Comput. Syst., 2007

Scoped types and aspects for real-time Java memory management.

Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao

Real Time Syst., 2007

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07

Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek

CoRR, 2007

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06

Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra

CoRR, 2007

Reflexes: abstractions for highly responsive systems.

Jesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek

Proceedings of the 3rd International Conference on Virtual Execution Environments, 2007

Streamflex: high-throughput stream programming in java.

Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Hierarchical real-time garbage collection.

Filip Pizlo, Antony L. Hosking, Jan Vitek

Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

Garbage collection for safety critical Java.

Martin Schoeberl, Jan Vitek

Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

STMBench7: a benchmark for software transactional memory.

Rachid Guerraoui, Michal Kapalka, Jan Vitek

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems.

Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks.

Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek

Proceedings of the Compiler Construction, 16th International Conference, 2007

2006

Redundancy and coverage detection in sensor networks.

Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar

ACM Trans. Sens. Networks, 2006

Type-based confinement.

Tian Zhao, Jens Palsberg, Jan Vitek

J. Funct. Program., 2006

A new approach to real-time checkpointing.

Antonio Cunei, Jan Vitek

Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

An Emprical Evaluation of Memory Management Alternatives for Real-Time Java.

Filip Pizlo, Jan Vitek

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

A Real-time Java Virtual Machine for Avionics - An Experience Report.

Jason Baker, Antonio Cunei, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbruster, Edward Pla, David Holmes

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Dynamic aspects for runtime fault determination and recovery.

Jeremy Manson, Jan Vitek, Suresh Jagannathan

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems.

Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

Scoped Types and Aspects for Real-Time Java.

Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao

Proceedings of the ECOOP 2006, 2006

Combining Offline and Online Optimizations: Register Allocation and Method Inlining.

Hiroshi Yamauchi, Jan Vitek

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

RTJBench: A Real-Time Java Benchmarking Framework.

Marek Prochazka, Andrey Madan, Jan Vitek, Wenchang Liu

Stud. Inform. Univ., 2005

Engineering a common intermediate representation for the Ovm framework.

Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek

Sci. Comput. Program., 2005

Concurrency and synchronization in Java programs.

Mark Moir, Nir Shavit, Jan Vitek

Sci. Comput. Program., 2005

A transactional object calculus.

Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking

Sci. Comput. Program., 2005

The Seal Calculus.

Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli

Inf. Comput., 2005

Efficient Intrusion Detection using Automaton Inlining.

Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek

Proceedings of the 2005 IEEE Symposium on Security and Privacy (S&P 2005), 2005

Preemptible Atomic Regions for Real-Time Java.

Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

PolyD: a flexible dispatching framework.

Antonio Cunei, Jan Vitek

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Reconsidering complete search algorithms for protein backbone NMR assignment.

Olga Vitek, Chris Bailey-Kellogg, Bruce A. Craig, Paul Kuliniewicz, Jan Vitek

Proceedings of the ECCB/JBI'05 Proceedings, Fourth European Conference on Computational Biology/Sixth Meeting of the Spanish Bioinformatics Network (Jornadas de BioInformática), Palacio de Congresos, Madrid, Spain, September 28, 2005

2004

Coordination and mobility in CoreLime.

Bogdan Carbunar, Marco Túlio de Oliveira Valente, Jan Vitek

Math. Struct. Comput. Sci., 2004

Coverage preserving redundancy elimination in sensor networks.

Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar

Proceedings of the First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004

Scoped Types for Real-Time Java.

Tian Zhao, James Noble, Jan Vitek

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Real-Time Java Scoped Memory: Design Patterns and Semantics.

Filip Pizlo, J. M. Fox, David Holmes, Jan Vitek

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

A public key algorithm for ad-hoc networks.

Bogdan Carbunar, Ananth Grama, Jan Vitek

Proceedings of the 23rd IEEE International Performance Computing and Communications Conference, 2004

Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks.

Bogdan Carbunar, Ananth Grama, Jan Vitek

Proceedings of the 10th International Conference on Parallel and Distributed Systems, 2004

A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks.

Bogdan Carbunar, Ioannis Ioannidis, Ananth Grama, Jan Vitek

Proceedings of the ICETE 2004, 2004

A Semantic Framework for Designer Transactions.

Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking

Proceedings of the Programming Languages and Systems, 2004

Optimistic Concurrency Semantics for Transactions in Coordination Languages.

Suresh Jagannathan, Jan Vitek

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003

Coordinating processes with secure spaces.

Jan Vitek, Ciarán Bryce, Manuel Oriol

Sci. Comput. Program., 2003

Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality.

Peter Sewell, Jan Vitek

J. Comput. Secur., 2003

Lightweight confinement for featherweight Java.

Tian Zhao, Jens Palsberg, Jan Vitek

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Engineering a customizable intermediate representation.

Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek

Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, 2003

Java Subtype Tests in Real-Time.

Krzysztof Palacz, Jan Vitek

Proceedings of the ECOOP 2003, 2003

Type-Based Distributed Access Control.

Tom Chothia, Dominic Duggan, Jan Vitek

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

2002

Incommunicado: efficient communication for isolates.

Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Daynès

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Resource Management for Safe Languages.

Grzegorz Czajkowski, Jan Vitek

Proceedings of the Object-Oriented Technology, 2002

2001

Confined types in Java.

Jan Vitek, Boris Bokowski

Softw. Pract. Exp., 2001

CoreLime: A Coordination Model for Mobile Agents.

Bogdan Carbunar, Marco Túlio de Oliveira Valente, Jan Vitek

Proceedings of the International Workshop on Concurrency and Coordination, 2001

The JavaSeal Mobile Agent Kernel.

Ciarán Bryce, Jan Vitek

Auton. Agents Multi Agent Syst., 2001

Lime Revisited.

Bogdan Carbunar, Marco Túlio de Oliveira Valente, Jan Vitek

Proceedings of the Mobile Agents, 5th International Conference, 2001

2000

Secure Composition of Untrusted Code: Wrappers and Causality Types.

Peter Sewell, Jan Vitek

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1999

Confined Types.

Jan Vitek, Boris Bokowski

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Aliasing in Object Oriented Systems.

James Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Secure Composition of Insecure Components.

Peter Sewell, Jan Vitek

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

A Coordination Model Agents Based on Secure Spaces.

Ciarán Bryce, Manuel Oriol, Jan Vitek

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998

Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface.

Paolo Ciancarini, Robert Tolksdorf, Jan Vitek

World Wide Web, 1998

Seal: A Framework for Secure Mobile Computations.

Jan Vitek, Giuseppe Castagna

Proceedings of the Internet Programming Languages, 1998

4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations.

Ciarán Bryce, Leila Ismail, Jan Vitek

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Flexible Alias Protection.

James Noble, Jan Vitek, John Potter

Proceedings of the ECOOP'98, 1998

JAZZ: an efficient compressed format for Java archive files.

Quetzalcoatl Bradley, R. Nigel Horspool, Jan Vitek

Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30, 1998

1997

Efficient Type Inclusion Tests.

Jan Vitek, R. Nigel Horspool, Andreas Krall

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

On Extending Java.

Andreas Krall, Jan Vitek

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

Near Optimal Hierarchical Encoding of Types.

Andreas Krall, Jan Vitek, R. Nigel Horspool

Proceedings of the ECOOP'97, 1997

1996

Security and Communication in Mobile Object Systems.

Jan Vitek, Manuel Serrano, Dimitri Thanos

Proceedings of the Mobile Object Systems, 1996

Compact Dispatch Tables for Dynamically Typed Object Oriented Languages.

Jan Vitek, R. Nigel Horspool

Proceedings of the Compiler Construction, 6th International Conference, 1996

1995

Message Dispatch on Pipelined Processors.

Karel Driesen, Urs Hölzle, Jan Vitek

Proceedings of the ECOOP'95, 1995

1994

Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages.

Jan Vitek, R. Nigel Horspool

Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

1993

Static Analysis of PostScript Code.

R. Nigel Horspool, Jan Vitek

Comput. Lang., 1993

1992

Compile-Time Analysis of Object-Oriented Programs.

Jan Vitek, R. Nigel Horspool, James S. Uhl

Proceedings of the Compiler Construction, 1992