jennalwise
Assistant Professor in Electrical and Computer Engineering at Purdue University. I do research in programming language design and software verification.
Purdue University
Pinned Repositories
ecoop21-artifact
gvc0
Gradually Verified C0
silicon-gv
silver-gv
Definition of the Viper intermediate verification language.
att-hackathon
Boston hackathon fun
ebola
Data for the 2014 ebola outbeak in West Africa
graphblas-verif
Formal verification of the GraphBLAS C API implementation by Tim Davis using Frama-C/WP.
hello-world-travisci
grad-ver
Gradual verification
jennalwise's Repositories
jennalwise/graphblas-verif
Formal verification of the GraphBLAS C API implementation by Tim Davis using Frama-C/WP.
jennalwise/ebola
Data for the 2014 ebola outbeak in West Africa
jennalwise/att-hackathon
Boston hackathon fun
jennalwise/hello-world-travisci
jennalwise/jennalwise.github.io
jennalwise/stacks-c-lecture
Lecture and active learning activities teaching stacks in C, focusing on linked list based stacks
jennalwise/tdd-java-example-junit