Lukas Lazarek is an author at Northwestern University specializing in formal methods, software engineering, and program analysis.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringBiasSyntaxStatistics
Publications per year
2018–2021
2
2
How to evaluate blame for gradual types
Lukas Lazarek, Ben Greenman, Matthias Felleisen et al. · Proceedings of the ACM on Programming Languages · 2021 · 10 citations · Full text
Rows per page
1–2 of 2