Leonidas Lampropoulos

Registered user since Thu 16 Mar 2017

Name:Leonidas Lampropoulos
Country:Greece
Affiliation:University of Maryland, College Park
Research interests:Programming Languages

Contributions

CoqPL 2022 Committee Member in Program Committee within the CoqPL-track
OCaml 2021 Author of Property-Based Testing for OCaml through Coq within the OCaml 2021-track
POPL 2022 Committee Member in Program Committee within the POPL-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
Committee Member in Virtualization Committee
Workshops Co-Chair in Organizing Committee
Co-chair in Selection Committee within the Tutorials-track
SPLASH 2020 Committee Member in External Review Committee within the OOPSLA-track
Session Chair of M-5 (part of OOPSLA)
ICFP 2020 Author of Untitled PL Card Game within the Social Events-track
Co-chair in Selection Committee within the Tutorials-track
Workshops Co-Chair in Organizing Committee
DeepSpec 2019 Presenter of Coverage Guided, Property Based Testing within the DeepSpec 2019-track
SPLASH 2019 Panelist 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 2018 Speaker of QuickChick: Random Testing in Coq within the DeepSpec 2018-track
POST 2019 Author of Achieving Safety Incrementally with Checked C within the POST 2019-track
PLDI 2019 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2019 Author of [T1] QuickChick: Property-Based Testing in Coq within the TutorialFest-track
PLMW @ ICFP 2018 Panelist of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2018-track
ICFP 2018 Author of Keep Your Laziness in Check within the Research Papers-track
Haskell 2017 Author 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 2018 Author 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 2017 Author of Beginner's Luck: A Language for Property-Based Generators within the POPL-track
PPS 2016 Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track