wintered
Ph.D. student in the AST lab at ETH Zurich. I'm researching techniques on testing SMT solvers and making them more reliable.
ETH ZurichZurich
Pinned Repositories
janus
A tool for testing SMT solvers for incompleteness bugs
yinyang
A fuzzing framework for SMT solvers
al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
AnkiVim
Use vim (or your favorite editor) to write anki cards quickly in plain text or latex.
che
The Kubernetes-Native IDE for Developer Teams
dl2
DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.
dotfiles
eran
ETH Robustness Analyzer for Deep Neural Networks
exercise
grammarinator
ANTLR v4 grammar-based test generator
wintered's Repositories
wintered/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
wintered/AnkiVim
Use vim (or your favorite editor) to write anki cards quickly in plain text or latex.
wintered/che
The Kubernetes-Native IDE for Developer Teams
wintered/dl2
DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.
wintered/dotfiles
wintered/eran
ETH Robustness Analyzer for Deep Neural Networks
wintered/exercise
wintered/grammarinator
ANTLR v4 grammar-based test generator
wintered/jemdoc_mathjax
jemdoc with MathJax support and more
wintered/loglizer
A log analysis toolkit for automated anomaly detection [ISSRE'16]
wintered/logparser
A toolkit for automated log parsing [ICSE'19, TDSC'18, DSN'16]
wintered/r-socialsci-intermediate-file
To store interviews-plotting.csv
wintered/wintered.github.io
wintered/z3test
Test and benchmark repository for Z3.