Daniel DeFreez

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 7

Top Topics

Top Venues

ESEC/SIGSOFT FSE

ICSE (Companion Volume)

Publications

Noah Mogensen, Daniel DeFreez
Transpiling Nand2Tetris to VHDL for Teaching Digital Logic. ITiCSE (2) (2023)
Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, Cindy Rubio-González
Detecting and reproducing error-code propagation bugs in MPI implementations. PPoPP (2020)
Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-González, Aditya V. Thakur
Effective error-specification inference via domain-knowledge expansion. ESEC/SIGSOFT FSE (2019)
Daniel DeFreez
Mining error-handling specifications for systems software. ESEC/SIGSOFT FSE (2018)
Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González
Path-based function embeddings. ICSE (Companion Volume) (2018)
Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González
Path-Based Function Embedding and its Application to Specification Mining. CoRR (2018)
Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González
Path-based function embedding and its application to error-handling specification mining. ESEC/SIGSOFT FSE (2018)
Daniel DeFreez, Bhargava Shastry, Hao Chen, Jean-Pierre Seifert
A First Look at Firefox OS Security. CoRR (2014)