Zheng Gao
Zheng and I are quantifying the effectiveness of type systems and seeking to exploit my
time-traveling debugger work for root cause analysis.
Jenschwich Charoenchai
(Steve Hailes second), 2021–
Jenschwich, Steve, and I are pursuing flexible factory automation with machine learning.
Maria Del Mar Zamorano Lopez
(co-first with Federica Sarro;
Carlos Cetina second), 2021–
Mar, Carlos, Federica, and I are exploring model transplantation to speed game
development.
Iason Papapanagiotakis-Bousy
(co-first with David Clark),
2017–
Iason, David, and I are applying program analysis techniques to create a
framework that bounds the probability of program equivalence.
David Kelly
(co-first with David Clark),
2017–
Along with David Clark, David and I are working on merging gradual and information flow typing
to support security-aware programming.
Abdoul Kader Kabore
(Tegawendé F. Bissyandé, University of Luxembourg, first), 2019–
Kader, Tegawendé, and I are working on neural clone detection.
Nikhil Parasaram
(Sergey Mechtaev, first), 2019–
Nikhil, Sergey, and I are working in automated program repair.
Alex Brisan
(Don Sanella, University of Edinburgh, first), 2019–
Alex, Don, and I are working on optional typing.
Irene Vlassi-Pandi
(Andy Gordon,
Microsoft Research Cambridge/University of Edinburgh, first;
Charles Sutton,
Google Brain, second), 2017–
Irene, Andy, Charles, and I are applying ML to the problem of exploiting names in type inference.
Robert White (Jens Krinke, first) 2017–
Profir-Petru Partachi
(first, David Clark second), 2017–2020.
Profir and I are tapping into natural language data sources to guide testing.
David White, 2017–19, and I continue to collaborate on applying metaheuristics and machine learning to programming problems.
Santanu Dash, 2016–2018, is now a lecturer at the University of Surrey. He and I still work together on bimodal program analysis and the data-driven construction of programs.
Nassim Seghir (2016–19) and I are still working, albeit slowly, on the identifying, cataloguing, and exploiting SubTuring islands.
Jie Zhang (2018–2019) is now an RA working with Mark Harman and Federica Sarro.
David Landsberg (2018–2019) and I worked on a casual approach to software fault localisation.