The Facebook Testing and Verification (TAV) symposium brings together academia and industry to deliver a meaningful collaboration and exchange between testing and verification scientific research and practice. Taking place this year at our London office on November 20 and 21, the symposium is open to all testing and verification practitioners and researchers, and it’s free to attend. Those interested in attending may submit their registration request here. Space is limited, so submit your request today.
Attendees will hear and network with world-expert researchers and engineers from top universities and research centers, and from on-the-ground experts delivering technologies to some of the largest companies in the world. “This is the third time we have held the Facebook testing verification symposium in London, and we’re delighted to have such an outstanding schedule of speakers from academia and industry,” says Mark Harman, Facebook TAV co-chair.
“We will hear exciting talks from academics whose research is close to potential industrial deployment and uptake,” Mark says. “We’ll also hear from industrial practitioners who have already deployed advanced software testing and verification techniques into industrial practice. As with the previous symposia, there will be lots of opportunity for questions, discussion, networking, and collaborative community building.”
Below is the list of confirmed speakers and topics, which can also be found on the registration page.
Sapienz testing
Nadia Alshahwan, Facebook
Automated program repair with Getafix
Satish Chandra, Facebook
Finding bugs with Infer
Ezgi Cicek, Facebook
Survey of program synthesis
Cristina David, University of Cambridge
Testing and verification at Amazon
Liana Hadarean, Amazon
Perspectives on testing and verification
Tony Hoare, Microsoft
Probabilistic model checking
Marta Kwiatkowska, University of Oxford
Technology transfer
Stephen Magill, Galois
Using machine learning to recommend correctness checks for geographic map data
Atif Memon, Apple
Incorrectness logic
Peter O’Hearn, Facebook
Analysis and testing of mobile systems
Julia Rubin, University of British Columbia
Fuzz testing
Andreas Zeller, Saarland University
—
To learn more about TAV research at Facebook, watch the 2018 TAV RFP video with program co-chairs Mark Harman and Peter O’Hearn.