| 2024 | ICST | Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable? | Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Xuan-Bach Dinh Le, David R. Cok |
| 2022 | FTfJP | Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language. | David R. Cok |
| 2022 | FTfJP | Automated Reasoning Repair. | Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok |
| 2022 | ISoLA | Abstraction in Deductive Verification: Model Fields and Model Methods. | David R. Cok, Gary T. Leavens |
| 2021 | ECOOP | JML and OpenJML for Java 16. | David R. Cok |
| 2021 | ICST | Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. | Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok |
| 2018 | ICSE | An algorithm and tool to infer practical postconditions. | John L. Singleton, Gary T. Leavens, Hridesh Rajan, David R. Cok |
| 2018 | ISoLA | Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects. | David R. Cok |
| 2018 | ISoLA | Runtime Assertion Checking and Static Verification: Collaborative Partners. | Fonenantsoa Maurica, David R. Cok, Julien Signoles |
| 2018 | ISSTA | Reasoning about functional programming in Java and C++. | David R. Cok |
| 2016 | PLDI | Polymorphic type inference for machine code. | Matthew Noonan, Alexey Loginov, David R. Cok |
| 2012 | CADE | The 2012 SMT Competition. | David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters |
| 2011 | ICSE | PEASOUP: preventing exploits against software of uncertain provenance (position paper). | Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, David R. Cok, Denis Gopan, David Melski, Wenke Lee, Chengyu Song, Thomas Bracewell, David Hyde, Brian Mastropietro |