FLAT: Formal Languages as Types.
CoRR, January, 2025
On the methodology of three-way structured merge in version control systems: Top-down, bottom-up, or both.
J. Syst. Archit., December, 2023
Automated Ambiguity Detection in Layout-Sensitive Grammars.
Proc. ACM Program. Lang., October, 2023
Grammar-Based String Refinement Types.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023
BFF: foundational and automated verification of bitfield-manipulating programs.
Proc. ACM Program. Lang., 2022
Lay-it-out: Interactive Design of Layout-Sensitive Grammars.
CoRR, 2022
Mastery: Shifted-Code-Aware Structured Merging.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022
EqFix: Fixing LaTeX Equation Errors by Examples.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022
Enhancing precision of structured merge by proper tree matching.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Conflict resolution for structured merge via version space algebra.
Proc. ACM Program. Lang., 2018