• Sign in
  • Sign up
conf.researchr.org / Clark Barrett
  • PLDI 2023 profile
  • POPL 2017 profile
  • POPL 2022 profile
  • POPL 2024 profile
  • SPLASH 2022 profile
Clark Barrett

Registered user since Tue 20 Sep 2016

Name:Clark Barrett
Country:United States
Affiliation:Stanford University
Personal website: https://cs.stanford.edu/~barrett
Research interests:Formal Methods, Automated Reasoning, Verification, SAT, SMT, Security

Contributions

2024

Dafny

  • Author of CLOVER: Closed-Loop Verifiable Code Generation within the Dafny 2024-track

2023

PLDI

  • Author of Scalable Verification of GNN-based Job Schedulers within the PLDI Research Papers-track

PLARCH

  • Author of PEak: A Single Source of Truth for Hardware Design and Verification within the PLARCH 2023-track

2022

SPLASH

  • Author of Scalable Verification of GNN-Based Job Schedulers within the OOPSLA-track

VMCAI

  • Author of Bit-Precise Reasoning via Int-Blasting within the VMCAI 2022-track

2017

CPP

  • Committee Member in Program Committee within the CPP-track

VMCAI

  • Author of Partitioned Memory Models for Program Analysis. within the VMCAI-track
Share
xWed 6 Dec 01:46
using conf.researchr.org (v1.62.0)
Support page
Sign Up