David Moon

According to our database, David Moon authored at least 7 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Syntactic Completions with Material Obligations.

David Moon, Andrew Blinn, Thomas Porter, Cyrus Omar

CoRR, August, 2025

2023

Live Pattern Matching with Typed Holes.

Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar

Proc. ACM Program. Lang., April, 2023

Gradual Structure Editing with Obligations.

David Moon, Andrew Blinn, Cyrus Omar

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

2022

An Integrative Human-Centered Architecture for Interactive Programming Assistants.

Andrew Blinn, David Moon, Eric Griffis, Cyrus Omar

Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 2022

tylr: a tiny tile-based structure editor.

David Moon, Andrew Blinn, Cyrus Omar

Proceedings of the TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, 2022

2021

Filling typed holes with live GUIs.

Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2016

Easy Access to HPC Resources through the Application GUI.

G. Matthijs van Waveren, Ahmed Seif El Nawasany, Nasr Hassanein, David Moon, Niall O'Byrnes, Alain Clo, Karthikeyan Murugan, Antonio Arena

Supercomput. Front. Innov., 2016