Facilitating Code Merging with User-Defined Abstractions

Involved in exploring how finite automata can be used to represent software error traces. Developed a mechanism to estimate model-checking bounds, and the project’s merge feature. Sponsored by Google.