conf.researchr.org / Nada Amin
Registered user since Sun 17 Aug 2014
Contributions
2026
Symposium on Practical Aspects of Declarative Languages
2025
GPCE
Symposium on Practical Aspects of Declarative Languages
Dafny
- Author of DafnyBench: A Benchmark for Formal Software Verification within the Dafny 2025-track
- Author of dafny-annotator: AI-Assisted Verification of Dafny Programs within the Dafny 2025-track
- Author of VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search within the Dafny 2025-track
PEPM
2024
2023
SPLASH
2022
2021
SPLASH
miniKanren
Symposium on Practical Aspects of Declarative Languages
2020
PLMW
Scala
2019
SPLASH
Off the Beaten Track
2018
ICFP
PLDI
POPL
2017
META
GPCE
DSLDI
POPL
- ERC member in External Review Committee within the POPL-track
- Author of Type Soundness Proofs with Definitional Interpreters within the POPL-track
- Author of LMS-Verify: Abstraction Without Regret for Verified Systems Programming within the POPL-track
- Session Chair of Logic and Programming (part of POPL)