| 2020 |
— |
conf |
TAPAS@SPLASH
Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot
|
| 2019 |
C |
conf |
SCAM
Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, Shih An Pan, Julien Henry, David Melski, Eric M. Schulte
|
| 2019 |
J |
jnl |
CoRR
Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, David Melski, Eric M. Schulte
|
| 2019 |
— |
conf |
FEAST@CCS
Eric M. Schulte, Suan Hsi Yong, David Melski
|
| 2018 |
A* |
conf |
ICSE
Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski
|
| 2018 |
J |
jnl |
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 |
CoRR
Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski
|
| 2017 |
B |
conf |
SSBSE
Vineeth Kashyap, Rebecca Swords, Eric M. Schulte, David Melski
|
| 2017 |
J |
jnl |
CoRR
Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps
|
| 2017 |
— |
conf |
FEAST@CCS
Denis Gopan, Peter Ohmann, David Melski
|
| 2015 |
— |
conf |
ICSE (1)
Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski
|
| 2015 |
A* |
conf |
NDSS
Chengyu Song, Chao Zhang, Tielei Wang, Wenke Lee, David Melski
|
| 2014 |
Misc |
conf |
EDCC
Anh Nguyen-Tuong, Jason Hiser, Michele Co, Nathan Kennedy, David Melski, William Ella, David Hyde, Jack W. Davidson, John C. Knight
|
| 2011 |
— |
conf |
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 |
Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps
|
| 2005 |
A* |
conf |
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 |
VSTTE
Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum
|
| 2005 |
J |
jnl |
Sci. Comput. Program.
Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski
|
| 2003 |
A* |
conf |
CCS
Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek
|
| 2003 |
B |
conf |
CC
David Melski, Thomas W. Reps
|
| 2000 |
J |
jnl |
Theor. Comput. Sci.
David Melski, Thomas W. Reps
|
| 1999 |
B |
conf |
CC
David Melski, Thomas W. Reps
|
| 1997 |
C |
conf |
PEPM
David Melski, Thomas W. Reps
|