27 citations · 27 across the 6 of their papers we have counts for
4 papers · 1 filter
Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
Ruanqianqian Huang, Avery Reyna, Sorin Lerner +2
The rise of AI agents is transforming how software can be built. The promise of agents is that developers might write code quicker, delegate multiple tasks to different agents, and…
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
Ruanqianqian Huang, Ayana Monroe, Peli de Halleux +2
Constraint-satisfaction problems (CSPs) are ubiquitous, ranging from budgeting for grocery shopping to verifying software behavior. Logic modeling helps solve CSPs programmatically…
How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities
Ruanqianqian Huang, Savitha Ravi, Michael He +3
Computational notebooks are intended to prioritize the needs of scientists, but little is known about how scientists interact with notebooks, what requirements drive scientists' so…
Synthesizing Composite Hierarchical Structure from Symbolic Music Corpora
Ilana Shapiro, Ruanqianqian Huang, Zachary Novack +5
Western music is an innately hierarchical system of interacting levels of structure, from fine-grained melody to high-level form. In order to analyze music compositions holisticall…