Concepedia

Leonidas Lampropoulos

LL

8

Publications

317

Citations

8

H-Index

2012

Active since

Affiliations

California University of Pennsylvania(Current)

University of Maryland, College Park

University of Pennsylvania

Chalmers University of Technology

Leonidas Lampropoulos is an author at California University of Pennsylvania specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSoftware TestingSoftware AnalysisAutomated ReasoningData Science

Publications per year

2012–2022

8

Publications

8

Measuring Neural Net Robustness with Constraints

Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos et al. · arXiv (Cornell University) · 2016 · 115 citations · Full text

Artificial Intelligence, Neural Net Robustness, Data Augmentation +11

Coverage guided, property based testing

Leonidas Lampropoulos, Michael Hicks, Benjamin C. Pierce · Proceedings of the ACM on Programming Languages · 2019 · 41 citations · Full text

Engineering, Verification, Test Coverage +20

Beginner's luck: a language for property-based generators

Leonidas Lampropoulos, Diane Gallois-Wong, Cătălin Hriţcu et al. · 2016 · 39 citations · Full text

Engineering, Verification, Test Data Generation +18

Generating good generators for inductive relations

Leonidas Lampropoulos, Zoe Paraskevopoulou, Benjamin C. Pierce · Proceedings of the ACM on Programming Languages · 2017 · 39 citations · Full text

Program Checking, Engineering, Verification +19

Testing noninterference, quickly

Cătălin Hriţcu, John Hughes, Benjamin C. Pierce et al. · 2013 · 35 citations · Full text

Program Checking, Engineering, Information-flow Control Mechanisms +24

Rows per page

1–5 of 8