Karl Smeltzer

12 papers B 6C 1Journal 3Unranked 2

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