research

2023

  1. ITiCSE
    Transpiling Nand2Tetris to VHDL for Teaching Digital Logic
    Mogensen, Noah, and DeFreez, Daniel
    In Proceedings of the 2023 Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE), to appear 2023

2020

  1. PPoPP
    Detecting and reproducing error-code propagation bugs in MPI implementations
    DeFreez, Daniel, Bhowmick, Antara, Laguna, Ignacio, and Rubio-González, Cindy
    In PPoPP ’20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, California, USA, February 22-26, 2020 2020

2019

  1. FSE
    Effective error-specification inference via domain-knowledge expansion
    DeFreez, Daniel, Baldwin, Haaken Martinson, Rubio-González, Cindy, and Thakur, Aditya V.
    In Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019 2019

2018

  1. FSE
    Path-based function embedding and its application to error-handling specification mining
    DeFreez, Daniel, Thakur, Aditya V., and Rubio-González, Cindy
    In Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018 2018
  2. FSE SRC
    Mining error-handling specifications for systems software
    DeFreez, Daniel
    In Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018 2018
  3. ICSE Poster
    Path-based function embeddings
    DeFreez, Daniel, Thakur, Aditya V., and Rubio-González, Cindy
    In Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018 2018

2014

  1. MoST
    A First Look at Firefox OS Security
    DeFreez, Daniel, Shastry, Bhargava, Chen, Hao, and Seifert, Jean-Pierre
    CoRR 2014