Lukas Lazarek

Orcid: 0009-0000-6484-5270

According to our database¹, Lukas Lazarek authored at least 7 papers between 2017 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

How to Evaluate Blame for Gradual Types, Part 2.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., August, 2023

2022

A Transient Semantics for Typed Racket.

[BibT_eX]

[DOI]

Art Sci. Eng. Program., 2022

2021

How to evaluate blame for gradual types.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

Multilateral Micro-Monitoring for Internet Streaming.

[BibT_eX]

[DOI]

Roshan Shyamsunder

Lukas Lazarek

Christos Dimoulas

Aleksandar Kuzmanovic

CoRR, 2021

2020

Does blame shifting work?

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

2018

Faster variational execution with transparent bytecode transformation.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

2017

How to efficiently process <sup>100</sup> list variations.

[BibT_eX]

[DOI]

Lukas Lazarek

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

Lukas Lazarek

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...