Lukas Lazarek - RankMe

12 papers A 1Journal 9Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Caruca: Effective and Efficient Specification Mining for Opaque Software Components. CoRR Evangelos Lamprou, Seong-Heon Jung, Mayank Keoliya, Lukas Lazarek, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis
2025	A	`conf`	From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs. HotOS Lukas Lazarek, Seong-Heon Jung, Evangelos Lamprou, Zekai Li, Anirudh Narsipur, Eric Zhao, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis
2025	—	`conf`	The Koala Benchmarks for the Shell: Characterization and Implications. USENIX ATC Evangelos Lamprou, Ethan Williams, Georgios Kaoukis, Zhuoxuan Zhang, Michael Greenberg, Konstantinos Kallas, Lukas Lazarek, Nikos Vasilakis
2023	J	`jnl`	How to Evaluate Blame for Gradual Types, Part 2. Proc. ACM Program. Lang. Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas
2022	J	`jnl`	A Transient Semantics for Typed Racket. Art Sci. Eng. Program. Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen
2021	J	`jnl`	A Transient Semantics for Typed Racket. CoRR Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen
2021	J	`jnl`	How to evaluate blame for gradual types. Proc. ACM Program. Lang. Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas
2021	J	`jnl`	Multilateral Micro-Monitoring for Internet Streaming. CoRR Roshan Shyamsunder, Lukas Lazarek, Christos Dimoulas, Aleksandar Kuzmanovic
2020	J	`jnl`	Does blame shifting work? Proc. ACM Program. Lang. Lukas Lazarek, Alexis King, Samanvitha Sundar, Robert Bruce Findler, Christos Dimoulas
2018	J	`jnl`	Faster Variational Execution with Transparent Bytecode Transformation. CoRR Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, Christian Kästner
2018	J	`jnl`	Faster variational execution with transparent bytecode transformation. Proc. ACM Program. Lang. Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, Christian Kästner
2017	—	`conf`	How to efficiently process SPLASH (Companion Volume) Lukas Lazarek