PPaperPicks

Clark W. Barrett

10 papers at tracked venues · 6 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4FM ×3ICLR ×1NeurIPS ×1OOPSLA ×1

Frequent coauthors

Haoze Wu
×5
Min Wu
×3
Nina Narodytska
×2
Pei Huang
×2
Yoni Zohar
×2
Xiaofu Li
×1
Dennis Wei
×1
Omri Isac
×1
Aron Ricardo Perez-Lopez
×1
Po-Chun Chien
×1
Florian Lonsing
×1
Samantha Archer
×1

Papers

  1. Cubing for Tuning
    AAAI 2026 ·
    Haoze Wu
    , Clark W. Barrett,
    Nina Narodytska
  2. Efficiently Computing Compact Formal Explanations
    AAAI 2026 ·
    Min Wu
    ,
    Xiaofu Li
    ,
    Haoze Wu
    , Clark W. Barrett
  3. Parameterized Abstract Interpretation for Transformer Verification
    AAAI 2026 ·
    Pei Huang
    ,
    Dennis Wei
    ,
    Omri Isac
    ,
    Haoze Wu
    ,
    Min Wu
    , Clark W. Barrett
  4. Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness (Long Tool Paper)
    FM 2026 ·
    Aron Ricardo Perez-Lopez
    ,
    Po-Chun Chien
    ,
    Florian Lonsing
    ,
    Samantha Archer
    ,
    Ahmed Irfan
    , Clark W. Barrett
  5. Interactive Bitvector Reasoning using Verified Bit-Blasting
    OOPSLA 2025 ·
    Henrik Böving
    ,
    Siddharth Bhat
    ,
    Luisa Cicolini
    ,
    Alex C. Keizer
    ,
    Léon Frénot
    ,
    Abdalrhman Mohamed
    ,
    Léo Stefanesco
    ,
    Harun Khan
    ,
    Joshua Clune
    , Clark W. Barrett,
    Tobias Grosser
  6. Lemur: Integrating Large Language Models in Automated Program Verification
    ICLR 2024 ·
    Haoze Wu
    , Clark W. Barrett,
    Nina Narodytska
  7. SGLang: Efficient Execution of Structured Language Model Programs
    NeurIPS 2024 ·
    Lianmin Zheng
    ,
    Liangsheng Yin
    ,
    Zhiqiang Xie
    ,
    Chuyue Sun
    ,
    Jeff Huang
    ,
    Cody Hao Yu
    ,
    Shiyi Cao
    ,
    Christos Kozyrakis
    ,
    Ion Stoica
    ,
    Joseph E. Gonzalez
    , Clark W. Barrett,
    Ying Sheng
  8. Satisfiability Modulo Theories: A Beginner's Tutorial
    FM 2024 · Clark W. Barrett,
    Cesare Tinelli
    ,
    Haniel Barbosa
    ,
    Aina Niemetz
    ,
    Mathias Preiner
    ,
    Andrew Reynolds
    ,
    Yoni Zohar
  9. The Nonexistence of Unicorns and Many-Sorted Löwenheim-Skolem Theorems
    FM 2024 ·
    Benjamin Przybocki
    ,
    Guilherme Vicentin de Toledo
    ,
    Yoni Zohar
    , Clark W. Barrett
  10. Towards Efficient Verification of Quantized Neural Networks
    AAAI 2024 ·
    Pei Huang
    ,
    Haoze Wu
    ,
    Yuting Yang
    ,
    Ieva Daukantas
    ,
    Min Wu
    ,
    Yedi Zhang
    , Clark W. Barrett