Lukas Lazarek

According to our database, Lukas Lazarek authored at least 9 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

The Koala Benchmarks for the Shell: Characterization and Implications.

Evangelos Lamprou, Ethan Williams, Georgios Kaoukis, Zhuoxuan Zhang, Michael Greenberg, Konstantinos Kallas, Lukas Lazarek, Nikos Vasilakis

Proceedings of the 2025 USENIX Annual Technical Conference, 2025

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, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis

Proceedings of the 2025 Workshop on Hot Topics in Operating Systems, 2025

2023

How to Evaluate Blame for Gradual Types, Part 2.

Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas

Proc. ACM Program. Lang., August, 2023

2022

A Transient Semantics for Typed Racket.

Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen

Art Sci. Eng. Program., 2022

2021

How to evaluate blame for gradual types.

Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas

Proc. ACM Program. Lang., 2021

Multilateral Micro-Monitoring for Internet Streaming.

Roshan Shyamsunder, Lukas Lazarek, Christos Dimoulas, Aleksandar Kuzmanovic

CoRR, 2021

2020

Does blame shifting work?

Lukas Lazarek, Alexis King, Samanvitha Sundar, Robert Bruce Findler, Christos Dimoulas

Proc. ACM Program. Lang., 2020

2018

Faster variational execution with transparent bytecode transformation.

Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, Christian Kästner

Proc. ACM Program. Lang., 2018

2017

How to efficiently process ¹⁰⁰ list variations.

Lukas Lazarek

Proceedings of the Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, 2017