GrammaTech (United States)

Recent papers from GrammaTech (United States)

1. Development and characterization of cellulose thin films via wet-laid processSustainable & green materials. · 2026
2. Influence of printing configuration on the resulting topology and antibacterial effectiveness of PVDF-graphene compositesPolymer Testing · 2025
3. When Idling is Ideal2021
4. Interprocedural Context-Unbounded Program Analysis Using Observation SequencesACM Transactions on Programming Languages and Systems · 2020
5. Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments2020
6. The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research CommunitiesArtificial Life · 2020
7. Automated Customized Bug-Benchmark Generation2019
8. Closed forms for numerical loopsProceedings of the ACM on Programming Languages · 2019
9. Refinement of path expressions for static analysisProceedings of the ACM on Programming Languages · 2019
10. Improving optimistic concurrency control through transaction batching and operation reorderingProceedings of the VLDB Endowment · 2018
11. Non-linear reasoning for invariant synthesisProceedings of the ACM on Programming Languages · 2017
12. Compositional recurrence analysis revisitedACM SIGPLAN Notices · 2017
13. An improved algorithm for slicing machine codeACM SIGPLAN Notices · 2016
14. Polymorphic type inference for machine codeACM SIGPLAN Notices · 2016
15. Newtonian program analysis via tensor productACM SIGPLAN Notices · 2016
16. The 2014 SMT CompetitionJournal on Satisfiability Boolean Modeling and Computation · 2016
17. Partial evaluation of machine codeACM SIGPLAN Notices · 2015
18. Repairing COTS Router Firmware without Access to Source Code or Test Suites2015
19. Synthesis of machine code from semantics2015
20. Synthesis of machine code from semanticsACM SIGPLAN Notices · 2015