Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jan Vitek
@article{DBLP:journals/pacmpl/MehtaKGTV23,
author = {Meetesh Kalpesh Mehta and
Sebasti{\'{a}}n Krynski and
Hugo Musso Gualandi and
Manas Thakur and
Jan Vitek},
title = {Reusing Just-in-Time Compiled Code},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1176--1197},
year = {2023},
url = {https://doi.org/10.1145/3622839},
doi = {10.1145/3622839},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MehtaKGTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FluckigerJKV22,
author = {Olivier Fl{\"{u}}ckiger and
Jan Jecmen and
Sebasti{\'{a}}n Krynski and
Jan Vitek},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Deoptless: speculation with dispatched on-stack replacement and specialized
continuations},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {749--761},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523729},
doi = {10.1145/3519939.3523729},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FluckigerJKV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/TurcotteDKV22,
author = {Alexi Turcotte and
Pierre Donat{-}Bouillud and
Filip Krikava and
Jan Vitek},
editor = {Bernd Fischer and
Lola Burgue{\~{n}}o and
Walter Cazzola},
title = {signatr: {A} Data-Driven Fuzzing Tool for {R}},
booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2022, Auckland, New Zealand,
December 6-7, 2022},
pages = {216--221},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3567512.3567530},
doi = {10.1145/3567512.3567530},
timestamp = {Fri, 02 Dec 2022 18:01:54 +0100},
biburl = {https://dblp.org/rec/conf/sle/TurcotteDKV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2022,
editor = {Karim Ali and
Jan Vitek},
title = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-225-9},
isbn = {978-3-95977-225-9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-02340,
author = {Olivier Fl{\"{u}}ckiger and
Jan Jecmen and
Sebasti{\'{a}}n Krynski and
Jan Vitek},
title = {Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized
Continuations},
journal = {CoRR},
volume = {abs/2203.02340},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.02340},
doi = {10.48550/ARXIV.2203.02340},
eprinttype = {arXiv},
eprint = {2203.02340},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-02340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MajSKV21,
author = {Petr Maj and
Konrad Siek and
Alexander Kovalenko and
Jan Vitek},
title = {CodeDJ: Reproducible Queries over Large-Scale Software Repositories
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {13:1--13:4},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.13},
doi = {10.4230/DARTS.7.2.13},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MajSKV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GoelDKKV21,
author = {Aviral Goel and
Pierre Donat{-}Bouillud and
Filip Krikava and
Christoph M. Kirsch and
Jan Vitek},
title = {What we eval in the shadows: a large-scale study of eval in {R} programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--23},
year = {2021},
url = {https://doi.org/10.1145/3485502},
doi = {10.1145/3485502},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GoelDKKV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GoelJKFV21,
author = {Aviral Goel and
Jan Jecmen and
Sebasti{\'{a}}n Krynski and
Olivier Fl{\"{u}}ckiger and
Jan Vitek},
title = {Promises are made to be broken: migrating {R} to strict semantics},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--20},
year = {2021},
url = {https://doi.org/10.1145/3485478},
doi = {10.1145/3485478},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GoelJKFV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PelenitsynBCTV21,
author = {Artem Pelenitsyn and
Julia Belyakova and
Benjamin Chung and
Ross Tate and
Jan Vitek},
title = {Type stability in Julia: avoiding performance pathologies in {JIT}
compilation},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--26},
year = {2021},
url = {https://doi.org/10.1145/3485527},
doi = {10.1145/3485527},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PelenitsynBCTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BarriereBFPV21,
author = {Aur{\`{e}}le Barri{\`{e}}re and
Sandrine Blazy and
Olivier Fl{\"{u}}ckiger and
David Pichardie and
Jan Vitek},
title = {Formally verified speculation and deoptimization in a {JIT} compiler},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--26},
year = {2021},
url = {https://doi.org/10.1145/3434327},
doi = {10.1145/3434327},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BarriereBFPV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/GoelV21,
author = {Aviral Goel and
Jan Vitek},
editor = {Arjun Guha},
title = {First-class environments in {R}},
booktitle = {{DLS} 2021: Proceedings of the 17th {ACM} {SIGPLAN} International
Symposium on Dynamic Languages, Virtual Event / Chicago, IL, USA,
October 19, 2021},
pages = {12--22},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486602.3486768},
doi = {10.1145/3486602.3486768},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dls/GoelV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MajSKV21,
author = {Petr Maj and
Konrad Siek and
Alexander Kovalenko and
Jan Vitek},
editor = {Anders M{\o}ller and
Manu Sridharan},
title = {CodeDJ: Reproducible Queries over Large-Scale Software Repositories},
booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021,
July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
series = {LIPIcs},
volume = {194},
pages = {6:1--6:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.6},
doi = {10.4230/LIPICS.ECOOP.2021.6},
timestamp = {Tue, 06 Jul 2021 13:59:11 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MajSKV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-01950,
author = {Artem Pelenitsyn and
Julia Belyakova and
Benjamin Chung and
Ross Tate and
Jan Vitek},
title = {Type Stability in Julia: Avoiding Performance Pathologies in {JIT}
Compilation (Extended Version)},
journal = {CoRR},
volume = {abs/2109.01950},
year = {2021},
url = {https://arxiv.org/abs/2109.01950},
eprinttype = {arXiv},
eprint = {2109.01950},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-01950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/TurcotteGKV20,
author = {Alexi Turcotte and
Aviral Goel and
Filip Krikava and
Jan Vitek},
title = {Designing types for R, empirically},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {181:1--181:25},
year = {2020},
url = {https://doi.org/10.1145/3428249},
doi = {10.1145/3428249},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/TurcotteGKV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BelyakovaCGNTV20,
author = {Julia Belyakova and
Benjamin Chung and
Jack Gelinas and
Jameson Nash and
Ross Tate and
Jan Vitek},
title = {World age in Julia: optimizing method dispatch in the presence of
eval},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {207:1--207:26},
year = {2020},
url = {https://doi.org/10.1145/3428275},
doi = {10.1145/3428275},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BelyakovaCGNTV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FluckigerCYJHV20,
author = {Olivier Fl{\"{u}}ckiger and
Guido Chari and
Ming{-}Ho Yee and
Jan Jecmen and
Jakob Hain and
Jan Vitek},
title = {Contextual dispatch for function specialization},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {220:1--220:24},
year = {2020},
url = {https://doi.org/10.1145/3428288},
doi = {10.1145/3428288},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/FluckigerCYJHV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/FluckigerWKV20,
author = {Olivier Fl{\"{u}}ckiger and
Andreas W{\"{a}}lchli and
Sebasti{\'{a}}n Krynski and
Jan Vitek},
editor = {Matthew Flat},
title = {Sampling optimized code for type feedback},
booktitle = {{DLS} 2020: Proceedings of the 16th {ACM} {SIGPLAN} International
Symposium on Dynamic Languages, Virtual Event, USA, November 17, 2020},
pages = {99--111},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426422.3426984},
doi = {10.1145/3426422.3426984},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dls/FluckigerWKV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-02080,
author = {Olivier Fl{\"{u}}ckiger and
Andreas W{\"{a}}lchli and
Sebasti{\'{a}}n Krynski and
Jan Vitek},
title = {Sampling Optimized Code for Type Feedback},
journal = {CoRR},
volume = {abs/2010.02080},
year = {2020},
url = {https://arxiv.org/abs/2010.02080},
eprinttype = {arXiv},
eprint = {2010.02080},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-02080.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-07516,
author = {Julia Belyakova and
Benjamin Chung and
Jack Gelinas and
Jameson Nash and
Ross Tate and
Jan Vitek},
title = {World Age in Julia: Optimizing Method Dispatch in the Presence of
Eval (Extended Version)},
journal = {CoRR},
volume = {abs/2010.07516},
year = {2020},
url = {https://arxiv.org/abs/2010.07516},
eprinttype = {arXiv},
eprint = {2010.07516},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-07516.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ChungNV19,
author = {Benjamin Chung and
Francesco Zappa Nardelli and
Jan Vitek},
title = {On Julia's Efficient Algorithm for Subtyping Union Types and Covariant
Tuples (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {08:1--08:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.8},
doi = {10.4230/DARTS.5.2.8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ChungNV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ZakowskiCDPPJV19,
author = {Yannick Zakowski and
David Cachera and
Delphine Demange and
Gustavo Petri and
David Pichardie and
Suresh Jagannathan and
Jan Vitek},
title = {Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology},
journal = {J. Autom. Reason.},
volume = {63},
number = {2},
pages = {489--515},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9489-x},
doi = {10.1007/S10817-018-9489-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ZakowskiCDPPJV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GreenmanTNFFVF19,
author = {Ben Greenman and
Asumu Takikawa and
Max S. New and
Daniel Feltey and
Robert Bruce Findler and
Jan Vitek and
Matthias Felleisen},
title = {How to evaluate the performance of gradual type systems},
journal = {J. Funct. Program.},
volume = {29},
pages = {e4},
year = {2019},
url = {https://doi.org/10.1017/S0956796818000217},
doi = {10.1017/S0956796818000217},
timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GreenmanTNFFVF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GoelV19,
author = {Aviral Goel and
Jan Vitek},
title = {On the design, implementation, and use of laziness in {R}},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {153:1--153:27},
year = {2019},
url = {https://doi.org/10.1145/3360579},
doi = {10.1145/3360579},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/GoelV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KrikavaMV19,
author = {Filip Krikava and
Heather Miller and
Jan Vitek},
title = {Scala implicits are everywhere: a large-scale study of the use of
Scala implicits in the wild},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {163:1--163:28},
year = {2019},
url = {https://doi.org/10.1145/3360589},
doi = {10.1145/3360589},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KrikavaMV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/YanGDKZV19,
author = {Yin Yan and
Girish Gokul and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek and
Jan Vitek},
title = {Can Android Run on Time? Extending and Measuring the Android Platform's
Timeliness},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {17},
number = {6},
pages = {97:1--97:26},
year = {2019},
url = {https://doi.org/10.1145/3289257},
doi = {10.1145/3289257},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/YanGDKZV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AndersenSVF19,
author = {Leif Andersen and
Vincent St{-}Amour and
Jan Vitek and
Matthias Felleisen},
title = {Feature-Specific Profiling},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {41},
number = {1},
pages = {4:1--4:34},
year = {2019},
url = {https://doi.org/10.1145/3275519},
doi = {10.1145/3275519},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AndersenSVF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BergerHMVV19,
author = {Emery D. Berger and
Celeste Hollenbeck and
Petr Maj and
Olga Vitek and
Jan Vitek},
title = {On the Impact of Programming Languages on Code Quality: {A} Reproduction
Study},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {41},
number = {4},
pages = {21:1--21:24},
year = {2019},
url = {https://doi.org/10.1145/3340571},
doi = {10.1145/3340571},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BergerHMVV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/FluckigerCJYHV19,
author = {Olivier Fl{\"{u}}ckiger and
Guido Chari and
Jan Jecmen and
Ming{-}Ho Yee and
Jakob Hain and
Jan Vitek},
editor = {Stefan Marr and
Juan Fumero},
title = {R melts brains: an {IR} for first-class environments and lazy effectful
arguments},
booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} International Symposium on
Dynamic Languages, {DLS} 2019, Athens, Greece, October 20, 2019},
pages = {55--66},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359619.3359744},
doi = {10.1145/3359619.3359744},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dls/FluckigerCJYHV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/TurcotteV19,
author = {Alexi Turcotte and
Jan Vitek},
title = {Towards a Type System for {R}},
booktitle = {{ICOOOLPS} '19: Proceedings of the 14th Workshop on Implementation,
Compilation, Optimization of Object-Oriented Languages, Programs and
Systems, London, UK, 19 July 2019},
pages = {4:1--4:5},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340670.3342426},
doi = {10.1145/3340670.3342426},
timestamp = {Wed, 02 Feb 2022 17:09:38 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/TurcotteV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ChungNV19,
author = {Benjamin Chung and
Francesco Zappa Nardelli and
Jan Vitek},
editor = {Alastair F. Donaldson},
title = {Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples
(Pearl)},
booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
July 15-19, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {134},
pages = {24:1--24:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.24},
doi = {10.4230/LIPICS.ECOOP.2019.24},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ChungNV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-10220,
author = {Emery D. Berger and
Celeste Hollenbeck and
Petr Maj and
Olga Vitek and
Jan Vitek},
title = {On the Impact of Programming Languages on Code Quality},
journal = {CoRR},
volume = {abs/1901.10220},
year = {2019},
url = {http://arxiv.org/abs/1901.10220},
eprinttype = {arXiv},
eprint = {1901.10220},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05118,
author = {Olivier Fl{\"{u}}ckiger and
Guido Chari and
Jan Jecmen and
Ming{-}Ho Yee and
Jakob Hain and
Jan Vitek},
title = {R Melts Brains - An {IR} for First-Class Environments and Lazy Effectful
Arguments},
journal = {CoRR},
volume = {abs/1907.05118},
year = {2019},
url = {http://arxiv.org/abs/1907.05118},
eprinttype = {arXiv},
eprint = {1907.05118},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-07883,
author = {Filip Krikava and
Heather Miller and
Jan Vitek},
title = {Scala Implicits are Everywhere: {A} large-scale study of the use of
Implicits in the wild},
journal = {CoRR},
volume = {abs/1908.07883},
year = {2019},
url = {http://arxiv.org/abs/1908.07883},
eprinttype = {arXiv},
eprint = {1908.07883},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-07883.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-08958,
author = {Aviral Goel and
Jan Vitek},
title = {On the Design, Implementation, and Use of Laziness in {R}},
journal = {CoRR},
volume = {abs/1909.08958},
year = {2019},
url = {http://arxiv.org/abs/1909.08958},
eprinttype = {arXiv},
eprint = {1909.08958},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08958.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-12935,
author = {Ming{-}Ho Yee and
Ayaz Badouraly and
Ondrej Lhot{\'{a}}k and
Frank Tip and
Jan Vitek},
title = {Precise Dataflow Analysis of Event-Driven Applications},
journal = {CoRR},
volume = {abs/1910.12935},
year = {2019},
url = {http://arxiv.org/abs/1910.12935},
eprinttype = {arXiv},
eprint = {1910.12935},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-12935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-11894,
author = {Emery D. Berger and
Petr Maj and
Olga Vitek and
Jan Vitek},
title = {{FSE/CACM} Rebuttal\({}^{\mbox{2}}\): Correcting {A} Large-Scale Study
of Programming Languages and Code Quality in GitHub},
journal = {CoRR},
volume = {abs/1911.11894},
year = {2019},
url = {http://arxiv.org/abs/1911.11894},
eprinttype = {arXiv},
eprint = {1911.11894},
timestamp = {Tue, 03 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-11894.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ChungLNV18,
author = {Benjamin Chung and
Paley Li and
Francesco Zappa Nardelli and
Jan Vitek},
title = {KafKa: Gradual Typing for Objects (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {10:1--10:3},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.10},
doi = {10.4230/DARTS.4.3.10},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ChungLNV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/NardelliBPCBV18,
author = {Francesco Zappa Nardelli and
Julia Belyakova and
Artem Pelenitsyn and
Benjamin Chung and
Jeff Bezanson and
Jan Vitek},
title = {Julia subtyping: a rational reconstruction},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {113:1--113:27},
year = {2018},
url = {https://doi.org/10.1145/3276483},
doi = {10.1145/3276483},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/NardelliBPCBV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BezansonCCKSVZ18,
author = {Jeff Bezanson and
Jiahao Chen and
Benjamin Chung and
Stefan Karpinski and
Viral B. Shah and
Jan Vitek and
Lionel Zoubritzky},
title = {Julia: dynamism and performance reconciled by design},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {120:1--120:23},
year = {2018},
url = {https://doi.org/10.1145/3276490},
doi = {10.1145/3276490},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BezansonCCKSVZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FluckigerSYGAV18,
author = {Olivier Fl{\"{u}}ckiger and
Gabriel Scherer and
Ming{-}Ho Yee and
Aviral Goel and
Amal Ahmed and
Jan Vitek},
title = {Correctness of speculative optimizations with dynamic deoptimization},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {49:1--49:28},
year = {2018},
url = {https://doi.org/10.1145/3158137},
doi = {10.1145/3158137},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FluckigerSYGAV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/ChariPVF18,
author = {Guido Chari and
Javier Pim{\'{a}}s and
Jan Vitek and
Olivier Fl{\"{u}}ckiger},
editor = {Tim Felgentreff},
title = {Self-contained development environments},
booktitle = {Proceedings of the 14th {ACM} {SIGPLAN} International Symposium on
Dynamic Languages, {DLS} 2018, Boston, MA, USA, November 6, 2018},
pages = {76--87},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3276945.3276948},
doi = {10.1145/3276945.3276948},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/dls/ChariPVF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ChungLNV18,
author = {Benjamin Chung and
Paley Li and
Francesco Zappa Nardelli and
Jan Vitek},
editor = {Todd D. Millstein},
title = {KafKa: Gradual Typing for Objects},
booktitle = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
July 16-21, 2018, Amsterdam, The Netherlands},
series = {LIPIcs},
volume = {109},
pages = {12:1--12:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.12},
doi = {10.4230/LIPICS.ECOOP.2018.12},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ChungLNV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FrancoCDVW18,
author = {Juliana Franco and
Sylvan Clebsch and
Sophia Drossopoulou and
Jan Vitek and
Tobias Wrigstad},
editor = {Amal Ahmed},
title = {Correctness of a Concurrent Object Collector for Actor Languages},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {885--911},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_31},
doi = {10.1007/978-3-319-89884-1\_31},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/FrancoCDVW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChungV18,
author = {Benjamin Chung and
Jan Vitek},
editor = {Julian Dolby and
William G. J. Halfond and
Ashish Mishra},
title = {Monotonic gradual typing in a common calculus},
booktitle = {Companion Proceedings for the {ISSTA/ECOOP} 2018 Workshops, {ISSTA}
2018, Amsterdam, Netherlands, July 16-21, 2018},
pages = {17--23},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236454.3236475},
doi = {10.1145/3236454.3236475},
timestamp = {Thu, 10 Jan 2019 08:02:16 +0100},
biburl = {https://dblp.org/rec/conf/issta/ChungV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KrikavaV18,
author = {Filip Krikava and
Jan Vitek},
editor = {Frank Tip and
Eric Bodden},
title = {Tests from traces: automated unit test extraction for {R}},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {232--241},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213863},
doi = {10.1145/3213846.3213863},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KrikavaV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-04151,
author = {Leif Andersen and
Vincent St{-}Amour and
Jan Vitek and
Matthias Felleisen},
title = {Feature-Specific Profiling},
journal = {CoRR},
volume = {abs/1809.04151},
year = {2018},
url = {http://arxiv.org/abs/1809.04151},
eprinttype = {arXiv},
eprint = {1809.04151},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-04151.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AndersonLKTVS17,
author = {Todd A. Anderson and
Hai Liu and
Lindsey Kuper and
Ehsan Totoni and
Jan Vitek and
Tatiana Shpeisman},
title = {Parallelizing Julia with a Non-Invasive {DSL} (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {07:1--07:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.7},
doi = {10.4230/DARTS.3.2.7},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/AndersonLKTVS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ClebschFDYWV17,
author = {Sylvan Clebsch and
Juliana Franco and
Sophia Drossopoulou and
Albert Mingkun Yang and
Tobias Wrigstad and
Jan Vitek},
title = {Orca: {GC} and type system co-design for actor languages},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {72:1--72:28},
year = {2017},
url = {https://doi.org/10.1145/3133896},
doi = {10.1145/3133896},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ClebschFDYWV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LopesMMSYZSV17,
author = {Cristina V. Lopes and
Petr Maj and
Pedro Martins and
Vaibhav Saini and
Di Yang and
Jakub Zitny and
Hitesh Sajnani and
Jan Vitek},
title = {D{\'{e}}j{\`{a}}Vu: a map of code duplicates on GitHub},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {84:1--84:28},
year = {2017},
url = {https://doi.org/10.1145/3133908},
doi = {10.1145/3133908},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LopesMMSYZSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AndersonLKTVS17,
author = {Todd A. Anderson and
Hai Liu and
Lindsey Kuper and
Ehsan Totoni and
Jan Vitek and
Tatiana Shpeisman},
editor = {Peter M{\"{u}}ller},
title = {Parallelizing Julia with a Non-Invasive {DSL}},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {4:1--4:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.4},
doi = {10.4230/LIPICS.ECOOP.2017.4},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AndersonLKTVS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ZakowskiCDPPJV17,
author = {Yannick Zakowski and
David Cachera and
Delphine Demange and
Gustavo Petri and
David Pichardie and
Suresh Jagannathan and
Jan Vitek},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {496--513},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_31},
doi = {10.1007/978-3-319-66107-0\_31},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/ZakowskiCDPPJV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/YanDKVZ17,
author = {Yin Yan and
Karthik Dantu and
Steven Y. Ko and
Jan Vitek and
Lukasz Ziarek},
editor = {Gabriel Parmer},
title = {Making Android Run on Time},
booktitle = {2017 {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2017, Pittsburg, PA, USA, April 18-21, 2017},
pages = {25--36},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RTAS.2017.38},
doi = {10.1109/RTAS.2017.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/YanDKVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03050,
author = {Olivier Fl{\"{u}}ckiger and
Gabriel Scherer and
Ming{-}Ho Yee and
Aviral Goel and
Amal Ahmed and
Jan Vitek},
title = {Correctness of Speculative Optimizations with Dynamic Deoptimization},
journal = {CoRR},
volume = {abs/1711.03050},
year = {2017},
url = {http://arxiv.org/abs/1711.03050},
eprinttype = {arXiv},
eprint = {1711.03050},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/TakikawaFGNVF16,
author = {Asumu Takikawa and
Daniel Feltey and
Ben Greenman and
Max S. New and
Jan Vitek and
Matthias Felleisen},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Is sound gradual typing dead?},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {456--468},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837630},
doi = {10.1145/2837614.2837630},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/TakikawaFGNVF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DellingDJV16,
author = {Daniel Delling and
Camil Demetrescu and
David S. Johnson and
Jan Vitek},
title = {Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111)},
journal = {Dagstuhl Reports},
volume = {6},
number = {3},
pages = {24--43},
year = {2016},
url = {https://doi.org/10.4230/DagRep.6.3.24},
doi = {10.4230/DAGREP.6.3.24},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DellingDJV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KrishnamurthiV15,
author = {Shriram Krishnamurthi and
Jan Vitek},
title = {The real software crisis: repeatability as a core value},
journal = {Commun. {ACM}},
volume = {58},
number = {3},
pages = {34--36},
year = {2015},
url = {https://doi.org/10.1145/2658987},
doi = {10.1145/2658987},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KrishnamurthiV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RichardsNV15,
author = {Gregor Richards and
Francesco Zappa Nardelli and
Jan Vitek},
editor = {John Tang Boyland},
title = {Concrete Types for TypeScript},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {76--100},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.76},
doi = {10.4230/LIPICS.ECOOP.2015.76},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RichardsNV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PetriVJ15,
author = {Gustavo Petri and
Jan Vitek and
Suresh Jagannathan},
editor = {John Tang Boyland},
title = {Cooking the Books: Formalizing {JMM} Implementation Recipes},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {445--469},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.445},
doi = {10.4230/LIPICS.ECOOP.2015.445},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/PetriVJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2015,
editor = {Jan Vitek},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {9032},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8},
doi = {10.1007/978-3-662-46669-8},
isbn = {978-3-662-46668-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2015array,
editor = {Laurie J. Hendren and
Hidehiko Masuhara and
Mary Sheeran and
Jan Vitek},
title = {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},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774959},
doi = {10.1145/2774959},
isbn = {978-1-4503-3584-3},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2015array.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Vitek15,
author = {Jan Vitek},
title = {Repeatability, reproducibility and rigor in {CS} research},
booktitle = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL
2015, Mumbai, India, January 14, 2015},
pages = {12:1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2792434.2792446},
doi = {10.1145/2792434.2792446},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Vitek15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Vitek14,
author = {Jan Vitek},
title = {{SIGPLAN} chair's report},
journal = {{ACM} {SIGPLAN} Notices},
volume = {49},
number = {4S},
pages = {1},
year = {2014},
url = {https://doi.org/10.1145/2641638.2641640},
doi = {10.1145/2641638.2641640},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Vitek14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BoehmDFFGHHPTVW14,
author = {Hans{-}Juergen Boehm and
Jack W. Davidson and
Kathleen Fisher and
Cormac Flanagan and
Jeremy Gibbons and
Mary W. Hall and
Graham Hutton and
David A. Padua and
Frank Tip and
Jan Vitek and
Philip Wadler},
title = {Practices of {PLDI}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {49},
number = {4S},
pages = {33--38},
year = {2014},
url = {https://doi.org/10.1145/2641638.2641649},
doi = {10.1145/2641638.2641649},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/BoehmDFFGHHPTVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JagannathanLPPV14,
author = {Suresh Jagannathan and
Vincent Laporte and
Gustavo Petri and
David Pichardie and
Jan Vitek},
title = {Atomicity Refinement for Verified Compilation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {36},
number = {2},
pages = {6:1--6:30},
year = {2014},
url = {https://doi.org/10.1145/2601339},
doi = {10.1145/2601339},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/JagannathanLPPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/TereiAV14,
author = {David Terei and
Alex Aiken and
Jan Vitek},
editor = {David Grove and
Samuel Z. Guyer},
title = {M\({}^{\mbox{3}}\): high-performance memory management from off-the-shelf
components},
booktitle = {International Symposium on Memory Management, {ISMM} '14, Edinburgh,
United Kingdom, June 12, 2014},
pages = {3--13},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2602988.2602995},
doi = {10.1145/2602988.2602995},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwmm/TereiAV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JagannathanPVPL14,
author = {Suresh Jagannathan and
Gustavo Petri and
Jan Vitek and
David Pichardie and
Vincent Laporte},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Atomicity refinement for verified compilation},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {27},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594346},
doi = {10.1145/2594291.2594346},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JagannathanPVPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/KaliberaMMV14,
author = {Tomas Kalibera and
Petr Maj and
Flor{\'{e}}al Morandat and
Jan Vitek},
editor = {Martin Hirzel and
Erez Petrank and
Dan Tsafrir},
title = {A fast abstract syntax tree interpreter for {R}},
booktitle = {10th {ACM} {SIGPLAN/SIGOPS} International Conference on Virtual Execution
Environments, {VEE} '14, Salt Lake City, UT, USA, March 01 - 02, 2014},
pages = {89--102},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2576195.2576205},
doi = {10.1145/2576195.2576205},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/vee/KaliberaMMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/Vitek14,
author = {Jan Vitek},
editor = {Martin Hirzel and
Erez Petrank and
Dan Tsafrir},
title = {The case for the three R's of systems research: repeatability, reproducibility
and rigor},
booktitle = {10th {ACM} {SIGPLAN/SIGOPS} International Conference on Virtual Execution
Environments, {VEE} '14, Salt Lake City, UT, USA, March 01 - 02, 2014},
pages = {115--116},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2576195.2576216},
doi = {10.1145/2576195.2576216},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vee/Vitek14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2014array,
editor = {Laurie J. Hendren and
Alex Rubinsteyn and
Mary Sheeran and
Jan Vitek},
title = {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},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2627373},
doi = {10.1145/2627373},
isbn = {978-1-4503-2937-8},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2014array.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/MeawadISV13,
author = {Fadi Meawad and
Karthik Iyer and
Martin Schoeberl and
Jan Vitek},
title = {Micro-transactions for concurrent data structures},
journal = {Concurr. Comput. Pract. Exp.},
volume = {25},
number = {16},
pages = {2252--2268},
year = {2013},
url = {https://doi.org/10.1002/cpe.2985},
doi = {10.1002/CPE.2985},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/MeawadISV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Vitek13,
author = {Jan Vitek},
title = {Changing of the Guard},
journal = {J. Object Technol.},
volume = {12},
number = {2},
year = {2013},
url = {https://doi.org/10.5381/jot.2013.12.2.e1},
doi = {10.5381/JOT.2013.12.2.E1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Vitek13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Vitek13,
author = {Jan Vitek},
title = {{SIGPLAN} chair's report},
journal = {{ACM} {SIGPLAN} Notices},
volume = {48},
number = {4S},
pages = {1--2},
year = {2013},
url = {https://doi.org/10.1145/2502508.2502510},
doi = {10.1145/2502508.2502510},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Vitek13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SutterV13,
author = {Bjorn De Sutter and
Jan Vitek},
title = {Introduction to the special section on LCTES'11},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {1s},
pages = {38:1},
year = {2013},
url = {https://doi.org/10.1145/2435227.2435234},
doi = {10.1145/2435227.2435234},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SutterV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Vitek13,
author = {Jan Vitek},
editor = {Olivier Zendra},
title = {History-based security for JavaScript},
booktitle = {Proceedings of the 8th Workshop on Implementation, Compilation, Optimization
of Object-Oriented Languages, Programs and Systems, ICOOOLPS@ECOOP
2013, Montpellier, France, July 2, 2013},
pages = {16},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491404.2491409},
doi = {10.1145/2491404.2491409},
timestamp = {Sun, 02 Oct 2022 15:59:41 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Vitek13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MarinoHDVTV13,
author = {Daniel Marino and
Christian Hammer and
Julian Dolby and
Mandana Vaziri and
Frank Tip and
Jan Vitek},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Detecting deadlock in programs with data-centric synchronization},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {322--331},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606578},
doi = {10.1109/ICSE.2013.6606578},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MarinoHDVTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KrishnamurthiNV13,
author = {Shriram Krishnamurthi and
James Noble and
Jan Vitek},
editor = {Antony L. Hosking and
Patrick Th. Eugster},
title = {Should software conferences respect software?},
booktitle = {SPLASH'13 - The Proceedings of the 2013 Companion Publication for
Conference on Systems, Programming, {\&} Applications: Software
for Humanity, Indianapolis, IN, USA, October 26-31, 2013},
pages = {71--72},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508075.2516929},
doi = {10.1145/2508075.2516929},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/KrishnamurthiNV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RichardsHNJV13,
author = {Gregor Richards and
Christian Hammer and
Francesco Zappa Nardelli and
Suresh Jagannathan and
Jan Vitek},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Flexible access control for javascript},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {305--322},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509542},
doi = {10.1145/2509136.2509542},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RichardsHNJV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DeVitoHAHV13,
author = {Zachary DeVito and
James Hegarty and
Alex Aiken and
Pat Hanrahan and
Jan Vitek},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Terra: a multi-stage language for high-performance computing},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {105--116},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462166},
doi = {10.1145/2491956.2462166},
timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DeVitoHAHV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DemangeLZJPV13,
author = {Delphine Demange and
Vincent Laporte and
Lei Zhao and
Suresh Jagannathan and
David Pichardie and
Jan Vitek},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Plan {B:} a buffered memory model for Java},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {329--342},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429110},
doi = {10.1145/2429069.2429110},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/DemangeLZJPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/VitekK12,
author = {Jan Vitek and
Tomas Kalibera},
title = {Introduction to the Special Issue on Java Technologies for Real-Time
and Embedded Systems},
journal = {Concurr. Comput. Pract. Exp.},
volume = {24},
number = {8},
pages = {751--752},
year = {2012},
url = {https://doi.org/10.1002/cpe.1769},
doi = {10.1002/CPE.1769},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/VitekK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/VitekK12,
author = {Jan Vitek and
Tomas Kalibera},
title = {{R3:} repeatability, reproducibility and rigor},
journal = {{ACM} {SIGPLAN} Notices},
volume = {47},
number = {4a},
pages = {30--36},
year = {2012},
url = {https://doi.org/10.1145/2442776.2442781},
doi = {10.1145/2442776.2442781},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/VitekK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DolbyHMTVV12,
author = {Julian Dolby and
Christian Hammer and
Daniel Marino and
Frank Tip and
Mandana Vaziri and
Jan Vitek},
title = {A data-centric approach to synchronization},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {34},
number = {1},
pages = {4:1--4:48},
year = {2012},
url = {https://doi.org/10.1145/2160910.2160913},
doi = {10.1145/2160910.2160913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DolbyHMTVV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BouakazTV12,
author = {Adnan Bouakaz and
Jean{-}Pierre Talpin and
Jan Vitek},
editor = {Jens Brandt and
Keijo Heljanko},
title = {Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications},
booktitle = {12th International Conference on Application of Concurrency to System
Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
pages = {183--192},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ACSD.2012.16},
doi = {10.1109/ACSD.2012.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BouakazTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Vitek12,
author = {Jan Vitek},
editor = {Ranjit Jhala and
Atsushi Igarashi},
title = {Planet Dynamic or: How {I} Learned to Stop Worrying and Love Reflection},
booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7705},
pages = {1},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35182-2\_1},
doi = {10.1007/978-3-642-35182-2\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Vitek12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MorandatHOV12,
author = {Flor{\'{e}}al Morandat and
Brandon Hill and
Leo Osvald and
Jan Vitek},
editor = {James Noble},
title = {Evaluating the Design of the {R} Language - Objects and Functions
for Data Analysis},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {104--131},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_6},
doi = {10.1007/978-3-642-31057-7\_6},
timestamp = {Fri, 27 Mar 2020 08:51:54 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MorandatHOV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KaliberaMJV12,
author = {Tomas Kalibera and
Matthew Mole and
Richard E. Jones and
Jan Vitek},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {A black-box approach to understanding concurrency in DaCapo},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {335--354},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384641},
doi = {10.1145/2384616.2384641},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KaliberaMJV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MeawadRMV12,
author = {Fadi Meawad and
Gregor Richards and
Flor{\'{e}}al Morandat and
Jan Vitek},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Eval begone!: semi-automated removal of eval from javascript programs},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {607--620},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384660},
doi = {10.1145/2384616.2384660},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MeawadRMV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2012,
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064},
doi = {10.1145/2254064},
isbn = {978-1-4503-1205-9},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HirschfeldKV12,
author = {Robert Hirschfeld and
Shriram Krishnamurthi and
Jan Vitek},
title = {Foundations for Scripting Languages (Dagstuhl Seminar 12011)},
journal = {Dagstuhl Reports},
volume = {2},
number = {1},
pages = {1--18},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.1.1},
doi = {10.4230/DAGREP.2.1.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HirschfeldKV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KaliberaHMPTV11,
author = {Tomas Kalibera and
Jeff Hagelberg and
Petr Maj and
Filip Pizlo and
Ben L. Titzer and
Jan Vitek},
title = {A family of real-time Java benchmarks},
journal = {Concurr. Comput. Pract. Exp.},
volume = {23},
number = {14},
pages = {1679--1700},
year = {2011},
url = {https://doi.org/10.1002/cpe.1677},
doi = {10.1002/CPE.1677},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/KaliberaHMPTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/KaliberaPHV11,
author = {Tomas Kalibera and
Filip Pizlo and
Antony L. Hosking and
Jan Vitek},
title = {Scheduling real-time garbage collection on uniprocessors},
journal = {{ACM} Trans. Comput. Syst.},
volume = {29},
number = {3},
pages = {8:1--8:29},
year = {2011},
url = {https://doi.org/10.1145/2003690.2003692},
doi = {10.1145/2003690.2003692},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/KaliberaPHV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Vitek11,
author = {Jan Vitek},
editor = {Leon Stok and
Nikil D. Dutt and
Soha Hassoun},
title = {Virtualizing real-time embedded systems with Java},
booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
San Diego, California, USA, June 5-10, 2011},
pages = {906--911},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024724.2024926},
doi = {10.1145/2024724.2024926},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Vitek11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RichardsHBV11,
author = {Gregor Richards and
Christian Hammer and
Brian Burg and
Jan Vitek},
editor = {Mira Mezini},
title = {The Eval That Men Do - {A} Large-Scale Study of the Use of Eval in
JavaScript Applications},
booktitle = {{ECOOP} 2011 - Object-Oriented Programming - 25th European Conference,
Lancaster, UK, July 25-29, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6813},
pages = {52--78},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22655-7\_4},
doi = {10.1007/978-3-642-22655-7\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/RichardsHBV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/VitekK11,
author = {Jan Vitek and
Tomas Kalibera},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Repeatability, reproducibility, and rigor in systems research},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {33--38},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038650},
doi = {10.1145/2038642.2038650},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/VitekK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/MeawadSIV11,
author = {Fadi Meawad and
Martin Schoeberl and
Karthik Iyer and
Jan Vitek},
editor = {Andy J. Wellings and
Anders P. Ravn},
title = {Real-time wait-free queues using micro-transactions},
booktitle = {The 9th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '11, York, United Kingdom, September
26-28, 2011},
pages = {1--10},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2043910.2043912},
doi = {10.1145/2043910.2043912},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/MeawadSIV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RichardsGEV11,
author = {Gregor Richards and
Andreas Gal and
Brendan Eich and
Jan Vitek},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Automated construction of JavaScript benchmarks},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {677--694},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048119},
doi = {10.1145/2048066.2048119},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RichardsGEV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/MilanovaV11,
author = {Ana L. Milanova and
Jan Vitek},
editor = {Judith Bishop and
Antonio Vallecillo},
title = {Static Dominance Inference},
booktitle = {Objects, Models, Components, Patterns - 49th International Conference,
{TOOLS} 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6705},
pages = {211--227},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21952-8\_16},
doi = {10.1007/978-3-642-21952-8\_16},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/MilanovaV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lctrts/2011,
editor = {Jan Vitek and
Bjorn De Sutter},
title = {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},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1967677},
doi = {10.1145/1967677},
isbn = {978-1-4503-0555-6},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Vitek10,
author = {Jan Vitek},
title = {Conference Report: TOOLS'10},
journal = {J. Object Technol.},
volume = {9},
number = {5},
year = {2010},
url = {https://doi.org/10.5381/jot.2010.9.5.c2},
doi = {10.5381/JOT.2010.9.5.C2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Vitek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SpringPPGV10,
author = {Jesper Honig Spring and
Filip Pizlo and
Jean Privat and
Rachid Guerraoui and
Jan Vitek},
title = {Reflexes: Abstractions for integrating highly responsive tasks into
Java applications},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {10},
number = {1},
pages = {4:1--4:29},
year = {2010},
url = {https://doi.org/10.1145/1814539.1814543},
doi = {10.1145/1814539.1814543},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/SpringPPGV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VaziriTDHV10,
author = {Mandana Vaziri and
Frank Tip and
Julian Dolby and
Christian Hammer and
Jan Vitek},
editor = {Theo D'Hondt},
title = {A Type System for Data-Centric Synchronization},
booktitle = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
Maribor, Slovenia, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6183},
pages = {304--328},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14107-2\_15},
doi = {10.1007/978-3-642-14107-2\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/VaziriTDHV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/PizloZBMV10,
author = {Filip Pizlo and
Lukasz Ziarek and
Ethan Blanton and
Petr Maj and
Jan Vitek},
editor = {Christine Morin and
Gilles Muller},
title = {High-level programming of embedded hard real-time devices},
booktitle = {European Conference on Computer Systems, Proceedings of the 5th European
conference on Computer systems, EuroSys 2010, Paris, France, April
13-16, 2010},
pages = {69--82},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755913.1755922},
doi = {10.1145/1755913.1755922},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/PizloZBMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/PlsekZSTKV10,
author = {Ales Plsek and
Lei Zhao and
Veysel Harun Sahin and
Daniel Tang and
Tomas Kalibera and
Jan Vitek},
editor = {Tomas Kalibera and
Jan Vitek},
title = {Developing safety critical Java applications with oSCJ/L0},
booktitle = {Proceedings of the 8th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2010, Prague, Czech Republic,
August 19-21, 2010},
series = {{ACM} International Conference Proceeding Series},
pages = {95--101},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1850771.1850786},
doi = {10.1145/1850771.1850786},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/PlsekZSTKV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/TangPV10,
author = {Daniel Tang and
Ales Plsek and
Jan Vitek},
editor = {Tomas Kalibera and
Jan Vitek},
title = {Static checking of safety critical Java annotations},
booktitle = {Proceedings of the 8th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2010, Prague, Czech Republic,
August 19-21, 2010},
series = {{ACM} International Conference Proceeding Series},
pages = {148--154},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1850771.1850792},
doi = {10.1145/1850771.1850792},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/TangPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RichardsLBV10,
author = {Gregor Richards and
Sylvain Lebresne and
Brian Burg and
Jan Vitek},
editor = {Benjamin G. Zorn and
Alexander Aiken},
title = {An analysis of the dynamic behavior of JavaScript programs},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {1--12},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806598},
doi = {10.1145/1806596.1806598},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RichardsLBV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PizloZMHBV10,
author = {Filip Pizlo and
Lukasz Ziarek and
Petr Maj and
Antony L. Hosking and
Ethan Blanton and
Jan Vitek},
editor = {Benjamin G. Zorn and
Alexander Aiken},
title = {Schism: fragmentation-tolerant real-time garbage collection},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {146--159},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806615},
doi = {10.1145/1806596.1806615},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PizloZMHBV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/KaliberaPHLV10,
author = {Tomas Kalibera and
Pavel Par{\'{\i}}zek and
Ghaith Haddad and
Gary T. Leavens and
Jan Vitek},
editor = {Jean{-}Christophe Filli{\^{a}}tre and
Cormac Flanagan},
title = {Challenge benchmarks for verification of real-time programs},
booktitle = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
pages = {57--62},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1707790.1707800},
doi = {10.1145/1707790.1707800},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plpv/KaliberaPHLV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WrigstadNLOV10,
author = {Tobias Wrigstad and
Francesco Zappa Nardelli and
Sylvain Lebresne and
Johan {\"{O}}stlund and
Jan Vitek},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Integrating typed and untyped code in a scripting language},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {377--388},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706343},
doi = {10.1145/1706299.1706343},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/WrigstadNLOV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SchoeberlBV10,
author = {Martin Schoeberl and
Florian Brandner and
Jan Vitek},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {{RTTM:} real-time transactional memory},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {326--333},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774158},
doi = {10.1145/1774088.1774158},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/SchoeberlBV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KiddJV10,
author = {Nicholas Kidd and
Suresh Jagannathan and
Jan Vitek},
editor = {Jaco van de Pol and
Michael Weber},
title = {One Stack to Run Them All - Reducing Concurrent Analysis to Sequential
Analysis under Priority Scheduling},
booktitle = {Model Checking Software - 17th International {SPIN} Workshop, Enschede,
The Netherlands, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6349},
pages = {245--261},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16164-3\_18},
doi = {10.1007/978-3-642-16164-3\_18},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/KiddJV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwmm/2010,
editor = {Jan Vitek and
Doug Lea},
title = {Proceedings of the 9th International Symposium on Memory Management,
{ISMM} 2010, Toronto, Ontario, Canada, June 5-6, 2010},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806651},
doi = {10.1145/1806651},
isbn = {978-1-4503-0054-4},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jtres/2010,
editor = {Tomas Kalibera and
Jan Vitek},
title = {Proceedings of the 8th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2010, Prague, Czech Republic,
August 19-21, 2010},
series = {{ACM} International Conference Proceeding Series},
publisher = {{ACM}},
year = {2010},
isbn = {978-1-4503-0122-0},
timestamp = {Mon, 05 Dec 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/48-2010,
editor = {Jan Vitek},
title = {Objects, Models, Components, Patterns, 48th International Conference,
{TOOLS} 2010, M{\'{a}}laga, Spain, June 28 - July 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6141},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13953-6},
doi = {10.1007/978-3-642-13953-6},
isbn = {978-3-642-13952-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/48-2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/BakerCKPV09,
author = {Jason Baker and
Antonio Cunei and
Tomas Kalibera and
Filip Pizlo and
Jan Vitek},
title = {Accurate garbage collection in uncooperative environments revisited},
journal = {Concurr. Comput. Pract. Exp.},
volume = {21},
number = {12},
pages = {1572--1606},
year = {2009},
url = {https://doi.org/10.1002/cpe.1391},
doi = {10.1002/CPE.1391},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/BakerCKPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/KaliberaPHLV09,
author = {Tomas Kalibera and
Pavel Par{\'{\i}}zek and
Ghaith Haddad and
Gary T. Leavens and
Jan Vitek},
title = {Challenge benchmarks for verification of real-time programs: (abstract
only)},
journal = {{ACM} {SIGPLAN} Notices},
volume = {44},
number = {11},
pages = {7--8},
year = {2009},
url = {https://doi.org/10.1145/1816027.1816037},
doi = {10.1145/1816027.1816037},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/KaliberaPHLV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonsangueJMV09,
author = {Marcello M. Bonsangue and
Einar Broch Johnsen and
Amy L. Murphy and
Jan Vitek},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {2-3},
pages = {113},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.09.039},
doi = {10.1016/J.TCS.2008.09.039},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BonsangueJMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CuneiGSPV09,
author = {Antonio Cunei and
Rachid Guerraoui and
Jesper Honig Spring and
Jean Privat and
Jan Vitek},
editor = {John Field and
Vasco Thudichum Vasconcelos},
title = {High-Performance Transactional Event Processing},
booktitle = {Coordination Models and Languages, 11th International Conference,
{COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5521},
pages = {27--46},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02053-7\_2},
doi = {10.1007/978-3-642-02053-7\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CuneiGSPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/Vitek09,
author = {Jan Vitek},
editor = {James Noble},
title = {Of scripts and programs: tall tales, urban legends, and future prospects},
booktitle = {Proceedings of the 5th Symposium on Dynamic Languages, {DLS} 2009,
October 26, 2010, Orlando, Florida, {USA}},
pages = {1--2},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1640134.1640136},
doi = {10.1145/1640134.1640136},
timestamp = {Fri, 25 Jun 2021 14:48:53 +0200},
biburl = {https://dblp.org/rec/conf/dls/Vitek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LebresneROWV09,
author = {Sylvain Lebresne and
Gregor Richards and
Johan {\"{O}}stlund and
Tobias Wrigstad and
Jan Vitek},
editor = {Tobias Wrigstad and
Nate Nystrom and
Jan Vitek},
title = {Understanding the dynamics of JavaScript},
booktitle = {Proceedings for the 1st workshop on Script to Program Evolution, {STOP}
'09, Genova, Italy, July 6, 2009},
pages = {30--33},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1570506.1570510},
doi = {10.1145/1570506.1570510},
timestamp = {Tue, 25 Jan 2022 15:46:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/LebresneROWV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WrigstadEFNV09,
author = {Tobias Wrigstad and
Patrick Eugster and
John Field and
Nate Nystrom and
Jan Vitek},
editor = {Tobias Wrigstad and
Nate Nystrom and
Jan Vitek},
title = {Software hardening: a research agenda},
booktitle = {Proceedings for the 1st workshop on Script to Program Evolution, {STOP}
'09, Genova, Italy, July 6, 2009},
pages = {58--70},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1570506.1570513},
doi = {10.1145/1570506.1570513},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/WrigstadEFNV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WrigstadPMZV09,
author = {Tobias Wrigstad and
Filip Pizlo and
Fadi Meawad and
Lei Zhao and
Jan Vitek},
editor = {Sophia Drossopoulou},
title = {Loci: Simple Thread-Locality for Java},
booktitle = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference,
Genoa, Italy, July 6-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5653},
pages = {445--469},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03013-0\_21},
doi = {10.1007/978-3-642-03013-0\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/WrigstadPMZV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Vitek09,
author = {Jan Vitek},
editor = {Sophia Drossopoulou},
title = {Introduction to: The Myths of Object-Orientation},
booktitle = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference,
Genoa, Italy, July 6-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5653},
pages = {618},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03013-0\_28},
doi = {10.1007/978-3-642-03013-0\_28},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Vitek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/KaliberaHPPTV09,
author = {Tomas Kalibera and
Jeff Hagelberg and
Filip Pizlo and
Ales Plsek and
Ben L. Titzer and
Jan Vitek},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {CD\({}_{\mbox{x}}\): a family of real-time Java benchmarks},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {41--50},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620412},
doi = {10.1145/1620405.1620412},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/KaliberaHPPTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/PizloZV09,
author = {Filip Pizlo and
Lukasz Ziarek and
Jan Vitek},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {Real time Java on resource-constrained platforms with Fiji {VM}},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {110--119},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620421},
doi = {10.1145/1620405.1620421},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/PizloZV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/ZhaoTV09,
author = {Lei Zhao and
Daniel Tang and
Jan Vitek},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {A technology compatibility kit for safety critical Java},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {160--168},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620428},
doi = {10.1145/1620405.1620428},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/ZhaoTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BloomFNORSVW09,
author = {Bard Bloom and
John Field and
Nathaniel Nystrom and
Johan {\"{O}}stlund and
Gregor Richards and
Rok Strnisa and
Jan Vitek and
Tobias Wrigstad},
editor = {Shail Arora and
Gary T. Leavens},
title = {Thorn: robust, concurrent, extensible scripting on the {JVM}},
booktitle = {Proceedings of the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {117--136},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1640089.1640098},
doi = {10.1145/1640089.1640098},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BloomFNORSVW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BloomFNORSVW09a,
author = {Bard Bloom and
John Field and
Nathaniel Nystrom and
Johan {\"{O}}stlund and
Gregor Richards and
Rok Strnisa and
Jan Vitek and
Tobias Wrigstad},
editor = {Shail Arora and
Gary T. Leavens},
title = {Thorn: robust concurrent scripting on the {JVM}},
booktitle = {Companion to the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {789--790},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639950.1640016},
doi = {10.1145/1639950.1640016},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BloomFNORSVW09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/KaliberaPHV09,
author = {Tomas Kalibera and
Filip Pizlo and
Antony L. Hosking and
Jan Vitek},
editor = {Theodore P. Baker},
title = {Scheduling Hard Real-Time Garbage Collection},
booktitle = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
2009, Washington, DC, USA, 1-4 December 2009},
pages = {81--92},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RTSS.2009.40},
doi = {10.1109/RTSS.2009.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/KaliberaPHV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Vitek09,
author = {Jan Vitek},
editor = {Manuel Oriol and
Bertrand Meyer},
title = {Programming Models for Concurrency and Real-Time},
booktitle = {Objects, Components, Models and Patterns, 47th International Conference,
{TOOLS} {EUROPE} 2009, Zurich, Switzerland, June 29-July 3, 2009.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {33},
pages = {17},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02571-6\_2},
doi = {10.1007/978-3-642-02571-6\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/Vitek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2009stop,
editor = {Tobias Wrigstad and
Nate Nystrom and
Jan Vitek},
title = {Proceedings for the 1st workshop on Script to Program Evolution, {STOP}
'09, Genova, Italy, July 6, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1570506},
doi = {10.1145/1570506},
isbn = {978-1-60558-543-7},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2009stop.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/complexity/SuriV09,
author = {Niranjan Suri and
Jan Vitek},
editor = {Robert A. Meyers},
title = {Mobile Agents},
booktitle = {Encyclopedia of Complexity and Systems Science},
pages = {5604--5618},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-30440-3\_333},
doi = {10.1007/978-0-387-30440-3\_333},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/complexity/SuriV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhaoBHNV08,
author = {Tian Zhao and
Jason Baker and
James Hunt and
James Noble and
Jan Vitek},
title = {Implicit ownership types for memory management},
journal = {Sci. Comput. Program.},
volume = {71},
number = {3},
pages = {213--241},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.04.001},
doi = {10.1016/J.SCICO.2008.04.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhaoBHNV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CuneiV08,
author = {Antonio Cunei and
Jan Vitek},
title = {An efficient and flexible toolkit for composing customized method
dispatchers},
journal = {Softw. Pract. Exp.},
volume = {38},
number = {1},
pages = {33--73},
year = {2008},
url = {https://doi.org/10.1002/spe.821},
doi = {10.1002/SPE.821},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/CuneiV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PizloV08,
author = {Filip Pizlo and
Jan Vitek},
title = {Memory Management for Real-Time Java: State of the Art},
booktitle = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}},
pages = {248--254},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISORC.2008.40},
doi = {10.1109/ISORC.2008.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/PizloV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/AuerbachBGSV08,
author = {Joshua S. Auerbach and
David F. Bacon and
Rachid Guerraoui and
Jesper Honig Spring and
Jan Vitek},
editor = {Kriszti{\'{a}}n Flautner and
John Regehr},
title = {Flexible task graphs: a unified restricted thread programming model
for java},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ,
USA, June 12-13, 2008},
pages = {1--11},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375657.1375659},
doi = {10.1145/1375657.1375659},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/AuerbachBGSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/HirzelNBV08,
author = {Martin Hirzel and
Nathaniel Nystrom and
Bard Bloom and
Jan Vitek},
editor = {Paul Hudak and
David Scott Warren},
title = {Matchete: Paths through the Pattern Matching Jungle},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
pages = {150--166},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6\_11},
doi = {10.1007/978-3-540-77442-6\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/HirzelNBV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2008,
editor = {Jan Vitek},
title = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5},
doi = {10.1007/978-3-540-70592-5},
isbn = {978-3-540-70591-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/AndreaeCGNVZ07,
author = {Chris Andreae and
Yvonne Coady and
Celina Gibbs and
James Noble and
Jan Vitek and
Tian Zhao},
title = {Scoped types and aspects for real-time Java memory management},
journal = {Real Time Syst.},
volume = {37},
number = {1},
pages = {1--44},
year = {2007},
url = {https://doi.org/10.1007/s11241-007-9024-3},
doi = {10.1007/S11241-007-9024-3},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/AndreaeCGNVZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ArmbrusterBCFHPPPV07,
author = {Austin Armbruster and
Jason Baker and
Antonio Cunei and
Chapman Flack and
David Holmes and
Filip Pizlo and
Edward Pla and
Marek Prochazka and
Jan Vitek},
title = {A real-time Java virtual machine with applications in avionics},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {7},
number = {1},
pages = {5:1--5:49},
year = {2007},
url = {https://doi.org/10.1145/1324969.1324974},
doi = {10.1145/1324969.1324974},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ArmbrusterBCFHPPPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GrothoffPV07,
author = {Christian Grothoff and
Jens Palsberg and
Jan Vitek},
title = {Encapsulating objects with confined types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {32},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286823},
doi = {10.1145/1286821.1286823},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GrothoffPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/BakerCPV07,
author = {Jason Baker and
Antonio Cunei and
Filip Pizlo and
Jan Vitek},
editor = {Shriram Krishnamurthi and
Martin Odersky},
title = {Accurate Garbage Collection in Uncooperative Environments with Lazy
Pointer Stacks},
booktitle = {Compiler Construction, 16th International Conference, {CC} 2007, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2007, Braga, Portugal, March 26-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4420},
pages = {64--79},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71229-9\_5},
doi = {10.1007/978-3-540-71229-9\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/BakerCPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/ZendraJDGJKMV07,
author = {Olivier Zendra and
Eric Jul and
Roland Ducournau and
Etienne Gagnon and
Richard E. Jones and
Chandra Krintz and
Philippe Mulet and
Jan Vitek},
editor = {Michael Cebulla},
title = {Implementation, Compilation, Optimization of Object-Oriented Languages,
Programs and Systems},
booktitle = {Object-Oriented Technology. {ECOOP} 2007 Workshop Reader, Berlin,
Germany, July 30-31, 2007, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4906},
pages = {50--64},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78195-0\_6},
doi = {10.1007/978-3-540-78195-0\_6},
timestamp = {Sun, 02 Jun 2019 21:21:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/ZendraJDGJKMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/GuerraouiKV07,
author = {Rachid Guerraoui and
Michal Kapalka and
Jan Vitek},
editor = {Paulo Ferreira and
Thomas R. Gross and
Lu{\'{\i}}s Veiga},
title = {STMBench7: a benchmark for software transactional memory},
booktitle = {Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March
21-23, 2007},
pages = {315--324},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1272996.1273029},
doi = {10.1145/1272996.1273029},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/GuerraouiKV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/SchoeberlV07,
author = {Martin Schoeberl and
Jan Vitek},
editor = {Gregory Bollella},
title = {Garbage collection for safety critical Java},
booktitle = {Proceedings of the 5th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2007, Institute of Computer
Engineering, Vienna University of Technology, 26-28 September 2007,
Vienna, Austria},
series = {{ACM} International Conference Proceeding Series},
pages = {85--93},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1288940.1288953},
doi = {10.1145/1288940.1288953},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/SchoeberlV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/PizloHV07,
author = {Filip Pizlo and
Antony L. Hosking and
Jan Vitek},
editor = {Santosh Pande and
Zhiyuan Li},
title = {Hierarchical real-time garbage collection},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California,
USA, June 13-15, 2007},
pages = {123--133},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1254766.1254784},
doi = {10.1145/1254766.1254784},
timestamp = {Sun, 02 Oct 2022 16:11:14 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/PizloHV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SpringPGV07,
author = {Jesper Honig Spring and
Jean Privat and
Rachid Guerraoui and
Jan Vitek},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Streamflex: high-throughput stream programming in java},
booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {211--228},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297027.1297043},
doi = {10.1145/1297027.1297043},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/SpringPGV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/SpringPGV07,
author = {Jesper Honig Spring and
Filip Pizlo and
Rachid Guerraoui and
Jan Vitek},
editor = {Chandra Krintz and
Steven Hand and
David Tarditi},
title = {Reflexes: abstractions for highly responsive systems},
booktitle = {Proceedings of the 3rd International Conference on Virtual Execution
Environments, {VEE} 2007, San Diego, California, USA, June 13-15,
2007},
pages = {191--201},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1254810.1254837},
doi = {10.1145/1254810.1254837},
timestamp = {Tue, 20 Dec 2022 17:33:09 +0100},
biburl = {https://dblp.org/rec/conf/vee/SpringPGV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2007,
editor = {Amy L. Murphy and
Jan Vitek},
title = {Coordination Models and Languages, 9th International Conference, {COORDINATION}
2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4467},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72794-1},
doi = {10.1007/978-3-540-72794-1},
isbn = {978-3-540-72793-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0710-2887,
author = {Roland Ducournau and
Etienne Gagnon and
Chandra Krintz and
Philippe Mulet and
Jan Vitek and
Olivier Zendra},
title = {Implementation, Compilation, Optimization of Object-Oriented Languages,
Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06},
journal = {CoRR},
volume = {abs/0710.2887},
year = {2007},
url = {http://arxiv.org/abs/0710.2887},
eprinttype = {arXiv},
eprint = {0710.2887},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0710-2887.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-1189,
author = {Olivier Zendra and
Eric Jul and
Roland Ducournau and
Etienne Gagnon and
Richard E. Jones and
Chandra Krintz and
Philippe Mulet and
Jan Vitek},
title = {Implementation, Compilation, Optimization of Object-Oriented Languages,
Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07},
journal = {CoRR},
volume = {abs/0712.1189},
year = {2007},
url = {http://arxiv.org/abs/0712.1189},
eprinttype = {arXiv},
eprint = {0712.1189},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0712-1189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ZhaoPV06,
author = {Tian Zhao and
Jens Palsberg and
Jan Vitek},
title = {Type-based confinement},
journal = {J. Funct. Program.},
volume = {16},
number = {1},
pages = {83--128},
year = {2006},
url = {https://doi.org/10.1017/S0956796805005691},
doi = {10.1017/S0956796805005691},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ZhaoPV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosn/CarbunarGVC06,
author = {Bogdan Carbunar and
Ananth Grama and
Jan Vitek and
Octavian Carbunar},
title = {Redundancy and coverage detection in sensor networks},
journal = {{ACM} Trans. Sens. Networks},
volume = {2},
number = {1},
pages = {94--128},
year = {2006},
url = {https://doi.org/10.1145/1138127.1138131},
doi = {10.1145/1138127.1138131},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosn/CarbunarGVC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/YamauchiV06,
author = {Hiroshi Yamauchi and
Jan Vitek},
editor = {Naoki Kobayashi},
title = {Combining Offline and Online Optimizations: Register Allocation and
Method Inlining},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
pages = {307--322},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661\_19},
doi = {10.1007/11924661\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/YamauchiV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AndreaeCGNVZ06,
author = {Chris Andreae and
Yvonne Coady and
Celina Gibbs and
James Noble and
Jan Vitek and
Tian Zhao},
editor = {Dave Thomas},
title = {Scoped Types and Aspects for Real-Time Java},
booktitle = {{ECOOP} 2006 - Object-Oriented Programming, 20th European Conference,
Nantes, France, July 3-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4067},
pages = {124--147},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11785477\_7},
doi = {10.1007/11785477\_7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AndreaeCGNVZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/DucournauGKMVZ06,
author = {Roland Ducournau and
Etienne Gagnon and
Chandra Krintz and
Philippe Mulet and
Jan Vitek and
Olivier Zendra},
editor = {Mario S{\"{u}}dholt and
Charles Consel},
title = {Implementation, Compilation, Optimization of Object-Oriented Languages,
Programs and Systems},
booktitle = {Object-Oriented Technology, {ECOOP} 2006 Workshop Reader, {ECOOP}
2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4379},
pages = {1--14},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71774-4\_1},
doi = {10.1007/978-3-540-71774-4\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/DucournauGKMVZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MansonVJ06,
author = {Jeremy Manson and
Jan Vitek and
Suresh Jagannathan},
title = {Dynamic aspects for runtime fault determination and recovery},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639576},
doi = {10.1109/IPDPS.2006.1639576},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/MansonVJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/BakerCFPPVAPH06,
author = {Jason Baker and
Antonio Cunei and
Chapman Flack and
Filip Pizlo and
Marek Prochazka and
Jan Vitek and
Austin Armbruster and
Edward Pla and
David Holmes},
title = {A Real-time Java Virtual Machine for Avionics - An Experience Report},
booktitle = {12th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2006), 4-7 April 2006, San Jose, California, {USA}},
pages = {384--396},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RTAS.2006.7},
doi = {10.1109/RTAS.2006.7},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/BakerCFPPVAPH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/PizloV06,
author = {Filip Pizlo and
Jan Vitek},
title = {An Emprical Evaluation of Memory Management Alternatives for Real-Time
Java},
booktitle = {Proceedings of the 27th {IEEE} Real-Time Systems Symposium {(RTSS}
2006), 5-8 December 2006, Rio de Janeiro, Brazil},
pages = {35--46},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RTSS.2006.9},
doi = {10.1109/RTSS.2006.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/PizloV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/CuneiV06,
author = {Antonio Cunei and
Jan Vitek},
editor = {Hans{-}Juergen Boehm and
David Grove},
title = {A new approach to real-time checkpointing},
booktitle = {Proceedings of the 2nd International Conference on Virtual Execution
Environments, {VEE} 2006, Ottawa, Ontario, Canada, June 14-16, 2006},
pages = {68--77},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134760.1134771},
doi = {10.1145/1134760.1134771},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/vee/CuneiV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CastagnaVN05,
author = {Giuseppe Castagna and
Jan Vitek and
Francesco Zappa Nardelli},
title = {The Seal Calculus},
journal = {Inf. Comput.},
volume = {201},
number = {1},
pages = {1--54},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2004.11.005},
doi = {10.1016/J.IC.2004.11.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CastagnaVN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JagannathanVWH05,
author = {Suresh Jagannathan and
Jan Vitek and
Adam Welc and
Antony L. Hosking},
title = {A transactional object calculus},
journal = {Sci. Comput. Program.},
volume = {57},
number = {2},
pages = {164--186},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2005.03.001},
doi = {10.1016/J.SCICO.2005.03.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JagannathanVWH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PalaczBFGYV05,
author = {Krzysztof Palacz and
Jason Baker and
Chapman Flack and
Christian Grothoff and
Hiroshi Yamauchi and
Jan Vitek},
title = {Engineering a common intermediate representation for the Ovm framework},
journal = {Sci. Comput. Program.},
volume = {57},
number = {3},
pages = {357--378},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.08.007},
doi = {10.1016/J.SCICO.2004.08.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PalaczBFGYV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MoirSV05,
author = {Mark Moir and
Nir Shavit and
Jan Vitek},
title = {Concurrency and synchronization in Java programs},
journal = {Sci. Comput. Program.},
volume = {58},
number = {3},
pages = {291--292},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2005.05.001},
doi = {10.1016/J.SCICO.2005.05.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MoirSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/ProchazkaMVL05,
author = {Marek Prochazka and
Andrey Madan and
Jan Vitek and
Wenchang Liu},
title = {RTJBench: {A} Real-Time Java Benchmarking Framework},
journal = {Stud. Inform. Univ.},
volume = {4},
number = {1},
pages = {73--82},
year = {2005},
url = {http://studia.complexica.net/index.php?option=com\_content\&\#38;view=article\&\#38;id=84},
timestamp = {Fri, 23 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siu/ProchazkaMVL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccb/VitekBCKV05,
author = {Olga Vitek and
Chris Bailey{-}Kellogg and
Bruce A. Craig and
Paul Kuliniewicz and
Jan Vitek},
title = {Reconsidering complete search algorithms for protein backbone {NMR}
assignment},
booktitle = {ECCB/JBI'05 Proceedings, Fourth European Conference on Computational
Biology/Sixth Meeting of the Spanish Bioinformatics Network (Jornadas
de BioInform{\'{a}}tica), Palacio de Congresos, Madrid, Spain,
September 28 - October 1, 2005},
pages = {236},
year = {2005},
url = {https://doi.org/10.1093/bioinformatics/bti1138},
doi = {10.1093/BIOINFORMATICS/BTI1138},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eccb/VitekBCKV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CuneiV05,
author = {Antonio Cunei and
Jan Vitek},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {PolyD: a flexible dispatching framework},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {487--503},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094849},
doi = {10.1145/1094811.1094849},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CuneiV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/MansonBCJPXV05,
author = {Jeremy Manson and
Jason Baker and
Antonio Cunei and
Suresh Jagannathan and
Marek Prochazka and
Bin Xin and
Jan Vitek},
title = {Preemptible Atomic Regions for Real-Time Java},
booktitle = {Proceedings of the 26th {IEEE} Real-Time Systems Symposium {(RTSS}
2005), 6-8 December 2005, Miami, FL, {USA}},
pages = {62--71},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTSS.2005.34},
doi = {10.1109/RTSS.2005.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/MansonBCJPXV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/GopalakrishnaSV05,
author = {Rajeev Gopalakrishna and
Eugene H. Spafford and
Jan Vitek},
title = {Efficient Intrusion Detection using Automaton Inlining},
booktitle = {2005 {IEEE} Symposium on Security and Privacy (S{\&}P 2005), 8-11
May 2005, Oakland, CA, {USA}},
pages = {18--31},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SP.2005.1},
doi = {10.1109/SP.2005.1},
timestamp = {Thu, 21 Sep 2023 15:57:31 +0200},
biburl = {https://dblp.org/rec/conf/sp/GopalakrishnaSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vee/2005,
editor = {Michael Hind and
Jan Vitek},
title = {Proceedings of the 1st International Conference on Virtual Execution
Environments, {VEE} 2005, Chicago, IL, USA, June 11-12, 2005},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1064979},
doi = {10.1145/1064979},
isbn = {1-59593-047-7},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vee/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CarbunarVV04,
author = {Bogdan Carbunar and
Marco T{\'{u}}lio de Oliveira Valente and
Jan Vitek},
title = {Coordination and mobility in CoreLime},
journal = {Math. Struct. Comput. Sci.},
volume = {14},
number = {3},
pages = {397--419},
year = {2004},
url = {https://doi.org/10.1017/S0960129504004177},
doi = {10.1017/S0960129504004177},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/CarbunarVV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/JagannathanV04,
author = {Suresh Jagannathan and
Jan Vitek},
editor = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Greg Meredith},
title = {Optimistic Concurrency Semantics for Transactions in Coordination
Languages},
booktitle = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
2004, Pisa, Italy, February 24-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2949},
pages = {183--198},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24634-3\_15},
doi = {10.1007/978-3-540-24634-3\_15},
timestamp = {Fri, 23 Jun 2023 22:30:54 +0200},
biburl = {https://dblp.org/rec/conf/coordination/JagannathanV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/VitekJWH04,
author = {Jan Vitek and
Suresh Jagannathan and
Adam Welc and
Antony L. Hosking},
editor = {David A. Schmidt},
title = {A Semantic Framework for Designer Transactions},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {249--263},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_18},
doi = {10.1007/978-3-540-24725-8\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/VitekJWH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/CarbunarIGV04,
author = {Bogdan Carbunar and
Ioannis Ioannidis and
Ananth Grama and
Jan Vitek},
editor = {Jo{\~{a}}o Ascenso and
Carlos Belo and
Luminita Vasiu and
M{\'{o}}nica Saramago and
Helder Coelhas},
title = {A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks},
booktitle = {{ICETE} 2004, 1st International Conference on E-Business and Telecommunication
Networks, Set{\'{u}}bal, Portugal, August 24-28, 2004, Proceedings},
pages = {142--149},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Mon, 25 Oct 2004 15:24:15 +0200},
biburl = {https://dblp.org/rec/conf/icete/CarbunarIGV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/CarbunarGV04,
author = {Bogdan Carbunar and
Ananth Grama and
Jan Vitek},
title = {Distributed and Dynamic Voronoi Overlays for Coverage Detection and
Distributed Hash Tables in Ad-Hoc Networks},
booktitle = {10th International Conference on Parallel and Distributed Systems,
{ICPADS} 2004, Newport Beach, CA, USA, July 7-9, 2004},
pages = {549},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ICPADS.2004.34},
doi = {10.1109/ICPADS.2004.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/CarbunarGV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipccc/CarbunarGV04,
author = {Bogdan Carbunar and
Ananth Grama and
Jan Vitek},
title = {A public key algorithm for ad-hoc networks},
booktitle = {Proceedings of the 23rd {IEEE} International Performance Computing
and Communications Conference, {IPCCC} 2004, April 15-17, 2004, Phoenix,
Arizona, {USA}},
pages = {319--320},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/PCCC.2004.1395016},
doi = {10.1109/PCCC.2004.1395016},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipccc/CarbunarGV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PizloFHV04,
author = {Filip Pizlo and
J. M. Fox and
David Holmes and
Jan Vitek},
title = {Real-Time Java Scoped Memory: Design Patterns and Semantics},
booktitle = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISORC.2004.1300335},
doi = {10.1109/ISORC.2004.1300335},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/PizloFHV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ZhaoNV04,
author = {Tian Zhao and
James Noble and
Jan Vitek},
title = {Scoped Types for Real-Time Java},
booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
2004), 5-8 December 2004, Lisbon, Portugal},
pages = {241--251},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/REAL.2004.51},
doi = {10.1109/REAL.2004.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ZhaoNV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secon/CarbunarGVC04,
author = {Bogdan Carbunar and
Ananth Grama and
Jan Vitek and
Octavian Carbunar},
title = {Coverage preserving redundancy elimination in sensor networks},
booktitle = {Proceedings of the First Annual {IEEE} Communications Society Conference
on Sensor and Ad Hoc Communications and Networks, {SECON} 2004, October
4-7, 2004, Santa Clara, CA, {USA}},
pages = {377--386},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/SAHCN.2004.1381939},
doi = {10.1109/SAHCN.2004.1381939},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/secon/CarbunarGVC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/SewellV03,
author = {Peter Sewell and
Jan Vitek},
title = {Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality},
journal = {J. Comput. Secur.},
volume = {11},
number = {2},
pages = {135--188},
year = {2003},
url = {https://doi.org/10.3233/jcs-2003-11202},
doi = {10.3233/JCS-2003-11202},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/SewellV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/VitekBO03,
author = {Jan Vitek and
Ciar{\'{a}}n Bryce and
Manuel Oriol},
title = {Coordinating processes with secure spaces},
journal = {Sci. Comput. Program.},
volume = {46},
number = {1-2},
pages = {163--193},
year = {2003},
url = {https://doi.org/10.1016/S0167-6423(02)00090-4},
doi = {10.1016/S0167-6423(02)00090-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/VitekBO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ChothiaDV03,
author = {Tom Chothia and
Dominic Duggan and
Jan Vitek},
title = {Type-Based Distributed Access Control},
booktitle = {16th {IEEE} Computer Security Foundations Workshop {(CSFW-16} 2003),
30 June - 2 July 2003, Pacific Grove, CA, {USA}},
pages = {170},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSFW.2003.1212712},
doi = {10.1109/CSFW.2003.1212712},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/ChothiaDV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PalaczV03,
author = {Krzysztof Palacz and
Jan Vitek},
editor = {Luca Cardelli},
title = {Java Subtype Tests in Real-Time},
booktitle = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
Darmstadt, Germany, July 21-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2743},
pages = {378--404},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45070-2\_17},
doi = {10.1007/978-3-540-45070-2\_17},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/PalaczV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivme/PalaczBFGYV03,
author = {Krzysztof Palacz and
Jason Baker and
Chapman Flack and
Christian Grothoff and
Hiroshi Yamauchi and
Jan Vitek},
editor = {David Gregg and
M. Anton Ertl},
title = {Engineering a customizable intermediate representation},
booktitle = {Proceedings of the 2003 Workshop on Interpreters, Virtual Machines
and Emulators, {IVME} 2003, San Diego, California, USA, June 12, 2003},
pages = {67--76},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/858570.858578},
doi = {10.1145/858570.858578},
timestamp = {Fri, 17 Jun 2022 16:17:17 +0200},
biburl = {https://dblp.org/rec/conf/ivme/PalaczBFGYV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZhaoPV03,
author = {Tian Zhao and
Jens Palsberg and
Jan Vitek},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Lightweight confinement for featherweight Java},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2003, October
26-30, 2003, Anaheim, CA, {USA}},
pages = {135--148},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949305.949318},
doi = {10.1145/949305.949318},
timestamp = {Fri, 25 Jun 2021 17:19:58 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ZhaoPV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/CzajkowskiV02,
author = {Grzegorz Czajkowski and
Jan Vitek},
editor = {Juan Hern{\'{a}}ndez N{\'{u}}{\~{n}}ez and
Ana M. D. Moreira},
title = {Resource Management for Safe Languages},
booktitle = {Object-Oriented Technology, {ECOOP} 2002 Workshops and Posters, M{\'{a}}laga,
Spain, June 10-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2548},
pages = {1--14},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36208-8\_1},
doi = {10.1007/3-540-36208-8\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/CzajkowskiV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PalaczVCD02,
author = {Krzysztof Palacz and
Jan Vitek and
Grzegorz Czajkowski and
Laurent Dayn{\`{e}}s},
editor = {Mamdouh Ibrahim and
Satoshi Matsuoka},
title = {Incommunicado: efficient communication for isolates},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2002, Seattle,
Washington, USA, November 4-8, 2002},
pages = {262--274},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/582419.582444},
doi = {10.1145/582419.582444},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PalaczVCD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/BryceV01,
author = {Ciar{\'{a}}n Bryce and
Jan Vitek},
title = {The JavaSeal Mobile Agent Kernel},
journal = {Auton. Agents Multi Agent Syst.},
volume = {4},
number = {4},
pages = {359--384},
year = {2001},
url = {https://doi.org/10.1023/A:1012715226170},
doi = {10.1023/A:1012715226170},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/BryceV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/VitekB01,
author = {Jan Vitek and
Boris Bokowski},
title = {Confined types in Java},
journal = {Softw. Pract. Exp.},
volume = {31},
number = {6},
pages = {507--532},
year = {2001},
url = {https://doi.org/10.1002/spe.369},
doi = {10.1002/SPE.369},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/VitekB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ma/CarbunarVV01,
author = {Bogdan Carbunar and
Marco T{\'{u}}lio de Oliveira Valente and
Jan Vitek},
editor = {Gian Pietro Picco},
title = {Lime Revisited},
booktitle = {Mobile Agents, 5th International Conference, {MA} 2001 Atlanta, GA,
USA, December 2-4, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2240},
pages = {54--69},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45647-3\_5},
doi = {10.1007/3-540-45647-3\_5},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ma/CarbunarVV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GrothoffPV01,
author = {Christian Grothoff and
Jens Palsberg and
Jan Vitek},
editor = {Linda M. Northrop and
John M. Vlissides},
title = {Encapsulating Objects with Confined Types},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2001, Tampa,
Florida, USA, October 14-18, 2001},
pages = {241--253},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/504282.504300},
doi = {10.1145/504282.504300},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GrothoffPV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CarbunarVV01,
author = {Bogdan Carbunar and
Marco T{\'{u}}lio de Oliveira Valente and
Jan Vitek},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {CoreLime: {A} Coordination Model for Mobile Agents},
booktitle = {International Workshop on Concurrency and Coordination, ConCoord 2001,
associated to the 13th Lipari School, Lipari Island, Italy, July 6-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {54},
pages = {17--34},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00232-4},
doi = {10.1016/S1571-0661(04)00232-4},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CarbunarVV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/SewellV00,
author = {Peter Sewell and
Jan Vitek},
title = {Secure Composition of Untrusted Code: Wrappers and Causality Types},
booktitle = {Proceedings of the 13th {IEEE} Computer Security Foundations Workshop,
{CSFW} '00, Cambridge, England, UK, July 3-5, 2000},
pages = {269--284},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/CSFW.2000.856943},
doi = {10.1109/CSFW.2000.856943},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/SewellV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BryceOV99,
author = {Ciar{\'{a}}n Bryce and
Manuel Oriol and
Jan Vitek},
editor = {Paolo Ciancarini and
Alexander L. Wolf},
title = {A Coordination Model Agents Based on Secure Spaces},
booktitle = {Coordination Languages and Models, Third International Conference,
{COORDINATION} '99, Amsterdam, The Netherlands, April 26-28, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1594},
pages = {4--20},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48919-3\_3},
doi = {10.1007/3-540-48919-3\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BryceOV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/SewellV99,
author = {Peter Sewell and
Jan Vitek},
title = {Secure Composition of Insecure Components},
booktitle = {Proceedings of the 12th {IEEE} Computer Security Foundations Workshop,
{CSFW} 1999, Mordano, Italy, June 28-30, 1999},
pages = {136--150},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/CSFW.1999.779769},
doi = {10.1109/CSFW.1999.779769},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/SewellV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/NobleVLA99,
author = {James Noble and
Jan Vitek and
Doug Lea and
Paulo S{\'{e}}rgio Almeida},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {Aliasing in Object Oriented Systems},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {136--163},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46589-8\_8},
doi = {10.1007/3-540-46589-8\_8},
timestamp = {Mon, 15 Jun 2020 17:08:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/NobleVLA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ma/BryceV99,
author = {Ciar{\'{a}}n Bryce and
Jan Vitek},
title = {The JavaSeal Mobile Agent Kernel},
booktitle = {1st International Symposium on Agent Systems and Applications / 3rd
International Symposium on Mobile Agents {(ASA/MA} '99), 3-6 October
1999, Palm Springs, CA, {USA}},
pages = {103--117},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ASAMA.1999.805397},
doi = {10.1109/ASAMA.1999.805397},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ma/BryceV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/VitekB99,
author = {Jan Vitek and
Boris Bokowski},
editor = {Brent Hailpern and
Linda M. Northrop and
A. Michael Berman},
title = {Confined Types},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1999,
Denver, Colorado, USA, November 1-5, 1999},
pages = {82--96},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/320384.320392},
doi = {10.1145/320384.320392},
timestamp = {Wed, 30 Mar 2022 13:58:42 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/VitekB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoopw/1999secure,
editor = {Jan Vitek and
Christian Damsgaard Jensen},
title = {Secure Internet Programming, Security Issues for Mobile and Distributed
Objects},
series = {Lecture Notes in Computer Science},
volume = {1603},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48749-2},
doi = {10.1007/3-540-48749-2},
isbn = {3-540-66130-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/1999secure.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/www/CiancariniTV98,
author = {Paolo Ciancarini and
Robert Tolksdorf and
Jan Vitek},
title = {Distributed World Wide Web Processing: Applications and Techniques
of Web Agents - Preface},
journal = {World Wide Web},
volume = {1},
number = {3},
pages = {109},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/www/CiancariniTV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/BradleyHV98,
author = {Quetzalcoatl Bradley and
R. Nigel Horspool and
Jan Vitek},
editor = {Stephen A. MacKay and
J. Howard Johnson},
title = {{JAZZ:} an efficient compressed format for Java archive files},
booktitle = {Proceedings of the 1998 conference of the Centre for Advanced Studies
on Collaborative Research, November 30 - December 3, 1998, Toronto,
Ontario, Canada},
pages = {7},
publisher = {{IBM}},
year = {1998},
url = {https://dl.acm.org/citation.cfm?id=783167},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/BradleyHV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/NobleVP98,
author = {James Noble and
Jan Vitek and
John Potter},
editor = {Eric Jul},
title = {Flexible Alias Protection},
booktitle = {ECOOP'98 - Object-Oriented Programming, 12th European Conference,
Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1445},
pages = {158--185},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054091},
doi = {10.1007/BFB0054091},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/NobleVP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BryceIV98,
author = {Ciar{\'{a}}n Bryce and
Leila Ismail and
Jan Vitek},
editor = {Serge Demeyer and
Jan Bosch},
title = {4th {ECOOP} Workshop on Mobility: Secure Internet Mobile Computations},
booktitle = {Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops,
Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1543},
pages = {288--290},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49255-0\_69},
doi = {10.1007/3-540-49255-0\_69},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoopw/BryceIV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/VitekC98,
author = {Jan Vitek and
Giuseppe Castagna},
editor = {Henri E. Bal and
Boumediene Belkhouche and
Luca Cardelli},
title = {Seal: {A} Framework for Secure Mobile Computations},
booktitle = {Internet Programming Languages, ICCL'98 Workshop, Chicago, IL, USA,
May 13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1686},
pages = {47--77},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47959-7\_3},
doi = {10.1007/3-540-47959-7\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/iccl/VitekC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KrallVH97,
author = {Andreas Krall and
Jan Vitek and
R. Nigel Horspool},
editor = {Mehmet Aksit and
Satoshi Matsuoka},
title = {Near Optimal Hierarchical Encoding of Types},
booktitle = {ECOOP'97 - Object-Oriented Programming, 11th European Conference,
Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1241},
pages = {128--145},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0053377},
doi = {10.1007/BFB0053377},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/KrallVH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jmlc/KrallV97,
author = {Andreas Krall and
Jan Vitek},
editor = {Hanspeter M{\"{o}}ssenb{\"{o}}ck},
title = {On Extending Java},
booktitle = {Modular Programming Languages, Joint Modular Languages Conference,
{JMLC} '97, Linz, Austria, March 19-21, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1204},
pages = {321--335},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62599-2\_49},
doi = {10.1007/3-540-62599-2\_49},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jmlc/KrallV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/VitekHK97,
author = {Jan Vitek and
R. Nigel Horspool and
Andreas Krall},
editor = {Mary E. S. Loomis and
Toby Bloom and
A. Michael Berman},
title = {Efficient Type Inclusion Tests},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1997,
Atlanta, Georgia, October 5-9, 1997},
pages = {142--157},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/263698.263730},
doi = {10.1145/263698.263730},
timestamp = {Wed, 30 Mar 2022 13:58:18 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/VitekHK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mos/1996,
editor = {Jan Vitek and
Christian F. Tschudin},
title = {Mobile Object Systems - Towards the Programmable Internet, Second
International Workshop, MOS'96, Linz, Austria, July 8-9, 1996, Selected
Presentations and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {1222},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62852-5},
doi = {10.1007/3-540-62852-5},
isbn = {3-540-62852-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mos/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/VitekH96,
author = {Jan Vitek and
R. Nigel Horspool},
editor = {Tibor Gyim{\'{o}}thy},
title = {Compact Dispatch Tables for Dynamically Typed Object Oriented Languages},
booktitle = {Compiler Construction, 6th International Conference, CC'96, Link{\"{o}}ping,
Sweden, April 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1060},
pages = {309--325},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61053-7\_70},
doi = {10.1007/3-540-61053-7\_70},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/VitekH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mos/VitekST96,
author = {Jan Vitek and
Manuel Serrano and
Dimitri Thanos},
editor = {Jan Vitek and
Christian F. Tschudin},
title = {Security and Communication in Mobile Object Systems},
booktitle = {Mobile Object Systems - Towards the Programmable Internet, Second
International Workshop, MOS'96, Linz, Austria, July 8-9, 1996, Selected
Presentations and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {1222},
pages = {177--200},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62852-5\_14},
doi = {10.1007/3-540-62852-5\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/mos/VitekST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DriesenHV95,
author = {Karel Driesen and
Urs H{\"{o}}lzle and
Jan Vitek},
editor = {Walter G. Olthoff},
title = {Message Dispatch on Pipelined Processors},
booktitle = {ECOOP'95 - Object-Oriented Programming, 9th European Conference, {\AA}rhus,
Denmark, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {952},
pages = {253--282},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-49538-X\_13},
doi = {10.1007/3-540-49538-X\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DriesenHV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VitekH94,
author = {Jan Vitek and
R. Nigel Horspool},
editor = {Mario Tokoro and
Remo Pareschi},
title = {Taming Message Passing: Efficient Method Look-Up for Dynamically Typed
Languages},
booktitle = {Object-Oriented Programming, Proceedings of the 8th European Conference,
{ECOOP} '94, Bologna, Italy, July 4-8, 1994},
series = {Lecture Notes in Computer Science},
volume = {821},
pages = {432--449},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0052195},
doi = {10.1007/BFB0052195},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/VitekH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/HorspoolV93,
author = {R. Nigel Horspool and
Jan Vitek},
title = {Static Analysis of PostScript Code},
journal = {Comput. Lang.},
volume = {19},
number = {2},
pages = {65--78},
year = {1993},
url = {https://doi.org/10.1016/0096-0551(93)90002-I},
doi = {10.1016/0096-0551(93)90002-I},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/HorspoolV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/VitekHU92,
author = {Jan Vitek and
R. Nigel Horspool and
James S. Uhl},
editor = {Uwe Kastens and
Peter Pfahler},
title = {Compile-Time Analysis of Object-Oriented Programs},
booktitle = {Compiler Construction, 4th International Conference on Compiler Construction,
CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {641},
pages = {236--250},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55984-1\_22},
doi = {10.1007/3-540-55984-1\_22},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/VitekHU92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/HorspoolV92,
author = {R. Nigel Horspool and
Jan Vitek},
editor = {James R. Cordy and
Mario Barbacci},
title = {Static analysis of PostScript code},
booktitle = {ICCL'92, Proceedings of the 1992 International Conference on Computer
Languages, Oakland, California, USA, 20-23 Apr 1992},
pages = {14--23},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCL.1992.185464},
doi = {10.1109/ICCL.1992.185464},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/HorspoolV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-12-11 20:22 CET 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:
