POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Sun 14 Jan 2024 16:00 - 16:22 at Mountbatten Exhibition - Session 4 Chair(s): Andy Adams-Moran

Mark Harman is a full-time Research Scientist at Meta Platforms in the Instagram Product Performance team, working on software, engineering automation. He was previously in the Simulation-Based Testing (SBT) team at Meta, which he co-founded. The SBT team developed and deployed both the Sapienz and WW platforms for client- and server- side testing. Sapienz grew out of Majicke (a start up Mark co-founded) that was acquired by Facebook (now Meta Platforms) in 2017. Prior to working at Meta Platforms, Mark was head of Software Engineering at UCL and director of its CREST centre, where he remains a part time professor. In his more purely scientific work, he co-founded the field Search Based Software Engineering (SBSE) in 2001. He received the IEEE Harlan Mills Award and the ACM Outstanding Research Award in 2019 for his work, and was awarded a fellowship of the Royal Academy of Engineering in 2020.

Sun 14 Jan

Displayed time zone: London change

16:00 - 17:30
16:00
22m
Talk
Working with Peter O'Hearn in academia and industry
O'Hearn Fest
Mark Harman Meta Platforms, Inc. and UCL
16:22
22m
Talk
Pete's Footprints
O'Hearn Fest
16:45
22m
Talk
Symbolic Execution with Separating Decision Diagrams
O'Hearn Fest
Josh Berdine SkipLabs
17:07
22m
Talk
With Peter from Theory to Engineering
O'Hearn Fest