Speakers

• 

  Dr. Azalea Raad

  Imperial College London

  Lecturer

  See Bio
• 

  Dr. Chunyang Chen

  Monash University, Australia

  Lecturer / Assistant Professor

  See Bio
• 

  Goran Petrovic

  Google Switzerland GmbH

  Sr. Staff Software Engineer

  See Bio
• 

  Isabel Li

  Imperial College London

  Master of Engineering Student

  See Bio
• 

  Jade Alglave

  University College London and Arm

  Professor, FREng

  See Bio
• 

  Jules Villard

  Meta

  Software Engineer

  See Bio
• 

  Ke Mao

  WhatsApp

  Software Engineer

  See Bio
• 

  Kinga Bojarczuk

  Meta

  Software Engineer

  See Bio
• 

  Noam Zilberstein

  Cornell University

  PhD Student

  See Bio
• 

  Raphaël Monat

  LIP6, Sorbonne University

  Research & Teaching Assistant

  See Bio
• 

  Sébastien Bardin

  CEA

  Senior Researcher

  See Bio
• 

  Tao Xie

  Peking University, China

  Professor

  See Bio
• 

  Viktor Malík

  Brno University of Technology

  PhD Student

  See Bio
• 

  Yue Jia

  Meta

  Software Engineer

  See Bio

×

Dr. Azalea Raad

Imperial College London

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.

Facilitators

• 

  Andy Adams-Moran

  Meta

  Software Engineering Manager

• 

  David Pichardie

  Meta

  Research Scientist

• 

  Jules Villard

  Meta

  Software Engineer

• 

  Ke Mao

  WhatsApp

  Software Engineer

• 

  Kinga Bojarczuk

  Meta

  Software Engineer

• 

  Nadia Alshahwan

  Meta

  Software Engineer

• 

  Nick Benton

  Meta

  Software Engineering Manager

• 

  Quentin Carbonneaux

  Meta

  Research Scientist

• 

  Yue Jia

  Meta

  Software Engineer