Daniel DeFreez

According to our database, Daniel DeFreez authored at least 8 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Transpiling Nand2Tetris to VHDL for Teaching Digital Logic.

Noah Mogensen, Daniel DeFreez

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 2023

2020

Detecting and reproducing error-code propagation bugs in MPI implementations.

Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, Cindy Rubio-González

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

2019

Effective error-specification inference via domain-knowledge expansion.

Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-González, Aditya V. Thakur

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

Path-Based Function Embedding and its Application to Specification Mining.

Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González

CoRR, 2018

Path-based function embedding and its application to error-handling specification mining.

Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Mining error-handling specifications for systems software.

Daniel DeFreez

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Path-based function embeddings.

Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2014

A First Look at Firefox OS Security.

Daniel DeFreez, Bhargava Shastry, Hao Chan, Jean-Pierre Seifert

CoRR, 2014