A transformational approach to data visualization. - Karl Smeltzer; Martin Erwig; Ronald A. Metoyer (GPCE, 2014)

Let's hear both sides: On combining type-error reporting tools. - Sheng Chen 008; Martin Erwig; Karl Smeltzer (VL/HCC, 2014)

A notation for non-linear program edits. - Martin Erwig; Karl Smeltzer; Keying Xu (VL/HCC, 2014)

A language for visualization variation and transformation. - Karl Smeltzer (VL/HCC, 2014)

Deriving Age Diverse Personas from a Participatory Design Study on Home Electricity Feedback. - Jonathan Dodge; Michael Hilton; Ronald A. Metoyer; Josie Hunter; Karl Smeltzer; Catharina Vijay; Andrew Atkinson (CHI Extended Abstracts, 2017)

Variational lists: comparisons and design guidelines. - Karl Smeltzer; Martin Erwig (FOSD, 2017)

Exploiting diversity in type checkers for better error messages. - Sheng Chen 008; Martin Erwig; Karl Smeltzer (J. Vis. Lang. Comput., 2017)

What is a visual language? - Martin Erwig; Karl Smeltzer; Xiangyu Wang (J. Vis. Lang. Comput., 2017)

Variational Pictures. - Martin Erwig; Karl Smeltzer (Diagrams, 2018)

A domain-specific language for exploratory data visualization. - Karl Smeltzer; Martin Erwig (GPCE, 2018)

Comparative Visualizations through Parameterization and Variability. - Karl Smeltzer; Martin Erwig (VL/HCC, 2018)

A type system for extracting functional specifications from memory-safe imperative programs. - Paul He; Eddy Westbrook; Brent Carmer; Chris Phifer; Valentin Robert; Karl Smeltzer; Andrei Stefanescu; Aaron Tomb; Adam Wick; Matthew Yacavone; Steve Zdancewic (Proc. ACM Program. Lang., 2021)