conf.researchr.org / Gregory Malecha
Registered user since Thu 2 Jan 2020
Name:Gregory Malecha
Country:United States
Affiliation:BedRock Systems
Personal website: https://gmalecha.github.io/
Research interests:Program verification, Concurrency, Systems, Proof assistants, Programming languages
Contributions
2026
RocqPL
- Author of Verification of Templated Code in C++ within the Rocq for Programming Languages 2026-track
- Author of Specifying and Verifying the NOVA Microhypervisor in Concurrent Separation Logic within the Rocq for Programming Languages 2026-track
- Author of Recursive Mutexes in Separation Logic within the Rocq for Programming Languages 2026-track