• Sign in
  • Sign up
conf.researchr.org / Bhakti Shah
  • FSE 2024 profile
  • ICFP 2023 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • SPLASH 2023 profile
Bhakti Shah

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
xWed 21 May 19:26
using conf.researchr.org (v1.69.0)
Support page
Sign Up