Lukas Lazarek

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 9

Top Topics

Formal Semantics

Java Virtual Machine

Program Execution

Streaming Media

Top Venues

Proc. ACM Program. Lang.

SPLASH (Companion Volume)

Art Sci. Eng. Program.

Publications

Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas
How to Evaluate Blame for Gradual Types, Part 2. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen
A Transient Semantics for Typed Racket. Art Sci. Eng. Program. 6 (2) (2022)
Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen
A Transient Semantics for Typed Racket. CoRR (2021)
Roshan Shyamsunder, Lukas Lazarek, Christos Dimoulas, Aleksandar Kuzmanovic
Multilateral Micro-Monitoring for Internet Streaming. CoRR (2021)
Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas
How to evaluate blame for gradual types. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Lukas Lazarek, Alexis King, Samanvitha Sundar, Robert Bruce Findler, Christos Dimoulas
Does blame shifting work? Proc. ACM Program. Lang. 4 (POPL) (2020)
Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, Christian Kästner
Faster Variational Execution with Transparent Bytecode Transformation. CoRR (2018)
Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, Christian Kästner
Faster variational execution with transparent bytecode transformation. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Lukas Lazarek
list variations. SPLASH (Companion Volume) (2017)