• Sign in
  • Sign up
conf.researchr.org / Owen Cochell
  • ICSE 2025 profile
  • ICSE 2026 profile

Not registered as user

Name:Owen Cochell
Affiliation:Michigan State University

Contributions

2026

ICSE

  • Author of Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification within the Research Track-track

2025

ICSE

  • Author of A Unit Proofing Framework for Code-level Verification: A Research Agenda within the New Ideas and Emerging Results (NIER)-track
Share
xMon 22 Sep 22:50
using conf.researchr.org (v1.71.1)
Support page
Sign Up