How to efficiently process 100 list variations. - Lukas Lazarek (SPLASH (Companion Volume), 2017)

Faster variational execution with transparent bytecode transformation. - Chu-Pan Wong; Jens Meinicke; Lukas Lazarek; Christian Kästner (Proc. ACM Program. Lang., 2018)

Does blame shifting work? - Lukas Lazarek; Alexis King; Samanvitha Sundar; Robert Bruce Findler; Christos Dimoulas (Proc. ACM Program. Lang., 2020)

Multilateral Micro-Monitoring for Internet Streaming. - Roshan Shyamsunder; Lukas Lazarek; Christos Dimoulas; Aleksandar Kuzmanovic (CoRR, 2021)

How to evaluate blame for gradual types. - Lukas Lazarek; Ben Greenman; Matthias Felleisen; Christos Dimoulas (Proc. ACM Program. Lang., 2021)

A Transient Semantics for Typed Racket. - Ben Greenman; Lukas Lazarek; Christos Dimoulas; Matthias Felleisen (Art Sci. Eng. Program., 2022)

How to Evaluate Blame for Gradual Types, Part 2. - Lukas Lazarek; Ben Greenman; Matthias Felleisen; Christos Dimoulas (Proc. ACM Program. Lang., 2023)

From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs. - Lukas Lazarek; Seong-Heon Jung; Evangelos Lamprou; Zekai Li; Anirudh Narsipur; Eric Zhao 006; Michael Greenberg 002; Konstantinos Kallas; Konstantinos Mamouras; Nikos Vasilakis (HotOS, 2025)

The Koala Benchmarks for the Shell: Characterization and Implications. - Evangelos Lamprou; Ethan Williams; Georgios Kaoukis; Zhuoxuan Zhang; Michael Greenberg 002; Konstantinos Kallas; Lukas Lazarek; Nikos Vasilakis (USENIX ATC, 2025)