default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJan Vitek
Person information
- affiliation: Northeastern University, Boston, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j62]Julia Belyakova
, Benjamin Chung, Ross Tate, Jan Vitek:
Decidable Subtyping of Existential Types for Julia. Proc. ACM Program. Lang. 8(PLDI): 1091-1114 (2024)- [c122]Petr Maj, Stefanie Muroya, Konrad Siek, Luca Di Grazia, Jan Vitek:
The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments. ECOOP 2024: 27:1-27:23 - [c121]Sebastián Krynski, Michal Stepánek, Filip Ríha, Filip Krikava, Jan Vitek:
Reducing Feedback Pollution. VMIL@SPLASH 2024: 65-74 - 2023
- [j61]Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek:
Reusing Just-in-Time Compiled Code. Proc. ACM Program. Lang. 7(OOPSLA2): 1176-1197 (2023) - [d7]Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek:
Artifact of "Reusing Just-in-Time Compiled Code". Zenodo, 2023
- 2022
- [c120]Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek:
Deoptless: speculation with dispatched on-stack replacement and specialized continuations. PLDI 2022: 749-761 - [c119]Alexi Turcotte, Pierre Donat-Bouillud, Filip Krikava, Jan Vitek:
signatr: A Data-Driven Fuzzing Tool for R. SLE 2022: 216-221 - [e15]Karim Ali, Jan Vitek:
36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany. LIPIcs 222, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-225-9 [contents] - [d6]Pierre Donat-Bouillud, Filip Krikava, Alexi Turcotte, Jan Vitek:
PRL-PRG/sle22-signatr-artifact. Zenodo, 2022 - [d5]Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek:
Artifact of "Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations". Version 1. Zenodo, 2022 [all versions] - [d4]Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek:
Artifact of "Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations". Version 2. Zenodo, 2022 [all versions] - [i17]Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek:
Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations. CoRR abs/2203.02340 (2022) - 2021
- [j60]Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek:
CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact). Dagstuhl Artifacts Ser. 7(2): 13:1-13:4 (2021) - [j59]Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek:
What we eval in the shadows: a large-scale study of eval in R programs. Proc. ACM Program. Lang. 5(OOPSLA): 1-23 (2021) - [j58]Aviral Goel, Jan Jecmen, Sebastián Krynski, Olivier Flückiger, Jan Vitek:
Promises are made to be broken: migrating R to strict semantics. Proc. ACM Program. Lang. 5(OOPSLA): 1-20 (2021) - [j57]Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek:
Type stability in Julia: avoiding performance pathologies in JIT compilation. Proc. ACM Program. Lang. 5(OOPSLA): 1-26 (2021) - [j56]Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek:
Formally verified speculation and deoptimization in a JIT compiler. Proc. ACM Program. Lang. 5(POPL): 1-26 (2021) - [c118]Aviral Goel, Jan Vitek:
First-class environments in R. DLS 2021: 12-22 - [c117]Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek:
CodeDJ: Reproducible Queries over Large-Scale Software Repositories. ECOOP 2021: 6:1-6:24 - [d3]Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek:
PRL-PRG/evalr-experiment: OOPSLA 2021 artifact. Zenodo, 2021 - [d2]Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek:
Why We Eval in the Shadows (Dataset). Zenodo, 2021 - [d1]Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek:
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Artifact). Zenodo, 2021 - [i16]Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek:
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version). CoRR abs/2109.01950 (2021) - 2020
- [j55]Alexi Turcotte, Aviral Goel, Filip Krikava, Jan Vitek:
Designing types for R, empirically. Proc. ACM Program. Lang. 4(OOPSLA): 181:1-181:25 (2020) - [j54]Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek:
World age in Julia: optimizing method dispatch in the presence of eval. Proc. ACM Program. Lang. 4(OOPSLA): 207:1-207:26 (2020) - [j53]Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Jecmen, Jakob Hain, Jan Vitek:
Contextual dispatch for function specialization. Proc. ACM Program. Lang. 4(OOPSLA): 220:1-220:24 (2020) - [c116]Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek:
Sampling optimized code for type feedback. DLS 2020: 99-111 - [i15]Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek:
Sampling Optimized Code for Type Feedback. CoRR abs/2010.02080 (2020) - [i14]Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek:
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version). CoRR abs/2010.07516 (2020)
2010 – 2019
- 2019
- [j52]Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek:
On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact). Dagstuhl Artifacts Ser. 5(2): 08:1-08:2 (2019) - [j51]Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek:
Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. J. Autom. Reason. 63(2): 489-515 (2019) - [j50]Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen:
How to evaluate the performance of gradual type systems. J. Funct. Program. 29: e4 (2019) - [j49]Aviral Goel, Jan Vitek:
On the design, implementation, and use of laziness in R. Proc. ACM Program. Lang. 3(OOPSLA): 153:1-153:27 (2019) - [j48]Filip Krikava, Heather Miller, Jan Vitek:
Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild. Proc. ACM Program. Lang. 3(OOPSLA): 163:1-163:28 (2019) - [j47]Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek:
Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness. ACM Trans. Embed. Comput. Syst. 17(6): 97:1-97:26 (2019) - [j46]Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen:
Feature-Specific Profiling. ACM Trans. Program. Lang. Syst. 41(1): 4:1-4:34 (2019) - [j45]Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek:
On the Impact of Programming Languages on Code Quality: A Reproduction Study. ACM Trans. Program. Lang. Syst. 41(4): 21:1-21:24 (2019) - [c115]Olivier Flückiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek:
R melts brains: an IR for first-class environments and lazy effectful arguments. DLS 2019: 55-66 - [c114]Alexi Turcotte, Jan Vitek:
Towards a Type System for R. ICOOOLPS@ECOOP 2019: 4:1-4:5 - [c113]Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek:
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). ECOOP 2019: 24:1-24:15 - [i13]Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek:
On the Impact of Programming Languages on Code Quality. CoRR abs/1901.10220 (2019) - [i12]Olivier Flückiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek:
R Melts Brains - An IR for First-Class Environments and Lazy Effectful Arguments. CoRR abs/1907.05118 (2019) - [i11]Filip Krikava, Heather Miller, Jan Vitek:
Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild. CoRR abs/1908.07883 (2019) - [i10]Aviral Goel, Jan Vitek:
On the Design, Implementation, and Use of Laziness in R. CoRR abs/1909.08958 (2019) - [i9]Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek:
Precise Dataflow Analysis of Event-Driven Applications. CoRR abs/1910.12935 (2019) - [i8]Emery D. Berger, Petr Maj, Olga Vitek, Jan Vitek:
FSE/CACM Rebuttal2: Correcting A Large-Scale Study of Programming Languages and Code Quality in GitHub. CoRR abs/1911.11894 (2019) - 2018
- [j44]Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek:
KafKa: Gradual Typing for Objects (Artifact). Dagstuhl Artifacts Ser. 4(3): 10:1-10:3 (2018) - [j43]Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek:
Julia subtyping: a rational reconstruction. Proc. ACM Program. Lang. 2(OOPSLA): 113:1-113:27 (2018) - [j42]Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky:
Julia: dynamism and performance reconciled by design. Proc. ACM Program. Lang. 2(OOPSLA): 120:1-120:23 (2018) - [j41]Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek:
Correctness of speculative optimizations with dynamic deoptimization. Proc. ACM Program. Lang. 2(POPL): 49:1-49:28 (2018) - [c112]Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger:
Self-contained development environments. DLS 2018: 76-87 - [c111]Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek:
KafKa: Gradual Typing for Objects. ECOOP 2018: 12:1-12:24 - [c110]Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad:
Correctness of a Concurrent Object Collector for Actor Languages. ESOP 2018: 885-911 - [c109]Benjamin Chung, Jan Vitek:
Monotonic gradual typing in a common calculus. ISSTA/ECOOP Workshops 2018: 17-23 - [c108]Filip Krikava, Jan Vitek:
Tests from traces: automated unit test extraction for R. ISSTA 2018: 232-241 - [i7]Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen:
Feature-Specific Profiling. CoRR abs/1809.04151 (2018) - 2017
- [j40]Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman:
Parallelizing Julia with a Non-Invasive DSL (Artifact). Dagstuhl Artifacts Ser. 3(2): 07:1-07:2 (2017) - [j39]Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek:
Orca: GC and type system co-design for actor languages. Proc. ACM Program. Lang. 1(OOPSLA): 72:1-72:28 (2017) - [j38]Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek:
DéjàVu: a map of code duplicates on GitHub. Proc. ACM Program. Lang. 1(OOPSLA): 84:1-84:28 (2017) - [c107]Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman:
Parallelizing Julia with a Non-Invasive DSL. ECOOP 2017: 4:1-4:29 - [c106]Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek:
Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. ITP 2017: 496-513 - [c105]Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek:
Making Android Run on Time. RTAS 2017: 25-36 - [i6]Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek:
Correctness of Speculative Optimizations with Dynamic Deoptimization. CoRR abs/1711.03050 (2017) - 2016
- [c104]Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen:
Is sound gradual typing dead? POPL 2016: 456-468 - [i5]Daniel Delling, Camil Demetrescu, David S. Johnson, Jan Vitek:
Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111). Dagstuhl Reports 6(3): 24-43 (2016) - 2015
- [j37]Shriram Krishnamurthi, Jan Vitek:
The real software crisis: repeatability as a core value. Commun. ACM 58(3): 34-36 (2015) - [c103]Gregor Richards, Francesco Zappa Nardelli, Jan Vitek:
Concrete Types for TypeScript. ECOOP 2015: 76-100 - [c102]Gustavo Petri, Jan Vitek, Suresh Jagannathan:
Cooking the Books: Formalizing JMM Implementation Recipes. ECOOP 2015: 445-469 - [e14]Jan Vitek:
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. Lecture Notes in Computer Science 9032, Springer 2015, ISBN 978-3-662-46668-1 [contents] - [e13]Laurie J. Hendren, Hidehiko Masuhara, Mary Sheeran, Jan Vitek:
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. ACM 2015, ISBN 978-1-4503-3584-3 [contents] - [i4]Jan Vitek:
Repeatability, reproducibility and rigor in CS research. PLMW@POPL 2015: 12:1 - 2014
- [j36]Jan Vitek:
SIGPLAN chair's report. ACM SIGPLAN Notices 49(4S): 1 (2014) - [j35]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:
Practices of PLDI. ACM SIGPLAN Notices 49(4S): 33-38 (2014) - [j34]Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek:
Atomicity Refinement for Verified Compilation. ACM Trans. Program. Lang. Syst. 36(2): 6:1-6:30 (2014) - [c101]David Terei, Alex Aiken, Jan Vitek:
M3: high-performance memory management from off-the-shelf components. ISMM 2014: 3-13 - [c100]Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte:
Atomicity refinement for verified compilation. PLDI 2014: 27 - [c99]Tomas Kalibera, Petr Maj, Floréal Morandat, Jan Vitek:
A fast abstract syntax tree interpreter for R. VEE 2014: 89-102 - [c98]Jan Vitek:
The case for the three R's of systems research: repeatability, reproducibility and rigor. VEE 2014: 115-116 - [e12]Laurie J. Hendren, Alex Rubinsteyn, Mary Sheeran, Jan Vitek:
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. ACM 2014, ISBN 978-1-4503-2937-8 [contents] - 2013
- [j33]Fadi Meawad, Karthik Iyer, Martin Schoeberl, Jan Vitek:
Micro-transactions for concurrent data structures. Concurr. Comput. Pract. Exp. 25(16): 2252-2268 (2013) - [j32]Jan Vitek:
Changing of the Guard. J. Object Technol. 12(2) (2013) - [j31]Jan Vitek:
SIGPLAN chair's report. ACM SIGPLAN Notices 48(4S): 1-2 (2013) - [j30]Bjorn De Sutter, Jan Vitek:
Introduction to the special section on LCTES'11. ACM Trans. Embed. Comput. Syst. 12(1s): 38:1 (2013) - [c97]Jan Vitek:
History-based security for JavaScript. ICOOOLPS@ECOOP 2013: 16 - [c96]Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek:
Detecting deadlock in programs with data-centric synchronization. ICSE 2013: 322-331 - [c95]Shriram Krishnamurthi, James Noble, Jan Vitek:
Should software conferences respect software? SPLASH (Companion Volume) 2013: 71-72 - [c94]Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek:
Flexible access control for javascript. OOPSLA 2013: 305-322 - [c93]Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek:
Terra: a multi-stage language for high-performance computing. PLDI 2013: 105-116 - [c92]Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek:
Plan B: a buffered memory model for Java. POPL 2013: 329-342 - 2012
- [j29]Jan Vitek, Tomas Kalibera:
Introduction to the Special Issue on Java Technologies for Real-Time and Embedded Systems. Concurr. Comput. Pract. Exp. 24(8): 751-752 (2012) - [j28]Jan Vitek, Tomas Kalibera:
R3: repeatability, reproducibility and rigor. ACM SIGPLAN Notices 47(4a): 30-36 (2012) - [j27]Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek:
A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34(1): 4:1-4:48 (2012) - [c91]Adnan Bouakaz, Jean-Pierre Talpin, Jan Vitek:
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications. ACSD 2012: 183-192 - [c90]Jan Vitek:
Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection. APLAS 2012: 1 - [c89]Floréal Morandat, Brandon Hill, Leo Osvald, Jan Vitek:
Evaluating the Design of the R Language - Objects and Functions for Data Analysis. ECOOP 2012: 104-131 - [c88]Tomas Kalibera, Matthew Mole, Richard E. Jones, Jan Vitek:
A black-box approach to understanding concurrency in DaCapo. OOPSLA 2012: 335-354 - [c87]Fadi Meawad, Gregor Richards, Floréal Morandat, Jan Vitek:
Eval begone!: semi-automated removal of eval from javascript programs. OOPSLA 2012: 607-620 - [e11]Jan Vitek, Haibo Lin, Frank Tip:
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. ACM 2012, ISBN 978-1-4503-1205-9 [contents] - [i3]Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek:
Foundations for Scripting Languages (Dagstuhl Seminar 12011). Dagstuhl Reports 2(1): 1-18 (2012) - 2011
- [j26]Tomas Kalibera, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben L. Titzer, Jan Vitek:
A family of real-time Java benchmarks. Concurr. Comput. Pract. Exp. 23(14): 1679-1700 (2011) - [j25]Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek:
Scheduling real-time garbage collection on uniprocessors. ACM Trans. Comput. Syst. 29(3): 8:1-8:29 (2011) - [c86]Jan Vitek:
Virtualizing real-time embedded systems with Java. DAC 2011: 906-911 - [c85]Gregor Richards, Christian Hammer, Brian Burg, Jan Vitek:
The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. ECOOP 2011: 52-78 - [c84]Jan Vitek, Tomas Kalibera:
Repeatability, reproducibility, and rigor in systems research. EMSOFT 2011: 33-38 - [c83]Fadi Meawad, Martin Schoeberl, Karthik Iyer, Jan Vitek:
Real-time wait-free queues using micro-transactions. JTRES 2011: 1-10 - [c82]Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek:
Automated construction of JavaScript benchmarks. OOPSLA 2011: 677-694 - [c81]Ana L. Milanova, Jan Vitek:
Static Dominance Inference. TOOLS (49) 2011: 211-227 - [e10]Jan Vitek, Bjorn De Sutter:
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. ACM 2011, ISBN 978-1-4503-0555-6 [contents] - 2010
- [j24]Jan Vitek:
Conference Report: TOOLS'10. J. Object Technol. 9(5) (2010) - [j23]Jesper Honig Spring, Filip Pizlo, Jean Privat, Rachid Guerraoui, Jan Vitek:
Reflexes: Abstractions for integrating highly responsive tasks into Java applications. ACM Trans. Embed. Comput. Syst. 10(1): 4:1-4:29 (2010) - [c80]Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek:
A Type System for Data-Centric Synchronization. ECOOP 2010: 304-328 - [c79]Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek:
High-level programming of embedded hard real-time devices. EuroSys 2010: 69-82 - [c78]Ales Plsek, Lei Zhao, Veysel Harun Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek:
Developing safety critical Java applications with oSCJ/L0. JTRES 2010: 95-101 - [c77]Daniel Tang, Ales Plsek, Jan Vitek:
Static checking of safety critical Java annotations. JTRES 2010: 148-154 - [c76]Gregor Richards, Sylvain Lebresne, Brian Burg, Jan Vitek:
An analysis of the dynamic behavior of JavaScript programs. PLDI 2010: 1-12 - [c75]Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek:
Schism: fragmentation-tolerant real-time garbage collection. PLDI 2010: 146-159 - [c74]Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek:
Challenge benchmarks for verification of real-time programs. PLPV 2010: 57-62 - [c73]Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek:
Integrating typed and untyped code in a scripting language. POPL 2010: 377-388 - [c72]Martin Schoeberl, Florian Brandner, Jan Vitek:
RTTM: real-time transactional memory. SAC 2010: 326-333 - [c71]Nicholas Kidd, Suresh Jagannathan, Jan Vitek:
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. SPIN 2010: 245-261 - [e9]Jan Vitek, Doug Lea:
Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010. ACM 2010, ISBN 978-1-4503-0054-4 [contents] - [e8]Tomas Kalibera, Jan Vitek:
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. ACM International Conference Proceeding Series, ACM 2010, ISBN 978-1-4503-0122-0 [contents] - [e7]Jan Vitek:
Objects, Models, Components, Patterns, 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010. Proceedings. Lecture Notes in Computer Science 6141, Springer 2010, ISBN 978-3-642-13952-9 [contents]
2000 – 2009
- 2009
- [j22]Jason Baker, Antonio Cunei, Tomas Kalibera, Filip Pizlo, Jan Vitek:
Accurate garbage collection in uncooperative environments revisited. Concurr. Comput. Pract. Exp. 21(12): 1572-1606 (2009) - [j21]Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek:
Challenge benchmarks for verification of real-time programs: (abstract only). ACM SIGPLAN Notices 44(11): 7-8 (2009) - [j20]Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek:
Preface. Theor. Comput. Sci. 410(2-3): 113 (2009) - [c70]Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek:
High-Performance Transactional Event Processing. COORDINATION 2009: 27-46 - [c69]Jan Vitek:
Of scripts and programs: tall tales, urban legends, and future prospects. DLS 2009: 1-2 - [c68]Sylvain Lebresne, Gregor Richards, Johan Östlund, Tobias Wrigstad, Jan Vitek:
Understanding the dynamics of JavaScript. STOP@ECOOP 2009: 30-33 - [c67]Tobias Wrigstad, Patrick Eugster, John Field, Nate Nystrom, Jan Vitek:
Software hardening: a research agenda. STOP@ECOOP 2009: 58-70 - [c66]Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek:
Loci: Simple Thread-Locality for Java. ECOOP 2009: 445-469 - [c65]Jan Vitek:
Introduction to: The Myths of Object-Orientation. ECOOP 2009: 618 - [c64]Tomas Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben L. Titzer, Jan Vitek:
CDx: a family of real-time Java benchmarks. JTRES 2009: 41-50 - [c63]Filip Pizlo, Lukasz Ziarek, Jan Vitek:
Real time Java on resource-constrained platforms with Fiji VM. JTRES 2009: 110-119 - [c62]Lei Zhao, Daniel Tang, Jan Vitek:
A technology compatibility kit for safety critical Java. JTRES 2009: 160-168 - [c61]Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad:
Thorn: robust, concurrent, extensible scripting on the JVM. OOPSLA 2009: 117-136 - [c60]Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad:
Thorn: robust concurrent scripting on the JVM. OOPSLA Companion 2009: 789-790 - [c59]Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek:
Scheduling Hard Real-Time Garbage Collection. RTSS 2009: 81-92 - [c58]Jan Vitek:
Programming Models for Concurrency and Real-Time. TOOLS (47) 2009: 17 - [e6]Tobias Wrigstad, Nate Nystrom, Jan Vitek:
Proceedings for the 1st workshop on Script to Program Evolution, STOP '09, Genova, Italy, July 6, 2009. ACM 2009, ISBN 978-1-60558-543-7 [contents] - [r1]Niranjan Suri, Jan Vitek:
Mobile Agents. Encyclopedia of Complexity and Systems Science 2009: 5604-5618 - 2008
- [j19]Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek:
Implicit ownership types for memory management. Sci. Comput. Program. 71(3): 213-241 (2008) - [j18]Antonio Cunei, Jan Vitek:
An efficient and flexible toolkit for composing customized method dispatchers. Softw. Pract. Exp. 38(1): 33-73 (2008) - [c57]Filip Pizlo, Jan Vitek:
Memory Management for Real-Time Java: State of the Art. ISORC 2008: 248-254 - [c56]Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek:
Flexible task graphs: a unified restricted thread programming model for java. LCTES 2008: 1-11 - [c55]Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek:
Matchete: Paths through the Pattern Matching Jungle. PADL 2008: 150-166 - [e5]Jan Vitek:
ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings. Lecture Notes in Computer Science 5142, Springer 2008, ISBN 978-3-540-70591-8 [contents] - 2007
- [j17]Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao:
Scoped types and aspects for real-time Java memory management. Real Time Syst. 37(1): 1-44 (2007) - [j16]Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek:
A real-time Java virtual machine with applications in avionics. ACM Trans. Embed. Comput. Syst. 7(1): 5:1-5:49 (2007) - [j15]Christian Grothoff, Jens Palsberg, Jan Vitek:
Encapsulating objects with confined types. ACM Trans. Program. Lang. Syst. 29(6): 32 (2007) - [c54]Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek:
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. CC 2007: 64-79 - [c53]Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek:
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ECOOP Workshops 2007: 50-64 - [c52]Rachid Guerraoui, Michal Kapalka, Jan Vitek:
STMBench7: a benchmark for software transactional memory. EuroSys 2007: 315-324 - [c51]Martin Schoeberl, Jan Vitek:
Garbage collection for safety critical Java. JTRES 2007: 85-93 - [c50]Filip Pizlo, Antony L. Hosking, Jan Vitek:
Hierarchical real-time garbage collection. LCTES 2007: 123-133 - [c49]Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek:
Streamflex: high-throughput stream programming in java. OOPSLA 2007: 211-228 - [c48]Jesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek:
Reflexes: abstractions for highly responsive systems. VEE 2007: 191-201 - [e4]Amy L. Murphy, Jan Vitek:
Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science 4467, Springer 2007, ISBN 978-3-540-72793-4 [contents] - [i2]Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra:
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06. CoRR abs/0710.2887 (2007) - [i1]Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek:
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07. CoRR abs/0712.1189 (2007) - 2006
- [j14]Tian Zhao, Jens Palsberg, Jan Vitek:
Type-based confinement. J. Funct. Program. 16(1): 83-128 (2006) - [j13]Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar:
Redundancy and coverage detection in sensor networks. ACM Trans. Sens. Networks 2(1): 94-128 (2006) - [c47]Hiroshi Yamauchi, Jan Vitek:
Combining Offline and Online Optimizations: Register Allocation and Method Inlining. APLAS 2006: 307-322 - [c46]Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao:
Scoped Types and Aspects for Real-Time Java. ECOOP 2006: 124-147 - [c45]Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra:
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ECOOP Workshops 2006: 1-14 - [c44]Jeremy Manson, Jan Vitek, Suresh Jagannathan:
Dynamic aspects for runtime fault determination and recovery. IPDPS 2006 - [c43]Jason Baker, Antonio Cunei, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbruster, Edward Pla, David Holmes:
A Real-time Java Virtual Machine for Avionics - An Experience Report. IEEE Real Time Technology and Applications Symposium 2006: 384-396 - [c42]Filip Pizlo, Jan Vitek:
An Emprical Evaluation of Memory Management Alternatives for Real-Time Java. RTSS 2006: 35-46 - [c41]Antonio Cunei, Jan Vitek:
A new approach to real-time checkpointing. VEE 2006: 68-77 - 2005
- [j12]Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli:
The Seal Calculus. Inf. Comput. 201(1): 1-54 (2005) - [j11]Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking:
A transactional object calculus. Sci. Comput. Program. 57(2): 164-186 (2005) - [j10]Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek:
Engineering a common intermediate representation for the Ovm framework. Sci. Comput. Program. 57(3): 357-378 (2005) - [j9]Mark Moir, Nir Shavit, Jan Vitek:
Concurrency and synchronization in Java programs. Sci. Comput. Program. 58(3): 291-292 (2005) - [j8]Marek Prochazka, Andrey Madan, Jan Vitek, Wenchang Liu:
RTJBench: A Real-Time Java Benchmarking Framework. Stud. Inform. Univ. 4(1): 73-82 (2005) - [c40]Olga Vitek, Chris Bailey-Kellogg, Bruce A. Craig, Paul Kuliniewicz, Jan Vitek:
Reconsidering complete search algorithms for protein backbone NMR assignment. ECCB/JBI 2005: 236 - [c39]Antonio Cunei, Jan Vitek:
PolyD: a flexible dispatching framework. OOPSLA 2005: 487-503 - [c38]Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek:
Preemptible Atomic Regions for Real-Time Java. RTSS 2005: 62-71 - [c37]Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek:
Efficient Intrusion Detection using Automaton Inlining. S&P 2005: 18-31 - [e3]Michael Hind, Jan Vitek:
Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005. ACM 2005, ISBN 1-59593-047-7 [contents] - 2004
- [j7]Bogdan Carbunar, Marco Túlio de Oliveira Valente, Jan Vitek:
Coordination and mobility in CoreLime. Math. Struct. Comput. Sci. 14(3): 397-419 (2004) - [c36]Suresh Jagannathan, Jan Vitek:
Optimistic Concurrency Semantics for Transactions in Coordination Languages. COORDINATION 2004: 183-198 - [c35]Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking:
A Semantic Framework for Designer Transactions. ESOP 2004: 249-263 - [c34]Bogdan Carbunar, Ioannis Ioannidis, Ananth Grama, Jan Vitek:
A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks. ICETE (3) 2004: 142-149 - [c33]Bogdan Carbunar, Ananth Grama, Jan Vitek:
Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks. ICPADS 2004: 549- - [c32]Bogdan Carbunar, Ananth Grama, Jan Vitek:
A public key algorithm for ad-hoc networks. IPCCC 2004: 319-320 - [c31]Filip Pizlo, J. M. Fox, David Holmes, Jan Vitek:
Real-Time Java Scoped Memory: Design Patterns and Semantics. ISORC 2004: 101-110 - [c30]Tian Zhao, James Noble, Jan Vitek:
Scoped Types for Real-Time Java. RTSS 2004: 241-251 - [c29]Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar:
Coverage preserving redundancy elimination in sensor networks. SECON 2004: 377-386 - 2003
- [j6]Peter Sewell, Jan Vitek:
Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality. J. Comput. Secur. 11(2): 135-188 (2003) - [j5]Jan Vitek, Ciarán Bryce, Manuel Oriol:
Coordinating processes with secure spaces. Sci. Comput. Program. 46(1-2): 163-193 (2003) - [c28]Tom Chothia, Dominic Duggan, Jan Vitek:
Type-Based Distributed Access Control. CSFW 2003: 170- - [c27]Krzysztof Palacz, Jan Vitek:
Java Subtype Tests in Real-Time. ECOOP 2003: 378-404 - [c26]Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek:
Engineering a customizable intermediate representation. IVME 2003: 67-76 - [c25]Tian Zhao, Jens Palsberg, Jan Vitek:
Lightweight confinement for featherweight Java. OOPSLA 2003: 135-148 - 2002
- [c24]Grzegorz Czajkowski, Jan Vitek:
Resource Management for Safe Languages. ECOOP Workshops 2002: 1-14 - [c23]Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Daynès:
Incommunicado: efficient communication for isolates. OOPSLA 2002: 262-274 - 2001
- [j4]Ciarán Bryce, Jan Vitek:
The JavaSeal Mobile Agent Kernel. Auton. Agents Multi Agent Syst. 4(4): 359-384 (2001) - [j3]Jan Vitek, Boris Bokowski:
Confined types in Java. Softw. Pract. Exp. 31(6): 507-532 (2001) - [c22]Bogdan Carbunar, Marco Túlio de Oliveira Valente, Jan Vitek:
Lime Revisited. Mobile Agents 2001: 54-69 - [c21]Christian Grothoff, Jens Palsberg, Jan Vitek:
Encapsulating Objects with Confined Types. OOPSLA 2001: 241-253 - [c20]Bogdan Carbunar, Marco Túlio de Oliveira Valente, Jan Vitek:
CoreLime: A Coordination Model for Mobile Agents. ConCoord 2001: 17-34 - 2000
- [c19]Peter Sewell, Jan Vitek:
Secure Composition of Untrusted Code: Wrappers and Causality Types. CSFW 2000: 269-284
1990 – 1999
- 1999
- [c18]Ciarán Bryce, Manuel Oriol, Jan Vitek:
A Coordination Model Agents Based on Secure Spaces. COORDINATION 1999: 4-20 - [c17]Peter Sewell, Jan Vitek:
Secure Composition of Insecure Components. CSFW 1999: 136-150 - [c16]James Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida:
Aliasing in Object Oriented Systems. ECOOP Workshops 1999: 136-163 - [c15]Ciarán Bryce, Jan Vitek:
The JavaSeal Mobile Agent Kernel. ASA/MA 1999: 103-117 - [c14]Jan Vitek, Boris Bokowski:
Confined Types. OOPSLA 1999: 82-96 - [e2]Jan Vitek, Christian Damsgaard Jensen:
Secure Internet Programming, Security Issues for Mobile and Distributed Objects. Lecture Notes in Computer Science 1603, Springer 1999, ISBN 3-540-66130-1 [contents] - 1998
- [j2]Paolo Ciancarini, Robert Tolksdorf, Jan Vitek:
Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface. World Wide Web 1(3): 109 (1998) - [c13]Quetzalcoatl Bradley, R. Nigel Horspool, Jan Vitek:
JAZZ: an efficient compressed format for Java archive files. CASCON 1998: 7 - [c12]James Noble, Jan Vitek, John Potter:
Flexible Alias Protection. ECOOP 1998: 158-185 - [c11]Ciarán Bryce, Leila Ismail, Jan Vitek:
4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations. ECOOP Workshops 1998: 288-290 - [c10]Jan Vitek, Giuseppe Castagna:
Seal: A Framework for Secure Mobile Computations. ICCL Workshop: Internet Programming Languages 1998: 47-77 - 1997
- [c9]Andreas Krall, Jan Vitek, R. Nigel Horspool:
Near Optimal Hierarchical Encoding of Types. ECOOP 1997: 128-145 - [c8]Andreas Krall, Jan Vitek:
On Extending Java. JMLC 1997: 321-335 - [c7]Jan Vitek, R. Nigel Horspool, Andreas Krall:
Efficient Type Inclusion Tests. OOPSLA 1997: 142-157 - [e1]Jan Vitek, Christian F. Tschudin:
Mobile Object Systems - Towards the Programmable Internet, Second International Workshop, MOS'96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers. Lecture Notes in Computer Science 1222, Springer 1997, ISBN 3-540-62852-5 [contents] - 1996
- [c6]Jan Vitek, R. Nigel Horspool:
Compact Dispatch Tables for Dynamically Typed Object Oriented Languages. CC 1996: 309-325 - [c5]Jan Vitek, Manuel Serrano, Dimitri Thanos:
Security and Communication in Mobile Object Systems. Mobile Object Systems 1996: 177-200 - 1995
- [c4]Karel Driesen, Urs Hölzle, Jan Vitek:
Message Dispatch on Pipelined Processors. ECOOP 1995: 253-282 - 1994
- [c3]Jan Vitek, R. Nigel Horspool:
Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages. ECOOP 1994: 432-449 - 1993
- [j1]R. Nigel Horspool, Jan Vitek:
Static Analysis of PostScript Code. Comput. Lang. 19(2): 65-78 (1993) - 1992
- [c2]Jan Vitek, R. Nigel Horspool, James S. Uhl:
Compile-Time Analysis of Object-Oriented Programs. CC 1992: 236-250 - [c1]R. Nigel Horspool, Jan Vitek:
Static analysis of PostScript code. ICCL 1992: 14-23
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-03 01:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
