B.S. ​University of Calcutta, India, 2004M.S. ​University of Colorado, Boulder, USA, 2009Ph.D. ​University of Texas at Austin, USA, 2013Post-Doc ​University of California, Davis, USA, 2013-2015

"I focus on improving software quality and the efficiency of the software development process to ensure a sustainable growth of the software industry."

Baishakhi Ray, Assistant Professor

Baishakhi Ray was an assistant professor at the University of Virginia and now holds a courtesy appointment. She finished her Ph.D. from the University of Texas at Austin. Her research focuses on Software Engineering, in particular, empirical studies and program analysis. Baishakhi analyzes large-scale software repositories to understand on-going software engineering practices. Then, leveraging this data-driven knowledge, she builds novel program analysis techniques and development tools to improve software quality and programmer productivity.

Baishakhi has received Distinguished Paper Awards from ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), International Conference on Mining Software Repositories, (MSR 2017), and best practical student paper awards from 2014 IEEE symposium on security and privacy (Oakland). Her paper was also nominated for the distinguished paper award at IEEE Automatic Software Engineering Conference (ASE), 2013. Her research is also appeared in the "Research Highlights" (RH) section of the CACM and has been widely covered in trade media.


  • NSF CHS: Small: Translating Compilers for Visual Computing in Dynamic Languages
  • NSF TWC: Small: Collaborative: Automated Detection and Repair of Error Handling Bugs in SSL/TLS Implementations
  • ACM Sigsoft Distinguished Paper Award, MSR 2017.
  • Best Student Paper Award, S&P 2014.
  • Best Paper Award, FSE 2017

Research Interests

  • Detecting & Fixing Bugs Using Code Similarity
  • Testing Machine Learning-Based Systems
  • Natural Language Models for Source Code
  • Analytical Support for Improving Software Reliability
  • Software Engineering
  • Machine Learning, Text Mining, Information Retrieval

Selected Publications

  • “Automatically Diagnosing and Repairing Error Handling Bugs in C”. In Proceedings of the ACM SIGSOFT 25th International Symposium on the Foundations of Software Engineering (FSE 2017) Y. Tian, B. Ray
  • Some From Here, Some From There: Cross-Project Code Reuse in GitHub”. In Proceedings of the 14th International Conference on Mining Software Repositories (MSR 2017), distinguished paper award. M. Gharehyazie, B. Ray, V. Filkov.
  • APEx: Automated inference of error specifications for C APIs. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (pp. 472-482) (ASE 2016) Kang, Y., Ray, B., and Jana, S.
  • Automatically Detecting Error Handling Bugs using Error Specifications. In USENIX Security Symposium (USENIX Security 2016). 2016, August. Jana, S., Kang, Y., Roth, S., & Ray, B.
  • “Assert Use in GitHub Projects”. In Proceedings of the International Conference on Software Engineering. IEEE. 2015, pp. 1–10, (ICSE 2015). C. Casey, D. Prem, O. Abilio, F. Vladimir, and B. Ray.
  • “A large scale study of programming languages and code quality in github”. In Proceedings of the ACM SIGSOFT 22nd International Symposium on the Foundations of Software Engineering, pp. 155–165, (FSE 2014). B. Ray, D. Posnett, V. Filkov, and P. T. Devanbu.
  • “Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations”. In: IEEE Symposium on Security and Privacy 2014, pp. 114–129 (S&P 2014). C. Brubaker, S. Jana, B. Ray, S. Khurshid, and V. Shmatikov.
  • “Detecting and characterizing semantic inconsistencies in ported code”. In: Automated Software Engineering, 2013 IEEE/ACM 28th International Conference on, pp. 367–377, (ASE 2013). B. Ray, M. Kim, S. Person, and N. Rungta.
  • “A Case Study of Cross-system Porting in Forked Projects”. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, pp. 53.1–53.11 (FSE 2012). B. Ray and M. Kim.