David Melski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
10
Active years
1997–2020
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | OOPSLA | API analytics for curating static analysis rules. | Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot |
| 2019 | SCAM | 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 |
| 2018 | ICSE | Program splicing. | Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski |
| 2017 | CCS | Vertx: Automated Validation of Binary Transformations. | Denis Gopan, Peter Ohmann, David Melski |
| 2017 | SSBSE | MuSynth: Program Synthesis via Code Reuse and Code Manipulation. | Vineeth Kashyap, Rebecca Swords, Eric M. Schulte, David Melski |
| 2015 | ICSE | Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. | Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski |
| 2015 | NDSS | Exploiting and Protecting Dynamic Code Generation. | Chengyu Song, Chao Zhang, Tielei Wang, Wenke Lee, David Melski |
| 2014 | EDCC | 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 |
| 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 |
| 2005 | CAV | 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 |
| 2003 | CC | The Interprocedural Express-Lane Transformation. | David Melski, Thomas W. Reps |
| 2003 | CCS | Buffer overrun detection using linear programming and static analysis. | Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek |
| 1999 | CC | Interprocedural Path Profiling. | David Melski, Thomas W. Reps |
| 1997 | PEPM | Interconveritibility of Set Constraints and Context-Free Language Reachability. | David Melski, Thomas W. Reps |