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.
- 
			Unified Configuration Modeling InfrastructureAuthors:Denis GopanLearn moreHigh Confidence Software and Systems Conference | 
- 
			Binary Software Composition Analysis with CodeSentryAuthors:Antonio Flores-MontoyaLearn moreHigh Confidence Software and Systems Conference | 
- 
			API analytics for curating static analysis rulesAuthors:David MelskiJoseph RanieriLucja KotRoger ScottVineeth KashyapLearn moreProceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis | 
- 
			Out of Sight, Out of Place: Detecting and Assessing Swapped ArgumentsAuthors:Joseph RanieriLucja KotRoger ScottVineeth KashyapLearn more20th IEEE International Working Conference on Source Code Analysis and Manipulation | 
- 
			Datalog DisassemblyAuthors:Antonio Flores-MontoyaEric SchulteLearn more29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020 (distinguished paper) | 
- 
			Inuring: Live Attacker-guided RepairAuthors:Dave MelskiEric SchulteSuan YongLearn moreWorkshop on Forming an Ecosystem Around Software Transformation (FEAST) | 
- 
			Automated Customized Bug-Benchmark GenerationAuthors:David MelskiEmma TuretskyEric SchulteJason RuchtiJulien HenryLucja KotRebecca SwordsShih An PanVineeth KashyapLearn more19th International Working Conference on Source Code Analysis and Manipulation | 
- 
			GTIRB: Intermediate Representation for BinariesAuthors:Aaron BallmanAntonio Flores-MontoyaEric SchulteJonathan DornTom JohnsonLearn morearXiv | 
- 
			The State and Future of Genetic ImprovementAuthors:Christopher Steven TimperleyEric M. SchulteGabin AnKevin LeachNicolas ChausseauOliver KraussShin Hwei TanWestley WeimerWilliam B. LangdonYiwei LyuYu HuangZhen Yu DingLearn more41st ACM/IEEE International Conference on Software Engineering | 
- 
			SARIF-enabled tooling to encourage gradual technical debt reductionAuthors:David VitekLucja KotNeil GilmorePaul AndersonLearn moreTechDebt ’19: Proceedings of the Second International Conference on Technical Debt | 
- 
			Program splicingAuthors:Chris JermaineDavid MelskiSwarat ChaudhuriYanxin LuLearn more40th International Conference on Software Engineering, ICSE 2018 | 
- 
			A spoonful of DevOps helps the GI go downAuthors:Benoit BaudryChris TimperleyEmamurho UgherugheEric SchulteMarija SelakovicNicolas HarrShin Hwei TanLearn more4th International Genetic Improvement Workshop |