We use cookies to ensure that we give you the best experience on our website. By continuing your visit on the website, you consent to the use of the cookies. If you want to find out more about the cookies we use, you can access our Privacy Policy.
Join us for a two-day virtual symposium where we'll aim to build meaningful collaboration and exchange between leading academic and industry researchers in the testing and verification community.
About this event
Welcome to the 2021 Testing and Verification Symposium
Join us for the fifth annual Testing and Verification Symposium where we'll aim to bring together the academia and industry communities in an open environment to exchange ideas and showcase the top experts from testing and verification scientific research and practice. Taking place virtually again this year from Wednesday, December 1 - Thursday, December 2, the symposium is open to all testing and verification practitioners and researchers and is free to attend. Last year, the virtual 2020 Symposium garnered a global audience of over 400 people.
We invite you to register and attend the 2021 Symposium through this event site. To connect with fellow attendees and members of the testing and verification broader community, join our TAV Symposium group. For more information about the Symposium and research, check out our 2021 symposium announcement on research.fb.com.
We look forward to seeing you virtually at the 2021 Symposium!
Dr Azalea Raad is a computer scientist and lecturer at Imperial College London's Department of Computing. Her research interests include non-volatile memory, persistency semantics, concurrent verification, program logics and hardware validation. She is best known for her pioneering research into non-volatile memory, for which she has collaborated with industry leaders such as Intel and ARM. In 2021 she was awarded a UKRI Future Leaders Fellowship to pursue advanced research into non-volatile memory and its applications across the digital economy. She also received the President's Award for Outstanding Early Career Research from Imperial College London. She works as a consulting research scientist at Facebook Research on projects such as Infer and the Incorrectness Logic Lab. Previously she worked at the Max-Planck Institute for Software Systems as a Research Associate.
Dr. Chunyang Chen
Monash University, Australia
Dr Chunyang Chen is a lecturer (Assistant Prof) in the Faculty of IT, Monash University. His main research interest lies in automated software engineering, especially data-driven mobile app development. Besides, he is also interested in Human-Computer Interaction (e.g., collaborative editing, UI design), and software security (e.g., neural network attack). He has published about 50 research papers in top venues such as ICSE, FSE, ASE, TSE, TOSEM, CSCW and obtained three ACM SIGSOFT Distinguished Paper Awards (ICSE’21, ICSE’20, ASE’18, ICSE), one best paper award (SANER’16) and one best tool demo award (ASE’16). He has established extensive collaboration with industry, including Google, Alibaba, Facebook and his work on GUI accessibility has been integrated into the IOS’14 update.
Goran Petrovic
Google Switzerland GmbH
Goran Petrović is a Senior Staff Software Engineer at Google Switzerland, Zürich. He received an MS in Computer Science from University of Zagreb, Croatia, in 2009. His main research interests are software quality metrics and improvements, ranging from prevention of software defects to evaluation of software design reusability and maintenance costs and automated large scale software refactoring.
Isabel Li
Imperial College London
I am a fourth year student at Imperial College London studying Computer Science. Last summer, I joined Facebook as an intern in the Automated UI testing team. One fact about me is that I am a big fan of figure skating events.
Jade Alglave
University College London and Arm
Jade is a Professor of Computer Science at University College London and a Distinguished Engineer at Arm. Her work revolves around formalising models of concurrent systems such as the Arm memory model and the Linux kernel memory model. She is a Fellow of the Royal Academy of Engineering.
Jules Villard
Meta
I am a Software Engineer working on the Infer static analysis platform at Facebook London. After studying at ENS Lyon and then at ENS Cachan, defending a PhD thesis on the verification of message-passing programs in 2011, I have held a number of Research Assistant positions in London (Queen Mary, UCL, Imperial College), then joining Facebook in 2015. I am now investigating new techniques for finding bugs at scale. Interests: Static analysis, program logics, programming languages, software verification.
Ke Mao
WhatsApp
I am a Software Engineer working on code analysis and continuous integration at WhatsApp. I joined Facebook in 2017 to initially work on the deployment of Sapienz (automated test design system). Before that, I was the CTO and co-founder of MaJiCKe. I authored its key product Sapienz with Prof. Mark Harman and Dr. Yue Jia. I received a PhD in computer science from University College London (UCL).
Kinga Bojarczuk
Meta
I graduated from King’s College London with a Bachelor’s degree in Computer Science with Artificial Intelligence with a Year Abroad at University of Toronto. I received a King’s Experience Research Award for my work on Graph Transformation Systems. I worked as a Research Assistant in multiple projects covering a variety of topics including Multi-agent Simulation Systems, Graph Transformation Systems and Big Data Statistics at King’s College London.In 2020 I started work at Meta where I’ve been working on Meta’s WW Web Enabled Simulation system, a platform on which Meta simulates user communities on the real underlying infrastructure.My co-authors and I have published results from this work at the 43rd International Conference on Software Engineering (ICSE 2021) as well as in invited keynote papers at the 8th Genetic Improvement Workshop (GI 2020), the 15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2021), the 9th Realising Artificial Intelligence Synergies with Software Engineering (RAISE 2021) workshop and the 25th International Conference on Evaluation and Assessment in Software Engineering (EASE 2021).
Noam Zilberstein
Cornell University
I am a PhD Student at Cornell University. My research focuses on developing programming languages and formal methods that help developers more effectively reason about the correctness of their code. I strive to ground my work in my six years of experience as a Software Engineer at Facebook in order to create solutions that can be applied in practice and that scale well to large systems. During my time at Facebook, I successfully applied these ideas to formally verify critical concurrent algorithms and eliminate bugs using dependently typed code. Through my research and industry collaborations, I hope to bring about a new generation of software development techniques that can better meet the scale of today’s increasingly complex systems.
Raphaël Monat
LIP6, Sorbonne University
I am a teaching and research assistant at LIP6, Sorbonne Université. My general interest lie in the application of formal methods to real-world problems. The main focus of my research is the semantics and the static analysis of Python. These analyses are developed within a novel static analysis platform called Mopsa. I have also worked on reverse-engineering the French tax code and developing a new compiler for it, which will soon be used by the French state. You can visit my website for more information: rmonat.fr.
Sébastien Bardin
CEA
Sébastien Bardin is a full-time senior researcher at CEA LIST, where he has initiated and now leads the binary-level security analysis group. His research interests lay at the crossroad of formal methods, program analysis, automated reasoning, software engineering and security. For a few years now, Sébastien has been interested in automating binary-level security analysis by lifting formal methods developed for the safety-critical industry. More especially, he focuses on binary-level formal methods, vulnerability detection & assessment and malware analysis. He is the main designer of the (open-source) BINSEC platform for binary-level code analysis. He regularly publishes articles in top-ranked international academic conferences in Security, Formal Methods, Software Engineering and Automated Reasoning. Sébastien holds a PhD from Ecole Normale Supérieure de Cachan (2005). He is an ACM Senior Member and a CEA Research Fellow
Tao Xie
Peking University, China
Tao Xie is a Chair Professor in the School of Computer Science at Peking University, Beijing, China, and Vice Director of Key Lab of High Confidence Software Technologies (PKU), Ministry of Education. He received an NSF CAREER Award, ACM SIGSOFT Distinguished Service Award, IEEE CS TCSE Distinguished Service Award, ASE 2021 Most Influential Paper Award, and various industrial faculty awards and distinguished/best paper awards. He is a co-Editor-in-Chief of the Wiley journal of Software Testing, Verification and Reliability (STVR). He served as the ISSTA 2015 Program Chair, Tapia 2017/2018 Program/General Chair, and an ICSE 2021 Program Co-Chair. He was selected by Lero as a David Lorge Parnas Fellow in 2019. He was selected as an ACM Distinguished Scientist in 2015, an IEEE Fellow in 2018, and an AAAS Fellow in 2019.
Viktor Malík
Brno University of Technology
I am a PhD student at Brno University of Technology. My research focuses on automatic verification and analysis of software. In particular, I am interested in two areas: (1) formal verification of programs manipulating dynamically allocated memory and (2) static analysis of semantic differences between various program versions. The latter area is connected to Red Hat, where I work as a Software Enginer and where I strive to apply methods of static analysis on real-world code, especially on the Linux kernel.
Yue Jia
Meta
I am a software engineer at Facebook and a part time lecturer of software engineering in the Department of Computer Science at University College London. My research interests are in the areas of software analysis and testing and Search Based Software Engineering (SBSE). Interests: Search Based Software Engineering (SBSE): Optimising software systems using computational search techniques.
I am a Software Engineer working on the Infer static analysis platform at Facebook London. After studying at ENS Lyon and then at ENS Cachan, defending a PhD thesis on the verification of message-passing programs in 2011, I have held a number of Research Assistant positions in London (Queen Mary, UCL, Imperial College), then joining Facebook in 2015. I am now investigating new techniques for finding bugs at scale. Interests: Static analysis, program logics, programming languages, software verification.
Yue Jia
Meta
I am a software engineer at Facebook and a part time lecturer of software engineering in the Department of Computer Science at University College London. My research interests are in the areas of software analysis and testing and Search Based Software Engineering (SBSE). Interests: Search Based Software Engineering (SBSE): Optimising software systems using computational search techniques.
David Accame
Meta
I am a Research Program Manager on the Facebook Research Operations and Academic Relations team. I focus on fostering engaging collaborations, projects, programs, and conference activities for the Facebook Infrastructure research teams. I help build strong strategic plans to help our research teams be impactful and bring value to the academic community.Prior to joining Facebook, I worked in scientific research and publishing for the past 10+ years at the National Institutes of Health and, most recently, the Public Library of Science (PLOS). For the majority of my time at PLOS, I developed and led programs focused on deepening relationships with 10,000+ academic researchers who support the portfolio of journals through peer review and optimizing the peer review process for more than 25,000 scientific articles per year.
Jessica Birch
Meta
Jessie is a Research Events Producer on the Research Operations and Academic Relations (Marketing & Events) team at Facebook. She partners with research program managers and research scientists at Facebook to strategize and produce impactful events and programs for teams within the Facebook research community, specifically Facebook's Infrastructure, Privacy and Security, Systems and Networking, and Connectivity teams. Jessie graduated from University of Colorado at Boulder in May 2015 with a Bachelor of Arts in Communication and a State of Colorado Teaching License. Prior to joining Facebook in May 2018, Jessie worked as an AI and Research Programs Event Coordinator on assignment at Google (April 2017-May 2018), a Public Relations Account Coordinator at SHIFT Communications (May 2016-April 2017), and an Event Coordinator Intern at Human Movement Management (February 2014-September 2014).
Stephanie Greer
Meta
Stephanie is a Research Events Coordinator on the Research Operations and Academic Relations (Marketing & Events) team at Facebook. She just recently joined the team but is extremely excited to coordinate events under the research umbrella. She works closely with the research program managers and scientists to produce quality academic engagements for conferences and hosted events, both virtually and in person. Stephanie is a San Jose State Alumni, Go Spartans! She has a strong background in internal and external corporate events, with over 15 years of customer service and stakeholder experience. Her last positions were held at Oracle Cloud Infrastructure and Google REWS where she worked on a wide variety of different corporate events.