Concepedia

Leo Osvald

LO

2

Publications

37

Citations

2

H-Index

2016

Active since

Affiliations

Purdue University West Lafayette(Current)

Leo Osvald is an author at Purdue University West Lafayette specializing in engineering, program analysis, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationProgramming LanguagesHousingBusinessCompilersEconomics

Publications per year

2016–2019

2

Publications

2

Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect

Leo Osvald, Grégory M. Essertel, Xilun Wu et al. · 2016 · 20 citations · Full text

Engineering, Socio-economic Impact, Sustainable Urban Housing +25

Compiling with continuations, or without? whatever.

Youyou Cong, Leo Osvald, Grégory M. Essertel et al. · Proceedings of the ACM on Programming Languages · 2019 · 17 citations · Full text

Programming Language Theory, Good Compiler Ir, Engineering +15

Rows per page

1–2 of 2