Chris Poskitt

Associate Professor of Computer Science (Education)
School of Computing and Information Systems
Singapore Management University
80 Stamford Road
Singapore 178902

Office: SCIS 2, Level 4, Room 4098

cposkitt@smu.edu.sg   +65 6826 1376

cv ▪ google scholar ▪ linkedin ▪ mastodon

I am a faculty member in the School of Computing and Information Systems at Singapore Management University, where I am part of the System Analysis and Verification (SAV) group. I completed my PhD in 2014 at the University of York (UK), under the supervision of Detlef Plump. Before coming to Singapore, I was a postdoc for three years at ETH Zürich, where I worked with Bertrand Meyer.

My research broadly addresses the problem of engineering correct and secure software/systems. I have worked on techniques for testing/defending cyber-physical systems using fuzzing and machine learning, tools for analysing execution models of concurrency APIs, and logics for reasoning about the correctness of graph-rewriting programs.

Selected Recent Publications

• REDriver: Runtime Enforcement for Autonomous Vehicles, Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, and Jun Sun. ICSE'24.
• ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings, Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, and Yuqi Chen. ICSE'24.
• Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring, Ivan Tan and Christopher M. Poskitt. SIGCSE'24.
• Finding Causally Different Tests for an Industrial Control System, Christopher M. Poskitt, Yuqi Chen, Jun Sun, and Yu Jiang. ICSE'23.
• Monadic Second-Order Incorrectness Logic for GP 2, Christopher M. Poskitt and Detlef Plump. JLAMP'23.
• LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles, Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, and Zijiang Yang. ASE'22.
• XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner, Lwin Khin Shar, Christopher M. Poskitt, Kyong Jin Shim, and Li Ying Leonard Wong. ITiCSE'22.
• Code Integrity Attestation for PLCs using Black Box Neural Network Predictions, Yuqi Chen, Christopher M. Poskitt, and Jun Sun. ESEC/FSE'21.
• Incorrectness Logic for Graph Programs, Christopher M. Poskitt. ICGT'21.
• Active Fuzzing for Testing and Securing Cyber-Physical Systems, Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, and Fan Zhang. ISSTA'20.
• Securing Bring-Your-Own-Device (BYOD) Programming Exams, Oka Kurniawan, Norman Tiong Seng Lee, and Christopher M. Poskitt. SIGCSE'20.
• Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences, Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, and Fan Zhang. ASE'19.
• Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System, Yuqi Chen, Christopher M. Poskitt, and Jun Sun. S&P'18.

See my research for more.

Current Teaching

See my teaching for more.

Recent Events

Programme Committees:

For my other activities, see here.