Concepedia

David Melski

DM

10

Publications

513

Citations

10

H-Index

1997

Active since

Affiliations

University of Wisconsin–Madison(Current)

GrammaTech (United States)

David Melski is an author at University of Wisconsin–Madison specializing in engineering, software analysis, and program analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSystem SoftwareSoftware TestingAutomated Reasoning

Publications per year

1997–2018

10

Publications

10

Weighted pushdown systems and their application to interprocedural dataflow analysis

Thomas Reps, Stefan Schwoon, Somesh Jha et al. · Science of Computer Programming · 2005 · 157 citations

Workflow Execution, Reachability Analysis, Engineering +13

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

David Melski, Thomas Reps · Theoretical Computer Science · 2000 · 106 citations

Reachability Analysis, Constraint Solving, Engineering +10

Buffer overrun detection using linear programming and static analysis

Vinod Ganapathy, Somesh Jha, David Chandler et al. · 2003 · 93 citations

Mathematical Programming, Engineering, Computer Architecture +21

Interconvertbility of set constraints and context-free language reachability

David Melski, Thomas Reps · 1997 · 47 citations

Engineering, Reachability Problem, Computational Complexity +19

Exploiting and Protecting Dynamic Code Generation

Chengyu Song, Chao Zhang, Tielei Wang et al. · 2015 · 45 citations

Rows per page

1–5 of 10