Marco Gaboardi

Registered user since Tue 19 Jan 2016

Name:Marco Gaboardi
Bio:

Marco Gaboardi is an assistant professor at Boston University. Prior to joining Boston University he was an assistant professor at the University at Buffalo, SUNY, and prior to that he was an assistant professor at the University of Dundee, Scotland. Marco received his PhD from the University of Torino, Italy, and the Institute National Polytechnique de Lorraine, France. He has been a visiting scholar at the University of Pennsylvania, at Harvard University’s CRCS center, and at the Simons’ institute at UC Berkeley. He is a recipient of the NSF CAREER award and of a EU Marie Curie Fellowship. Marco’s research is in programming languages, formal verification, and in differential privacy.

Country:United States
Affiliation:Boston University
Research interests:Programming Languages, Differential Privacy, Logic

Contributions

ICFP 2023 ICFP'24 General Chair in Steering Committee
CoqPL 2023 Author of Verified Differential Privacy for Finite Computers within the CoqPL 2023-track
APLAS 2022 Committee Member in Program Committee
TyDe 2022 Session Chair of Zena's Birthday 2 (part of TyDe 2022)
Session Chair of TyDe 3 / Zena's Birthday 1 (part of TyDe 2022)
Author of Zena's birthday introduction within the TyDe 2022-track
POPL 2022 Author of A Separation Logic for Negative Dependence within the POPL-track
Session Chair of Semantics 2 (part of POPL)
Author of On Incorrectness Logic and Kleene Algebra with Top and Tests within the POPL-track
ICFP 2021 Author of Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics within the Research Papers-track
POPL 2021 Author of A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis within the POPL-track
Committee Member in Program Committee within the POPL-track
PriSC 2021 Committee Member in Program Committee within the PriSC 2021-track
PLMW 2020 Invited Speaker in Invited speakers within the PLMW 2020-track
Author of Research as a collaborative effort within the PLMW 2020-track
ICFP 2019 Author of Relational Cost Analysis for Functional-Imperative Programs within the Research Papers-track
PLDI 2019 Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track
POPL 2019 Workshops Co-Chair in Organizing Committee
Author of Formal Verification of Higher-Order Probabilistic Programs within the Research Papers-track
Committee Member in Tutorials Evaluation Committee within the TutorialFest-track
ICFP 2018 Committee Member in Program Committee within the Research Papers-track
POPL 2018 Organizing Chair in Organizers within the TutorialFest-track
Committee Member in Selection Committee within the Workshops-track
Author of Monadic refinements for relational cost analysis within the Research Papers-track
Associated Events Chair in Organizing Committee
PPS 2018 Author of Probabilistic Programming for Robotics within the PPS 2018-track
ICFP 2017 Author of A Relational Logic for Higher-Order Programs within the Research Papers-track
FSCD 2017 Author of Type systems for the relational verification of higher order programs within the FSCD 2017-track
POPL 2017 Author of A Semantic Account of Metric Preservation within the POPL-track
Author of Relational Cost Analysis within the POPL-track
Session Chair of Probabilistic Programming (part of POPL)
Committee Member in Program Committee within the POPL-track
Off the Beaten Track 2017 Author of Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach within the OBT-track
ICFP 2016 Author of Combining Effects and Coeffects via Grading within the Research Papers-track