Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bhakti Shah
conf.researchr.org general profile
FSE 2024 profile
ICFP 2023 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2023 profile
Registered user since Thu 12 Jan 2023
Name:
Bhakti Shah
Affiliation:
University of St. Andrews
Personal website:
https://bhaktishh.github.io
Contributions
2025
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2024
ESEC/FSE
Author of How We Built Cedar: A Verification-Guided Approach within the Industry Papers-track
CoqPL
Author of Integrating Dependency Building with Document Checking in Coq within the CoqPL 2024-track
POPL
Committee Member in AV Committee
Author of A Lean Formalization of Cedar within the Student Research Competition-track
Video Chair in Organizing Committee
2023
SPLASH
Video Co-Chair in Organizing Committee
ICFP
Author of Visualizing Graphical Proofs in Coq within the Student Research Competition-track
Share
x
Sun 4 May 16:18
