Fri 10 Oct 2025 14:55 - 15:17 at Duke Energy Hall - Advanced Code Generation Paradigms Chair(s): Cyrus Omar
Google’s Blockly library provides rudimentary support for types that constrain how blocks can be connected to form larger fragments. We argue that Blockly’s current type language does not reach beyond the level of context-freeness, and show how this can be changed — in a non-disruptive way — by adopting elements from attribute grammar and constraint-based typing. We demonstrate the generality of our approach by applying it to different languages, and describe our implementation and integration into Blockly.
Fri 10 OctDisplayed time zone: Eastern Time (US & Canada) change
Fri 10 Oct
Displayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | Advanced Code Generation ParadigmsResearch Papers at Duke Energy Hall Chair(s): Cyrus Omar University of Michigan | ||
14:00 11mTalk | Interface Design for Autism in an Ever-Updating World Research Papers Pre-print | ||
14:11 22mTalk | HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding Research Papers Emmanuel Anaya Gonzalez UCSD, Raven Rothkopf University of California San Diego, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego | ||
14:33 22mTalk | Exploring Direct Instruction and Summary-Mediated Prompting in LLM-Assisted Code Modification Research Papers Ningzhi Tang University of Notre Dame, Emory Smith University of Notre Dame, Yu Huang Vanderbilt University, Collin McMillan University of Notre Dame, Toby Jia-Jun Li University of Notre Dame Pre-print | ||
14:55 22mTalk | A Type Language for Blockly Research Papers | ||
15:17 11mTalk | TreeReader: a hierarchical academic paper reader powered by language models Research Papers Zijian Zhang University of Toronto, Pan Chen University of Toronto, Fangshi Du University of Toronto, Runlong Ye University of Toronto, Oliver Huang University of Toronto, Michael Liut University of Toronto Mississauga, Alán Aspuru-Guzik University of Toronto | ||