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.
The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities
Authors:Anh NguyenAntoine CullyAntoine FŕenoyBabak HodjatCarlos MaestreCarole KnibbeCharles OfriaChristian GagńeChristoph AdamiDanesh TaraporeDavid E. MoriartyDavid M. BrysonDavid P. ParsonsDusan MisevicEric SchulteFrançois TaddeiFrank HutterFred C. DyerGuillaume BeslonHod LipsonJason YosinskiJean-Baptiste MouretJeff CluneJoel LehmanJulie BeaulieuKai Olav EllefsenKarl SimsKenneth O. StanleyLaura M. GrabowskiLaurent KellerLee AltenbergLeni K. Le GoffMarc ParizeauMarc SchoenauerNick CheneyPatryk ChrabaszczPeter J. BentleyPeter KrcahRichard A. WatsonRichard E. LenskiRisto MiikkulainenRobert FeldtRobert MacCurdyRobert T. PennockSamuel BernardSara MitriSimon ThibaultSt'ephane DoncieuxStephan FischerStephanie ForrestThomas S. RayWestley WeimerWilliam F. PunchLearn morearXiv
|
Evolving Exact Decompilation
Authors:Alexey LoginovDavid CiarlettaEric SchulteJason RuchtiMatt NoonanLearn moreWorkshop on Binary Analysis Research (BAR)
|
Vertx: Automated Validation of Binary Transformations
Authors:David MelskiDenis GopanPeter OhmannLearn moreWorkshop on Forming an Ecosystem Around Software Transformation, FEAST
|
MuSynth: Program Synthesis via Code Reuse and Code Manipulation
Authors:David MelskiEric M. SchulteRebecca SwordsVineeth KashyapLearn moreSearch Based Software Engineering – 9th International Symposium, SSBSE
|
Source Forager: A Search Engine for Similar Source Code
Authors:Ben LiblitDavid Bingham BrownDavid MelskiThomas W. RepsVineeth KashyapLearn morearXiv
|
Data-Driven Program Completion
Authors:Chris JermaineDavid MelskiSwarat ChaudhuriYanxin LuLearn morearXiv
|
Software Transformation: Applications, Tools, Challenges, and Program Representation
Authors:Dave MelskiEric SchulteMichael McDougallLearn moreWorkshop on Forming an Ecosystem Around Software Transformation (FEAST)
|
Polymorphic type inference for machine code
Authors:Alexey LoginovDavid CokMatthew NoonanLearn moreProceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI
|
Repairing COTS Router Firmware without Access to Source Code or Test Suites: A Case Study in Evolutionary Software Repair
Authors:Eric M. SchulteStephanie ForrestWestley WeimerLearn moreGenetic and Evolutionary Computation Conference, GECCO
|
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery
Authors:Alexey LoginovDavid MelskiDenis GopanDimitri NaydichDucson NguyenEvan DriscollLearn more37th IEEE/ACM International Conference on Software Engineering, ICSE
|
Exploiting and Protecting Dynamic Code Generation
Authors:Chao ZhangChengyu SongDavid MelskiTielei WangWenke LeeLearn more2nd Annual Network and Distributed System Security Symposium, NDSS
|
To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing
Authors:Anh Nguyen-TuongDavid HydeDavid MelskiJack W. DavidsonJason HiserJohn C. KnightMichele CoNathan KennedyWilliam EllaLearn moreTenth European Dependable Computing Conference
|