Karl Smeltzer

According to our database, Karl Smeltzer authored at least 12 papers between 2014 and 2021.

Collaborative distances:

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

2021

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

2018

Comparative Visualizations through Parameterization and Variability.

Karl Smeltzer, Martin Erwig

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

A domain-specific language for exploratory data visualization.

Karl Smeltzer, Martin Erwig

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Variational Pictures.

Martin Erwig, Karl Smeltzer

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

What is a visual language?

Martin Erwig, Karl Smeltzer, Xiangyu Wang

J. Vis. Lang. Comput., 2017

Exploiting diversity in type checkers for better error messages.

Sheng Chen, Martin Erwig, Karl Smeltzer

J. Vis. Lang. Comput., 2017

Variational lists: comparisons and design guidelines.

Karl Smeltzer, Martin Erwig

Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, 2017

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

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2014

A language for visualization variation and transformation.

Karl Smeltzer

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

A notation for non-linear program edits.

Martin Erwig, Karl Smeltzer, Keying Xu

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

Let's hear both sides: On combining type-error reporting tools.

Sheng Chen, Martin Erwig, Karl Smeltzer

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

A transformational approach to data visualization.

Karl Smeltzer, Martin Erwig, Ronald A. Metoyer

Proceedings of the Generative Programming: Concepts and Experiences, 2014