Predictive Synthesis of API-Centric Code
Daye Nam, Baishakhi Ray, Sonia Seohyun Kim, Xianshan Qu, Satish Chandra
People
Software Engineer
I obtained my PhD from the University of Wisconsin-Madison in 1997, and a B.Tech. from the Indian Institute of Technology-Kanpur in 1991, both in computer science. From 1997 to 2002, I was a member of technical staff at Bell Laboratories, where my research focused on program analysis, domain-specific languages, and data-communication protocols. From 2002 to 2013, I was a research staff member at IBM Research, where my research focused on bug finding and verification, software synthesis, and test automation. From 2013 to 2016, I worked at Samsung Research America, where I led the advanced programming tools research team. In 2016, I started working at Meta. I am an ACM Distinguished Scientist.
Recent Items:
Programming languages, program analysis, software testing, and automated debugging
Daye Nam, Baishakhi Ray, Sonia Seohyun Kim, Xianshan Qu, Satish Chandra
José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra
Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra
Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra
Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra
Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra