Topics in Programming Languages: User Interfaces for Programming Languages
CMSC 32001 (Winter 2022) | Ravi Chugh
- Required: Read the papers before class.
- Optional: Send paper summaries before class.
Mon Jan 10 3pm
Fri Jan 14 3pm
Mon Jan 17
Wed Jan 19 3pm
Mon Jan 24 3:30pm
Wed Jan 26 3pm
- Tangible Values with Text: Explorations of Bimodal Programming
Brian Hempel (guest lecture)
Mon Jan 31 3:30pm
Wed Feb 2 3pm
Mon Feb 7 3:30pm
Wed Feb 9 3pm
Mon Feb 14 3:30pm
Wed Feb 16 3pm
Mon Feb 21 3:30pm
Wed Feb 23 3pm
Mon Feb 28 3:30pm
Wed Mar 2 3pm
Mon Mar 7 3:30pm
Wed Mar 9 3pm
Miscellaneous Reading List
Bidirectional Programming
Program Synthesis
- Programming with a Read-Eval-Synth-Loop
OOPSLA 2020: Peleg, Gabay, Itzhaky, Yahav
- Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution
POPL 2022: Miltner, Nunez, Brendel, Chaudhuri, Dillig
- Interactive Program Synthesis by Augmented Examples
UIST 2020: Zhang, Lowmanstone, Wang, Glassman
- Interpretable Program Synthesis
CHI 2021: Zhang, Chen, Zhu, Vaithilingam, Wang, Glassman
Multimodal Data Visualization
Structure Editors
Misc
- reCode: A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example
UIST 2021: Ni, Sunshine, Le, Gulwani, Barik
- Penrose: From Mathematical Notation to Beautiful Diagrams
SIGGRAPH 2020: Ye, Ni, Krieger, Ma’ayan, Wise, Aldrich, Sunshine, Crane
- Addressing Misconceptions About Code with Always-On Programming Visualizations
CHI 2014: Lieber, Brandt, Miller
- Design as Exploration: Creating Interface Alternatives through Parallel Authoring and Runtime Tuning
UIST 2008: Hartmann, Yu, Allison, Yang, Klemmer
- Self-Disclosing Design Tools: A Gentle Introduction to End-User Programming
DIS 1995: DiGiano, Eisenberg
- Categories and Completeness of Visual Programming and Direct Manipulation
AVI 2020: McGuffin, Fuhrman
- Fluid, An Environment for Digital Art-Making
MIT 2005 Thesis (Chapter 8): Downie
- Sketching by Programming in the Choreographic Language Agent
PPIG 2012: Church, Rothwell, Downie, DeLahunta, Blackwell
- Increasing the Transparency of Research Papers with Explorable Multiverse Analyses
CHI 2019: Dragicevic, Jansen, Sarma, Kay, Chevalier
- A New Medium for Communicating Research on Programming Languages
HATRA 2021: Crichton
Grounded Theory User Studies
Evaluating User Interfaces
- Heuristic Evaluation of User Interfaces
CHI 1990: Nielsen, Molich
- Cognitive Dimensions of Notation
1990: Green
- Theory Development in Visual Language Research: Beyond the Cognitive Dimensions of Notations (A Response)
VL/HCC 2009: Moody