THE PEOPLE BEHIND THE CONFERENCE
VMCAI 2023
International Conference on Verification, Model Checking and Abstract Interpretation
Source-attributed rosters checked 2026-09-13. 46 collected records; 33 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
Artifact Evaluation Committee
10 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Jocelyn Qiaochu ChenIdentity not yet linked | Artifact Evaluation Committee Member | University of Texas at Austin | Conference website ↗Checked 2026-09-13 |
| Yanju ChenIdentity not yet linked | Artifact Evaluation Committee Member | University of California at Santa Barbara | Conference website ↗Checked 2026-09-13 |
| Rui Dong | Artifact Evaluation Committee Member | University of Michigan | Conference website ↗Checked 2026-09-13 |
| Ferhat ErataIdentity not yet linked | Artifact Evaluation Committee Member | Yale University | Conference website ↗Checked 2026-09-13 |
| Joomy KorkutIdentity not yet linked | Artifact Evaluation Committee Member | Princeton University, USA | Conference website ↗Checked 2026-09-13 |
| Yannan LiIdentity not yet linked | Artifact Evaluation Committee Member | Oracle America Inc | Conference website ↗Checked 2026-09-13 |
| Shouvick MondalIdentity not yet linked | Artifact Evaluation Committee Member | IIT Gandhinagar, India | Conference website ↗Checked 2026-09-13 |
| Felipe R. MonteiroIdentity not yet linked | Artifact Evaluation Committee Member | Amazon | Conference website ↗Checked 2026-09-13 |
| Abhishek TiwariIdentity not yet linked | Artifact Evaluation Committee Member | University of Passau, Germany | Conference website ↗Checked 2026-09-13 |
| Yaoda ZhouIdentity not yet linked | Artifact Evaluation Committee Member | University of Hong Kong | Conference website ↗Checked 2026-09-13 |
Organizing Committee
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Cezara DrăgoiIdentity not yet linked | Organizer | AWS / ENS American Welding Society · ENS | Conference website ↗Checked 2026-09-13 |
| Michael Emmi | Organizer | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| Jingbo WangIdentity not yet linked | Organizer | University of Southern California | Conference website ↗Checked 2026-09-13 |
Program Committee
33 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Mohamed Faouzi Atig | Member | Uppsala University, Sweden | Conference website ↗Checked 2026-09-13 |
| Ahmed Bouajjani | Member | IRIF, Université Paris Diderot Institut de Recherche en Informatique Fondamentale · Université Paris Diderot | Conference website ↗Checked 2026-09-13 |
| Bor-Yuh Evan Chang | Member | University of Colorado Boulder & Amazon University of Colorado Boulder · Amazon | Conference website ↗Checked 2026-09-13 |
| Deepak D'SouzaIdentity not yet linked | Member | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Rayna Dimitrova | Member | CISPA Helmholtz Center for Information Security | Conference website ↗Checked 2026-09-13 |
| Cezara DrăgoiIdentity not yet linked | Member | AWS / ENS American Welding Society · ENS | Conference website ↗Checked 2026-09-13 |
| Michael Emmi | Member | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| Constantin Enea | Member | Ecole Polytechnique / LIX / CNRS École Polytechnique · Laboratoire d'Informatique de l'École Polytechnique · CNRS | Conference website ↗Checked 2026-09-13 |
| Jerome Feret | Member | INRIA Paris | Conference website ↗Checked 2026-09-13 |
| Jean-Christophe FilliatreIdentity not yet linked | Member | CNRS | Conference website ↗Checked 2026-09-13 |
| Bernd Finkbeiner | Member | CISPA Helmholtz Center for Information Security | Conference website ↗Checked 2026-09-13 |
| Arie Gurfinkel | Member | University of Waterloo | Conference website ↗Checked 2026-09-13 |
| Liana HadareanIdentity not yet linked | Member | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| Ákos HajduIdentity not yet linked | Member | Meta | Conference website ↗Checked 2026-09-13 |
| Shaobo HeIdentity not yet linked | Member | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| Dejan JovanovićIdentity not yet linked | Member | SRI International | Conference website ↗Checked 2026-09-13 |
| Burcu Kulahcioglu OzkanIdentity not yet linked | Member | Delft University of Technology | Conference website ↗Checked 2026-09-13 |
| Akash Lal | Member | Microsoft Research | Conference website ↗Checked 2026-09-13 |
| Anthony Widjaja LinIdentity not yet linked | Member | TU Kaiserslautern; MPI-SWS | Conference website ↗Checked 2026-09-13 |
| Stephan MerzIdentity not yet linked | Member | Inria Nancy | Conference website ↗Checked 2026-09-13 |
| Suha Orhun MutluergilIdentity not yet linked | Member | Sabanci University, Turkey | Conference website ↗Checked 2026-09-13 |
| Kedar NamjoshiIdentity not yet linked | Member | Nokia Bell Labs | Conference website ↗Checked 2026-09-13 |
| Jorge A. NavasIdentity not yet linked | Member | Certora, inc. | Conference website ↗Checked 2026-09-13 |
| Gennaro ParlatoIdentity not yet linked | Member | University of Molise | Conference website ↗Checked 2026-09-13 |
| Corina S. Pasareanu | Member | Carnegie Mellon University Silicon Valley, NASA Ames Research Center Carnegie Mellon University Silicon Valley · NASA Ames Research Center | Conference website ↗Checked 2026-09-13 |
| Tatjana PetrovIdentity not yet linked | Member | Universität Konstanz | Conference website ↗Checked 2026-09-13 |
| Felipe R. MonteiroIdentity not yet linked | Member | Amazon | Conference website ↗Checked 2026-09-13 |
| Daniel Schwartz-NarbonneIdentity not yet linked | Member | Amazon, n.n. Amazon · Narcolepsy Network | Conference website ↗Checked 2026-09-13 |
| Subodh SharmaIdentity not yet linked | Member | IIT Delhi | Conference website ↗Checked 2026-09-13 |
| Mihaela SighireanuIdentity not yet linked | Member | IRIF, Université Paris Diderot, France Institut de Recherche en Informatique Fondamentale · Université Paris Diderot | Conference website ↗Checked 2026-09-13 |
| Mandayam SrivasIdentity not yet linked | Member | Chennai Mathematical Institute | Conference website ↗Checked 2026-09-13 |
| Zhen ZhangIdentity not yet linked | Member | Utah State University | Conference website ↗Checked 2026-09-13 |
| Florian ZulegerIdentity not yet linked | Member | TU Vienna | Conference website ↗Checked 2026-09-13 |