The original" Seven Motifs" set forth a roadmap of essential methods for the field of scientific
computing, where a motif is an algorithmic method that captures a pattern of computation …

In this position paper, we describe our vision of the future of machine programming through
a categorical examination of three pillars of research. Those pillars are:(i) intention,(ii) …

Program synthesis is an active research field in academia, national labs, and industry. Yet,
work directly applicable to scientific computing, while having some impressive successes …

Programming, especially at the highest professional levels, is a cognitively demanding task
that requires both extensive knowledge and experience, as well as a degree of creativity that …

Multithreaded programming is complex and error-prone. Multithreading makes it difficult to
debug correctness and performance issues in parallel and concurrent software. This thesis …