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.
API analytics for curating static analysis rules
Authors:David MelskiJoseph RanieriLucja KotRoger ScottVineeth KashyapProceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis
|
Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments
Authors:Joseph RanieriLucja KotRoger ScottVineeth Kashyap20th IEEE International Working Conference on Source Code Analysis and Manipulation
|
Datalog Disassembly
Authors:Antonio Flores-MontoyaEric Schulte29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020 (distinguished paper)
|
Inuring: Live Attacker-guided Repair
Authors:Dave MelskiEric SchulteSuan YongWorkshop on Forming an Ecosystem Around Software Transformation (FEAST)
|
Automated Customized Bug-Benchmark Generation
Authors:David MelskiEmma TuretskyEric SchulteJason RuchtiJulien HenryLucja KotRebecca SwordsShih An PanVineeth Kashyap19th International Working Conference on Source Code Analysis and Manipulation
|
GTIRB: Intermediate Representation for Binaries
Authors:Aaron BallmanAntonio Flores-MontoyaEric SchulteJonathan DornTom JohnsonarXiv
|
The State and Future of Genetic Improvement
Authors:Christopher Steven TimperleyEric M. SchulteGabin AnKevin LeachNicolas ChausseauOliver KraussShin Hwei TanWestley WeimerWilliam B. LangdonYiwei LyuYu HuangZhen Yu Ding41st ACM/IEEE International Conference on Software Engineering
|
SARIF-enabled tooling to encourage gradual technical debt reduction
Authors:David VitekLucja KotNeil GilmorePaul AndersonTechDebt ’19: Proceedings of the Second International Conference on Technical Debt
|
Program splicing
Authors:Chris JermaineDavid MelskiSwarat ChaudhuriYanxin Lu40th International Conference on Software Engineering, ICSE 2018
|
A spoonful of DevOps helps the GI go down
Authors:Benoit BaudryChris TimperleyEmamurho UgherugheEric SchulteMarija SelakovicNicolas HarrShin Hwei Tan4th International Genetic Improvement Workshop
|
Xandra: An Autonomous Cyber Battle System for the Cyber Grand Challenge
Authors:Anh Nguyen-TuongDavid MelskiDerek MorrisDucson NguyenEric RizziJack W. DavidsonJason D. HiserMichele CoWilliam H. HawkinsIEEE Security & Privacy Volume: 16, Issue: 2
|
Using recurrent neural networks for decompilation
Authors:Deborah S. KatzEric M. SchulteJason Ruchti25th International Conference on Software Analysis, Evolution and Reengineering, SANER
|