Chris Poskitt

Assistant 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 4096

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

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

2023-24 Term 1	CS302: IT Solution Lifecycle Management IS212: Software Project Management
2022-23 Term 2	IS213: Enterprise Solution Development

See my teaching for more.

Recent Events

Programme Committees:

2023	ESEC/FSE, ICGT (Co-Chair), ICSE (SRC Judge), iFM (PhD Symp.)
2022	GCM (Co-Chair), AIoTS, SiMLA

For my other activities, see here.