Lukas Lazarek Source Confirmed

Affiliation confirmed via AI analysis of OpenAlex, ORCID, and web sources.

Researcher

John Brown University

faculty

4 h-index 10 pubs 56 cited

Research Areas

Software Engineering Research Software Testing and Debugging Techniques Logic, programming, and type systems Software System Performance and Reliability Parallel Computing and Optimization Techniques

Links

ORCID

Is this your profile? Verify and claim your profile

OverviewAI-generated summary

Lukas Lazarek is a faculty member at John Brown University whose work encompasses software engineering research with a particular emphasis on software testing, debugging, and performance. His research delves into the theoretical underpinnings of programming languages, especially logic and type systems. Lazarek's work also examines methods for ensuring software system reliability, alongside techniques in parallel computing and optimization. Recent publications have explored the evaluation of blame assignment in gradual type systems and the semantics of Typed Racket. His work also includes static analysis techniques applied to Unix shell programs, transitioning between ahead-of-time and just-in-time compilation strategies.

Metrics

  • h-index: 4
  • Publications: 10
  • Citations: 56

Selected Publications

  • From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs (2025) DOI

Collaborators

Researchers in the database who share publications

Matthias Felleisen John Brown University 4 shared publications Ben Greenman John Brown University 4 shared publications Nikos Vasilakis John Brown University 1 shared publication Evangelos Lamprou John Brown University 1 shared publication Sungjoon Jung John Brown University 1 shared publication Eric Zhao John Brown University 1 shared publication ZhuoHan Li John Brown University 1 shared publication

Similar Researchers

Based on overlapping research topics

Shriram Krishnamurthi John Brown University
Software Engineering Research Software Testing and Debugging Techniques Logic, programming, and type systems
Strong match
Steven P. Reiss John Brown University
Software Engineering Research Software Testing and Debugging Techniques Software System Performance and Reliability
Strong match
ZhuoHan Li John Brown University
Software Engineering Research Logic, programming, and type systems Parallel Computing and Optimization Techniques
Good match
Ben Greenman John Brown University
Software Engineering Research Logic, programming, and type systems Parallel Computing and Optimization Techniques
Good match
E. F. Miller John Brown University
Software Engineering Research Software Testing and Debugging Techniques Software System Performance and Reliability
Good match
Kevin A. Schneider University of Arkansas for Medical Sciences
Software Engineering Research Software Testing and Debugging Techniques Software System Performance and Reliability
Good match