A Framework for Debugging Automated Program Verification Proofs via Proof Actions
Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
International Conference on Computer Aided Verification (CAV) | July 2024
Distinguished Paper Award
Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
International Conference on Computer Aided Verification (CAV) | July 2024
Distinguished Paper Award
May 2024
PhD Thesis: Carnegie Mellon University | May 2024
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
Formal Methods in Computer-Aided Design (FMCAD) | October 2023
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
Principles of Programming Languages (POPL) | January 2023
Jay Bosamiya, Wen Shih Lim, Bryan Parno
USENIX Security Symposium | August 2022
Distinguished Paper Award and Internet Defense Prize
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
IEEE Symposium on Security and Privacy | May 2021
Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul van Oorschot, Bryan Parno
Annual Computer Security Applications Conference (ACSAC) | December 2020
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020
Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
International Conference on Computer Aided Verification (CAV) | July 2024
Distinguished Paper Award
May 2024
PhD Thesis: Carnegie Mellon University | May 2024
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
Formal Methods in Computer-Aided Design (FMCAD) | October 2023
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
Principles of Programming Languages (POPL) | January 2023
May 2024
PhD Thesis: Carnegie Mellon University | May 2024
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
Principles of Programming Languages (POPL) | January 2023
Jay Bosamiya, Wen Shih Lim, Bryan Parno
USENIX Security Symposium | August 2022
Distinguished Paper Award and Internet Defense Prize
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
IEEE Symposium on Security and Privacy | May 2021
Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul van Oorschot, Bryan Parno
Annual Computer Security Applications Conference (ACSAC) | December 2020
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020
May 2024
PhD Thesis: Carnegie Mellon University | May 2024
Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
International Conference on Computer Aided Verification (CAV) | July 2024
Distinguished Paper Award
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
Formal Methods in Computer-Aided Design (FMCAD) | October 2023
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
Principles of Programming Languages (POPL) | January 2023
Jay Bosamiya, Wen Shih Lim, Bryan Parno
USENIX Security Symposium | August 2022
Distinguished Paper Award and Internet Defense Prize
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
IEEE Symposium on Security and Privacy | May 2021
Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul van Oorschot, Bryan Parno
Annual Computer Security Applications Conference (ACSAC) | December 2020
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020
May 2024
PhD Thesis: Carnegie Mellon University | May 2024