Karl Smeltzer

12 papers B 6C 1Journal 3Unranked 2
YearRankTypeTitle / 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
requirements.txt
← Index requirements.txt plaintext 
asn1crypto==1.5.1
dotnetfile==0.2.4
elasticsearch==8.15.0
magika==1.0.1
modules==1.0.0
pefile==2023.2.7
py7zr==0.22.0
python-magic==0.4.27
pyzipper==0.3.6
py-tlsh==4.7.2
bitstring==4.2.3
Pillow==10.4.0
setuptools==75.1.0
ppdeep==20200505
cryptography==43.0.3
flare-floss==3.1.1
#stringsifter==3.20230711
signify==0.7.1
yara-x==1.9.0
xxhash==3.6.0
git+https://github.com/wbond/oscrypto.git@1547f535001ba568b239b8797465536759c742a3
pycryptodomex==3.20.0
redis==6.4.0
clickhouse-connect==0.8.13
minio==7.2.15
requests==2.33.1
pyelftools==0.32
python-dotenv
psutil
numpy
mmh3
blake3
machofile==2026.02.10
lief==0.17.3
androguard>=4.1
permhash
jsbeautifier>=1.14.0
chardet==7.4.1
pyjsparser>=2.7.1

# Development and linting tools
flake8
pylint
black
isort