Posts by Collection

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

Explainable Program Synthesis by Localizing Specifications

Published in OOPSLA 2023, 2023

Download paper here

Recommended citation: Amirmohammad Nazari*, Yifei Huang*, Roopsha Samanta, Arjun Radhakrishna, and Mukund Raghothaman. 2023. Explainable Program Synthesis by Localizing Specifications. Proc. ACM Program. Lang. 7, OOPSLA2, Article 298 (October 2023)

Membership Testing for Semantic Regular Expressions

Published in PLDI 2025(To Appear), 2025

Arxiv Preprint

Recommended citation: Yifei Huang ,Matin Amini ,Alexis Le Glaunec ,Konstantinos Mamouras and Mukund Raghothaman. 2024. Membership Testing for Semantic Regular Expressions

Talk 1 on Relevant Topic in Your Field

Published: March 01, 2012

This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!

Tutorial 1 on Relevant Topic in Your Field

Published: March 01, 2013

More information here

Talk 2 on Relevant Topic in Your Field

Published: February 01, 2014

More information here

Conference Proceeding talk 3 on Relevant Topic in Your Field

Published: March 01, 2014

This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.