Samuel Gruetter -

Registered user since Fri 15 Jun 2018

Name:Samuel Gruetter

Affiliation:Massachusetts Institute of Technology

Research interests:Programming Languages and Verification

Contributions

CoqPL 2023	Author of Omnisemantics: Smooth Handling of Nondeterminism (Invited talk) within the CoqPL 2023-track
SPLASH 2022	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Scala 2022	Committee Member in Program Committee within the Scala 2022-track
‹Programming› 2022	External Reviewer in Research Papers within the Research Papers-track
SPLASH 2021	Author of Integration Verification Across Software and Hardware for a Simple Embedded System within the SIGPLAN Papers-track
PLDI 2021	Author of Integration Verification across Software and Hardware for a Simple Embedded System within the PLDI-track
REMS-DeepSpec 2020	Author of The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System within the REMS-DeepSpec 2020-track
CoqPL 2019	Author of Counterexamples for Coq Conjectures within the CoqPL-track
DeepSpec 2018	Speaker of A Quick Hack to ask any SMT Solver if my Coq Goal is True within the DeepSpec 2018-track