Concepedia

Author

Lukas Lazarek

Northwestern UniversityORCID

Also Known As

Lazarek, Lukas, Lukas Lazarek

10

Publications

56

Citations

4

H-Index

23

Concepts

All Affiliations

Northwestern University
LL

About

Lukas Lazarek is an author at Northwestern University specializing in formal methods, software engineering, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

37

2

Computer Science

2

2

37

3

Public Health

1

1

10

4

Computer Engineering

1

1

27

5

Linguistics

1

1

10

Lukas Lazarek

×

2

Publications

37

Citations

2

H-Index

YearCitations

Faster variational execution with transparent bytecode transformation

Chu-Pan Wong, Jens Meinicke, Lukas Lazarek,

Proceedings of the ACM on Programming Languages

2018

27

How to evaluate blame for gradual types

Lukas Lazarek, Ben Greenman, Matthias Felleisen,

Proceedings of the ACM on Programming Languages

2021

10

Page 1