Interconveritibility of Set Constraints and Context-Free Language Reachability. - David Melski; Thomas W. Reps (PEPM, 1997)

Interprocedural Path Profiling. - David Melski; Thomas W. Reps (CC, 1999)

Interconvertibility of a class of set constraints and context-free-language reachability. - David Melski; Thomas W. Reps (Theor. Comput. Sci., 2000)

The Interprocedural Express-Lane Transformation. - David Melski; Thomas W. Reps (CC, 2003)

Buffer overrun detection using linear programming and static analysis. - Vinod Ganapathy; Somesh Jha; David Chandler; David Melski; David Vitek (CCS, 2003)

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. - Gogul Balakrishnan; Thomas W. Reps; Nicholas Kidd; Akash Lal; Junghee Lim; David Melski; Radu Gruian; Suan Hsi Yong; Chi-Hua Chen; Tim Teitelbaum (CAV, 2005)

WYSINWYX: What You See Is Not What You eXecute. - Gogul Balakrishnan; Thomas W. Reps; David Melski; Tim Teitelbaum (VSTTE, 2005)

Weighted pushdown systems and their application to interprocedural dataflow analysis. - Thomas W. Reps; Stefan Schwoon; Somesh Jha; David Melski (Sci. Comput. Program., 2005)

Analysis Techniques for Information Security - Anupam Datta; Somesh Jha; Ninghui Li; David Melski; Thomas W. Reps (Morgan & Claypool Publishers, 2010)

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 002; et al. (SESS@ICSE, 2011)

To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing. - Anh Nguyen-Tuong; Jason Hiser; Michele Co; Nathan Kennedy; David Melski; William Ella; David Hyde 002; Jack W. Davidson; John C. Knight (EDCC, 2014)

Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. - Denis Gopan; Evan Driscoll; Ducson Nguyen; Dimitri Naydich; Alexey Loginov; David Melski (ICSE (1), 2015)

Exploiting and Protecting Dynamic Code Generation. - Chengyu Song; Chao Zhang 008; Tielei Wang; Wenke Lee; David Melski (NDSS, 2015)

Vertx: Automated Validation of Binary Transformations. - Denis Gopan; Peter Ohmann; David Melski (FEAST@CCS, 2017)

MuSynth: Program Synthesis via Code Reuse and Code Manipulation. - Vineeth Kashyap; Rebecca Swords; Eric M. Schulte; David Melski (SSBSE, 2017)

Source Forager: A Search Engine for Similar Source Code. - Vineeth Kashyap; David Bingham Brown; Ben Liblit; David Melski; Thomas W. Reps (CoRR, 2017)

Data-Driven Program Completion. - Yanxin Lu; Swarat Chaudhuri; Chris Jermaine; David Melski (CoRR, 2017)

Program splicing. - Yanxin Lu; Swarat Chaudhuri; Chris Jermaine; David Melski (ICSE, 2018)

Xandra: An Autonomous Cyber Battle System for the Cyber Grand Challenge. - Anh Nguyen-Tuong; David Melski; Jack W. Davidson; Michele Co; William Hawkins 001; Jason D. Hiser; Derek Morris; Ducson Nguyen; Eric F. Rizzi (IEEE Secur. Priv., 2018)

Inuring: Live Attacker-Guided Repair. - Eric M. Schulte; Suan Hsi Yong; David Melski (FEAST@CCS, 2019)

Automated Customized Bug-Benchmark Generation. - Vineeth Kashyap; Jason Ruchti; Lucja Kot; Emma Turetsky; Rebecca Swords; Shih An Pan; Julien Henry; David Melski; Eric M. Schulte (SCAM, 2019)

Automated Customized Bug-Benchmark Generation. - Vineeth Kashyap; Jason Ruchti; Lucja Kot; Emma Turetsky; Rebecca Swords; David Melski; Eric M. Schulte (CoRR, 2019)

API analytics for curating static analysis rules. - Vineeth Kashyap; Roger Scott; Joseph Ranieri; David Melski; Lucja Kot (TAPAS@SPLASH, 2020)