David Melski

Publication Activity (10 Years)

Years Active: 1997-2020
Publications (10 Years): 9

Top Topics

Grand Challenge

Static Analysis

Top Venues

Publications

Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot
API analytics for curating static analysis rules. TAPAS@SPLASH (2020)
Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, David Melski, Eric M. Schulte
Automated Customized Bug-Benchmark Generation. CoRR (2019)
Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, Shih An Pan, Julien Henry, David Melski, Eric M. Schulte
Automated Customized Bug-Benchmark Generation. SCAM (2019)
Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski
Program splicing. ICSE (2018)
Anh Nguyen-Tuong, David Melski, Jack W. Davidson, Michele Co, William H. Hawkins, Jason D. Hiser, Derek Morris, Ducson Nguyen, Eric F. Rizzi
Xandra: An Autonomous Cyber Battle System for the Cyber Grand Challenge. IEEE Secur. Priv. 16 (2) (2018)
Denis Gopan, Peter Ohmann, David Melski
Vertx: Automated Validation of Binary Transformations. FEAST@CCS (2017)
Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski
Data-Driven Program Completion. CoRR (2017)
Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps
Source Forager: A Search Engine for Similar Source Code. CoRR (2017)
Vineeth Kashyap, Rebecca Swords, Eric M. Schulte, David Melski
MuSynth: Program Synthesis via Code Reuse and Code Manipulation. SSBSE (2017)
Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. ICSE (1) (2015)
Chengyu Song, Chao Zhang, Tielei Wang, Wenke Lee, David Melski
Exploiting and Protecting Dynamic Code Generation. NDSS (2015)
Anh Nguyen-Tuong, Jason Hiser, Michele Co, Nathan Kennedy, David Melski, William Ella, David Hyde, Jack W. Davidson, John C. Knight
To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing. EDCC (2014)
Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, David Cok, Denis Gopan, David Melski, Wenke Lee, Chengyu Song, Thomas Bracewell, David Hyde, Brian Mastropietro
PEASOUP: preventing exploits against software of uncertain provenance (position paper). SESS@ICSE (2011)
Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. CAV (2005)
Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski
Weighted pushdown systems and their application to interprocedural dataflow analysis. Sci. Comput. Program. 58 (1-2) (2005)
Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum
WYSINWYX: What You See Is Not What You eXecute. VSTTE (2005)
David Melski, Thomas W. Reps
The Interprocedural Express-Lane Transformation. CC (2003)
Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek
Buffer overrun detection using linear programming and static analysis. CCS (2003)
David Melski, Thomas W. Reps
Interconvertibility of a class of set constraints and context-free-language reachability. Theor. Comput. Sci. 248 (1-2) (2000)
David Melski, Thomas W. Reps
Interprocedural Path Profiling. CC (1999)
David Melski, Thomas W. Reps
Interconveritibility of Set Constraints and Context-Free Language Reachability. PEPM (1997)