Solutions
Capabilities
Open Source
About
Team
Careers
Learn
News and Press Releases
GrammaTalk Blog
Publications
Solutions
Capabilities
Open Source
About
Team
Careers
Learn
News and Press Releases
GrammaTalk Blog
Publications
GrammaTech Publications
The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities
Learn more
Evolving Exact Decompilation
Learn more
Vertx: Automated Validation of Binary Transformations
Learn more
MuSynth: Program Synthesis via Code Reuse and Code Manipulation
Learn more
Source Forager: A Search Engine for Similar Source Code
Learn more
Data-Driven Program Completion
Learn more
Software Transformation: Applications, Tools, Challenges, and Program Representation
Learn more
Polymorphic type inference for machine code
Learn more
Repairing COTS Router Firmware without Access to Source Code or Test Suites: A Case Study in Evolutionary Software Repair
Learn more
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery
Learn more
Exploiting and Protecting Dynamic Code Generation
Learn more
To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing
Learn more
Preventing Exploits Against Software of Uncertain Provenance
Learn more
PEASOUP: preventing exploits against software of uncertain provenance (position paper)
Learn more
Finite differencing of logical formulas for static analysis
Learn more
Analysis Techniques for Information Security
Learn more
A relational approach to interprocedural shape analysis
Learn more
Guided Static Analysis
Learn more
WYSINWYX: What You See Is Not What You eXecute
Learn more
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++
Learn more
Weighted pushdown systems and their application to interprocedural dataflow analysis
Learn more
Buffer overrun detection using linear programming and static analysis
Learn more
The Interprocedural Express-Lane Transformation
Learn more
Previous Page
1
2
Next Page
