Leonidas Lampropoulos -

Registered user since Thu 16 Mar 2017

Name:Leonidas Lampropoulos

Country:Greece

Affiliation:University of Maryland, College Park

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

Research interests:Programming Languages

Contributions

PLMW @ POPL 2023	Invited Speaker in Speakers within the PLMW @ POPL 2023-track Presenter of How (not) to give a great research talk within the PLMW @ POPL 2023-track
Haskell 2023	Committee Member in Program Committee within the Haskell 2023-track
PLDI 2023	Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL 2023	Artifact Evaluation Co-Chair in Organizing Committee Author of QuickChick: Combining Random Testing and Verification in Coq within the TutorialFest-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
Haskell 2022	Author of Liquid Proof Macros within the Haskell 2022-track
ICFP 2022	Author of Random Testing of a Higher-Order Blockchain Language within the ICFP Papers and Events-track
PLDI 2022	Author of Computing Correctly with Inductive Relations within the PLDI-track
POPL 2022	Committee Member in Program Committee within the POPL-track
CoqPL 2022	Committee Member in Program Committee within the CoqPL-track
SPLASH 2021	Session Chair of Types & Verification (part of OOPSLA)
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
OCaml 2021	Author of Property-Based Testing for OCaml through Coq within the OCaml 2021-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
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 2019	Presenter of Coverage Guided, Property Based Testing within the DeepSpec 2019-track
PLDI 2019	Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POST 2019	Author of Achieving Safety Incrementally with Checked C within the POST 2019-track
POPL 2019	Author of [T1] QuickChick: Property-Based Testing in Coq within the TutorialFest-track
ICFP 2018	Author of Keep Your Laziness in Check within the Research Papers-track
PLMW @ ICFP 2018	Panelist of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2018-track
DeepSpec 2018	Speaker of QuickChick: Random Testing in Coq within the DeepSpec 2018-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
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 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