research

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