Stop the war!Остановите войну!
for scientists:
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
- 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] - [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 - [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 H. 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: