Misty: UI Prototyping Through Interactive Conceptual Blending.
Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems, 2025
BISCUIT: Scaffolding LLM-Generated Code with Ephemeral UIs in Computational Notebooks.
Proceedings of the 2024 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2024
UICoder: Finetuning Large Language Models to Generate User Interface Code through Automated Feedback.
Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024
Feedback-driven semi-supervised synthesis of program transformations.
Proc. ACM Program. Lang., 2020
On the fly synthesis of edit suggestions.
Proc. ACM Program. Lang., 2019
Constructing Parsers by Example via Interactive Program Synthesis.
PhD thesis, 2017
Parsimony: an IDE for example-guided synthesis of lexers and parsers.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Interactive parser synthesis by example.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
C-to-Verilog translation validation.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
Parallel execution of Java loops on Graphics Processing Units.
Sci. Comput. Program., 2013
Verifying GPU kernels by test amplification.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Taming wildcards in Java's type system.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Automatic parallelization for graphics processing units.
Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009