Karl Smeltzer

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 8

Top Topics

Exploratory Analysis

Visualization Tools

Data Mining And Visualization

Data Visualization

Top Venues

J. Vis. Lang. Comput.

Proc. ACM Program. Lang.

Publications

Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic
A type system for extracting functional specifications from memory-safe imperative programs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Martin Erwig, Karl Smeltzer
Variational Pictures. Diagrams (2018)
Karl Smeltzer, Martin Erwig
Comparative Visualizations through Parameterization and Variability. VL/HCC (2018)
Karl Smeltzer, Martin Erwig
A domain-specific language for exploratory data visualization. GPCE (2018)
Jonathan Dodge, Michael Hilton, Ronald A. Metoyer, Josie Hunter, Karl Smeltzer, Catharina Vijay, Andrew Atkinson
Deriving Age Diverse Personas from a Participatory Design Study on Home Electricity Feedback. CHI Extended Abstracts (2017)
Sheng Chen, Martin Erwig, Karl Smeltzer
Exploiting diversity in type checkers for better error messages. J. Vis. Lang. Comput. 39 (2017)
Martin Erwig, Karl Smeltzer, Xiangyu Wang
What is a visual language? J. Vis. Lang. Comput. 38 (2017)
Karl Smeltzer, Martin Erwig
Variational lists: comparisons and design guidelines. FOSD (2017)
Karl Smeltzer
A language for visualization variation and transformation. VL/HCC (2014)
Karl Smeltzer, Martin Erwig, Ronald A. Metoyer
A transformational approach to data visualization. GPCE (2014)
Sheng Chen, Martin Erwig, Karl Smeltzer
Let's hear both sides: On combining type-error reporting tools. VL/HCC (2014)
Martin Erwig, Karl Smeltzer, Keying Xu
A notation for non-linear program edits. VL/HCC (2014)