Leonidas Lampropoulos

Registered user since Thu 16 Mar 2017

Name: Leonidas Lampropoulos

Country: Greece

Affiliation: University of Pennsylvania, University of Maryland

Personal website: https://lemonidas.github.io/

Research interests: Programming Languages

Contributions

DeepSpec 2019Presenter of Coverage Guided, Property Based Testing within the DeepSpec 2019-track
SPLASH 2019Panelist of Panel: Current PhD Students and Postdocs within the PLMW-track
Committee Member in Judges within the SRC-track
Author of Coverage Guided, Property Based Testing within the OOPSLA-track
Panelist in Speakers & Panelists within the PLMW-track
DeepSpec 2018Speaker of QuickChick: Random Testing in Coq within the DeepSpec 2018-track
POST 2019Author of Achieving Safety Incrementally with Checked C within the POST 2019-track
PLDI 2019Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2019Author of [T1] QuickChick: Property-Based Testing in Coq within the TutorialFest-track
PLMW @ ICFP 2018Panelist of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2018-track
ICFP 2018Author of Keep Your Laziness in Check within the Research Papers-track
Haskell 2017Author of Ode on a Random Urn (Functional Pearl) within the Haskell 2017-track
Author of A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq within the Haskell 2017-track
POPL 2018Author of Generating Good Generators for Inductive Relations within the Research Papers-track
Author of Generating Good Generators for Inductive Relations within the Artifact Evaluation-track
POPL 2017Author of Beginner's Luck: A Language for Property-Based Generators within the POPL-track
PPS 2016Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track