Publications
GrammaTech Research
GrammaTech is a spin-off from Cornell University, and for over three decades has fostered a culture of creative thinking, cutting edge research, and technology development. Check out some of our published papers below.
-
WYSINWYX: What You See Is Not What You eXecute
Authors:David MelskiGogul BalakrishnanThomas W. RepsTim TeitelbaumVerified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE
|
-
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++
Authors:Akash LalChi-Hua ChenDavid MelskiGogul BalakrishnanJunghee LimNicholas KiddRadu GruianSuan Hsi YongThomas W. RepsTim TeitelbaumComputer Aided Verification, 17th International Conference, CAV
|
-
Weighted pushdown systems and their application to interprocedural dataflow analysis
Authors:David MelskiSomesh JhaStefan SchwoonThomas W. RepsScience of Computer Programming Volume 58, Issues 1–2
|
-
Buffer overrun detection using linear programming and static analysis
Authors:David ChandlerDavid MelskiDavid VitekSomesh JhaVinod GanapathyProceedings of the 10th ACM Conference on Computer and Communications Security, CCS
|
-
The Interprocedural Express-Lane Transformation
Authors:David MelskiThomas W. RepsCompiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS
|