PPaperPicks

Matthew B. Dwyer

14 papers at tracked venues · 13 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

FSE ×5ICSE ×4NeurIPS ×3AAAI ×1ICRA ×1

Frequent coauthors

Sebastian G. Elbaum
×6
Trey Woodlief
×4
Felipe Toledo
×4
Hai Duong
×3
ThanhVu Nguyen
×3
Simantika Bhattacharjee Dristi
×2
Soneya Binta Hossain
×2
David Shriver
×1
Raygan Taylor
×1
Jin Yao
×1
Radowan Mahmud Redoy
×1
Zezhou Cheng
×1

Papers

  1. A Differential Fuzzing-Based Evaluation of Functional Equivalence in LLM-Generated Code Refactorings
    FSE 2026 ·
    Simantika Bhattacharjee Dristi
    , Matthew B. Dwyer
  2. LoCaL: Countering Surface Bias in Code Evaluation Metrics
    FSE 2026 ·
    Simantika Bhattacharjee Dristi
    , Matthew B. Dwyer
  3. Closing the Gap Between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA
    ICSE 2025 ·
    Trey Woodlief
    ,
    Felipe Toledo
    ,
    Sebastian G. Elbaum
    , Matthew B. Dwyer
  4. Compositional Neural Network Verification via Assume-Guarantee Reasoning
    NeurIPS 2025 ·
    Hai Duong
    ,
    David Shriver
    ,
    ThanhVu Nguyen
    , Matthew Dwyer
  5. Doc2OracLL: Investigating the Impact of Documentation on LLM-Based Test Oracle Generation
    FSE 2025 ·
    Soneya Binta Hossain
    ,
    Raygan Taylor
    , Matthew B. Dwyer
  6. Generating and Checking DNN Verification Proofs
    NeurIPS 2025 ·
    Hai Duong
    ,
    ThanhVu Nguyen
    , Matthew Dwyer
  7. LabelAny3D: Label Any Object 3D in the Wild
    NeurIPS 2025 ·
    Jin Yao
    ,
    Radowan Mahmud Redoy
    ,
    Sebastian G. Elbaum
    , Matthew Dwyer,
    Zezhou Cheng
  8. Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction
    AAAI 2025 ·
    Shuyang Dong
    ,
    Meiyi Ma
    ,
    Josephine Lamp
    ,
    Sebastian G. Elbaum
    , Matthew B. Dwyer,
    Lu Feng
  9. Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems
    FSE 2025 ·
    Trey Woodlief
    ,
    Felipe Toledo
    , Matthew B. Dwyer,
    Sebastian G. Elbaum
  10. TOGLL: Correct and Strong Test Oracle Generation with LLMS
    ICSE 2025 ·
    Soneya Binta Hossain
    , Matthew B. Dwyer
  11. CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing
    ICSE 2024 ·
    Swaroopa Dola
    ,
    Rory McDaniel
    , Matthew B. Dwyer,
    Mary Lou Soffa
  12. Harnessing Neuron Stability to Improve DNN Verification
    FSE 2024 ·
    Hai Duong
    ,
    Dong Xu
    ,
    ThanhVu Nguyen
    , Matthew B. Dwyer
  13. S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles
    ICSE 2024 ·
    Trey Woodlief
    ,
    Felipe Toledo
    ,
    Sebastian G. Elbaum
    , Matthew B. Dwyer
  14. Specifying and Monitoring Safe Driving Properties with Scene Graphs
    ICRA 2024 ·
    Felipe Toledo
    ,
    Trey Woodlief
    ,
    Sebastian G. Elbaum
    , Matthew B. Dwyer