David Melski

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