Link bibtex
J. Belyakova, B. Chung, R. Tate, J. Vitek:
Decidable Subtyping of Existential Types for Julia, in Proc. ACM Program. Lang. 8(PLDI), pp. 191:1091–191:1114, 2024
DOI: 10.1145/3656421
Link bibtex
P. Maj, S. Muroya, K. Siek, L. Di Grazia, J. Vitek:
The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments, in DROPS-IDN/v2/document/10.4230/LIPIcs.ECOOP.2024.27, 2024
DOI: 10.4230/LIPIcs.ECOOP.2024.27
Link bibtex
M. Mehta, S. Krynski, H. Gualandi, M. Thakur, J. Vitek:
Reusing Just-in-Time Compiled Code, in Artifact of "Reusing Just-in-Time Compiled Code" 7(OOPSLA2), pp. 263:1176–263:1197, 2023
DOI: 10.1145/3622839
Link bibtex
O. Flückiger, J. Ječmen, S. Krynski, J. Vitek:
Deoptless: speculation with dispatched on-stack replacement and specialized continuations, in Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, pp. 749–761, 2022
ISBN: 978-1-4503-9265-5, DOI: 10.1145/3519939.3523729
Link bibtex
A. Turcotte, P. Donat-Bouillud, F. Křikava, J. Vitek:
signatr: A Data-Driven Fuzzing Tool for R, in Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, pp. 216–221, 2022
ISBN: 978-1-4503-9919-7, DOI: 10.1145/3567512.3567530

Filter