David Melski

According to our database, David Melski authored at least 23 papers between 1997 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

API analytics for curating static analysis rules.

Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020

2019

Automated Customized Bug-Benchmark Generation.

Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, David Melski, Eric M. Schulte

CoRR, 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

Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

Inuring: Live Attacker-Guided Repair.

Eric M. Schulte, Suan Hsi Yong, David Melski

Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, 2019

2018

Xandra: An Autonomous Cyber Battle System for the Cyber Grand Challenge.

Anh Nguyen-Tuong, David Melski, Jack W. Davidson, Michele Co, William H. Hawkins, Jason D. Hiser, Derek Morris, Ducson Nguyen, Eric F. Rizzi

IEEE Secur. Priv., 2018

Program splicing.

Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Data-Driven Program Completion.

Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski

CoRR, 2017

Source Forager: A Search Engine for Similar Source Code.

Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps

CoRR, 2017

MuSynth: Program Synthesis via Code Reuse and Code Manipulation.

Vineeth Kashyap, Rebecca Swords, Eric M. Schulte, David Melski

Proceedings of the Search Based Software Engineering - 9th International Symposium, 2017

Vertx: Automated Validation of Binary Transformations.

Denis Gopan, Peter Ohmann, David Melski

Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017

2015

Exploiting and Protecting Dynamic Code Generation.

Chengyu Song, Chao Zhang, Tielei Wang, Wenke Lee, David Melski

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery.

Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

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, Jack W. Davidson, John C. Knight

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2011

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

Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, 2011

2010

Analysis Techniques for Information Security

Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps

Synthesis Lectures on Information Security, Privacy, and Trust, Morgan & Claypool Publishers, ISBN: 978-3-031-02334-7, 2010

2005

Weighted pushdown systems and their application to interprocedural dataflow analysis.

Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski

Sci. Comput. Program., 2005

WYSINWYX: What You See Is Not What You eXecute.

Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum

Proceedings of the Verified Software: Theories, 2005

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

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2003

Buffer overrun detection using linear programming and static analysis.

Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek

Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

The Interprocedural Express-Lane Transformation.

David Melski, Thomas W. Reps

Proceedings of the Compiler Construction, 12th International Conference, 2003

2000

Interconvertibility of a class of set constraints and context-free-language reachability.

David Melski, Thomas W. Reps

Theor. Comput. Sci., 2000

1999

Interprocedural Path Profiling.

David Melski, Thomas W. Reps

Proceedings of the Compiler Construction, 8th International Conference, 1999

1997

Interconveritibility of Set Constraints and Context-Free Language Reachability.

David Melski, Thomas W. Reps

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997