CP
Christopher M. Poskitt
cs.SEcs.CRcs.LGcs.LOcs.CYcs.AIcs.PLcs.DCcs.CVcs.CL
On Valency
published · living versionsW_7yh5gqdq·v1 · currentpublished
Pairing Matters: Performance, Failures, and Efficiency in Lightweight Coding Agents
with Lu Zhao, David Lo
1 version
Preprints & journals
45 papers in the corpus · 2014–2026Representation Transitions Reveal Emerging Safety Risks in Multi-Turn LLM Agents2610.00400v1 · Haoyu Wang, Wei Zhao, Yedi Zhang et al.2026 · 0 citationsarXiv
From Incomplete Architecture to Quantified Risk: Multimodal LLM-Driven Security Assessment for Cyber-Physical Systems2604.05674v1 · Shaofei Huang, Christopher M. Poskitt, Lwin Khin Shar2026 · 1 citationarXiv
SafeClaw-R: Towards Safe and Secure Multi-Agent Personal Assistants2603.28807v1 · Haoyu Wang, Zibo Xiao, Yedi Zhang et al.2026 · 0 citationsarXiv
Rethinking Artifact Evaluation for Software Engineering in the Age of Generative AI2604.16306v1 · Christoph Treude, Christopher M. Poskitt, Rashina Hoda2026 · 0 citationsProc. ICSE-FoSE '26, pages 97-101. ACM, 2026
Developing a Strong CPS Defender: An Evolutionary Approach2512.08320v1 · Qingyuan Hu, Christopher M. Poskitt, Jun Sun et al.2025 · 0 citationsarXiv
Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool2509.21067v2 · Oka Kurniawan, Erick Chandra, Christopher M. Poskitt et al.2025 · 1 citationProc. Koli Calling '25, Article No. 41, pages 1-7. ACM, 2025
Bayesian and Multi-Objective Decision Support for Incident Mitigation in Cyber-Physical Systems2509.00770v4 · Shaofei Huang, Christopher M. Poskitt, Lwin Khin Shar2025 · 0 citationsIEEE Access, vol. 14, pp. 148923-148942, 2026
ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction2508.00500v4 · Haoyu Wang, Christopher M. Poskitt, Jiali Wei et al.2025 · 1 citationProc. ASE'26, pages 1470-1482. ACM, 2026
Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning Approach2505.01947v1 · Ivan Tan, Wei Minn, Christopher M. Poskitt et al.2025 · 4 citationsProc. ICECCS 2025, volume 15746 of LNCS, pages 3-23. Springer, 2025
AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents2503.18666v3 · Haoyu Wang, Christopher M. Poskitt, Jun Sun2025 · 15 citationsProc. ICSE'26, pages 2938-2950. ACM, 2026
FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation2502.08260v1 · Yang Sun, Christopher M. Poskitt, Kun Wang et al.2025 · 3 citationsProc. ICSE'25, pages 1921-1933. IEEE, 2025
Simulated Interactive Debugging2501.09694v2 · Yannic Noller, Erick Chandra, Srinidhi Chandrashekar et al.2025 · 0 citationsarXiv
ACTISM: Threat-informed Dynamic Security Modelling for Automotive Systems2412.00416v3 · Shaofei Huang, Christopher M. Poskitt, Lwin Khin Shar2024 · 0 citationsarXiv
Bot-Driven Development: From Simple Automation to Autonomous Software Development Bots2411.16100v1 · Christoph Treude, Christopher M. Poskitt2024 · 3 citationsProc. BotSE'25, pages 18-22. IEEE, 2025
Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements2409.10562v3 · Yang Sun, Haoyu Wang, Christopher M. Poskitt et al.2024 · 0 citationsProc. ICST'26, pages 40-51. IEEE, 2026
Drive: User-Controlled Autonomous Driving2407.13201v1 · Kun Wang, Christopher M. Poskitt, Yang Sun et al.2024 · 0 citationsarXiv
Security Modelling for Cyber-Physical Systems: A Systematic Literature Review2404.07527v3 · Shaofei Huang, Christopher M. Poskitt, Lwin Khin Shar2024 · 9 citationsACM Trans. Cyber Phys. Syst. 10(2), Article 20, 1-29 (2026)
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings2401.07063v1 · Huijia Sun, Christopher M. Poskitt, Yang Sun et al.2024 · 15 citationsProc. ICSE'24, Article No. 102, pages 1-13. ACM, 2024
REDriver: Runtime Enforcement for Autonomous Vehicles2401.02253v1 · Yang Sun, Christopher M. Poskitt, Xiaodong Zhang et al.2024 · 8 citationsProc. ICSE'24, Article No. 176, pages 1-12. ACM, 2024
Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring2401.01011v1 · Ivan Tan, Christopher M. Poskitt2024 · 9 citationsProc. SIGCSE'24, pages 1307-1313. ACM, 2024
How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool?2310.00954v2 · Oka Kurniawan, Christopher M. Poskitt, Ismam Al Hoque et al.2023 · 7 citationsProc. TALE'23. IEEE, 2023
How Generalizable are Deepfake Image Detectors? An Empirical Study2308.04177v2 · Boquan Li, Jun Sun, Christopher M. Poskitt et al.2023 · 3 citationsarXiv
Finding Causally Different Tests for an Industrial Control System2302.04175v2 · Christopher M. Poskitt, Yuqi Chen, Jun Sun et al.2023 · 7 citationsProc. ICSE'23, pages 2578-2590. IEEE, 2023
Proceedings of the Thirteenth International Workshop on Graph Computation Models2212.10975v1 · Reiko Heckel, Christopher M. Poskitt2022 · 0 citationsEPTCS 374, 2022
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles2208.14656v2 · Yang Sun, Christopher M. Poskitt, Jun Sun et al.2022 · 66 citationsProc. ASE'22, Article No. 62, pages 1-12. ACM, 2022
XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner2204.12416v1 · Lwin Khin Shar, Christopher M. Poskitt, Kyong Jin Shim et al.2022 · 7 citationsProc. ITiCSE'22, pages 463-469. ACM, 2022
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs2202.04076v2 · Kun Wang, Jingyi Wang, Christopher M. Poskitt et al.2022 · 19 citationsIEEE Trans. Software Eng., 2023
Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid Classroom2109.09073v1 · Christopher M. Poskitt, Kyong Jin Shim, Yi Meng Lau et al.2021 · 7 citationsProc. HICSS 2022, pages 931-940. ScholarSpace, 2022
Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework2109.08896v1 · Oka Kurniawan, Cyrille J'egourel, Norman Tiong Seng Lee et al.2021 · 6 citationsProc. HICSS 2022, pages 982-991. ScholarSpace, 2022
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions2106.07851v2 · Yuqi Chen, Christopher M. Poskitt, Jun Sun2021 · 18 citationsProc. ESEC/FSE 2021, pages 32-44. ACM, 2021
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems2105.10707v1 · Yifan Jia, Jingyi Wang, Christopher M. Poskitt et al.2021 · 53 citationsInt. J. Crit. Infrastructure Prot. 34:100452, 2021
Incorrectness Logic for Graph Programs2105.04501v3 · Christopher M. Poskitt2021 · 5 citationsProc. ICGT 2021, volume 12741 of LNCS, pages 81-101. Springer, 2021
Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems2007.03651v2 · Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva et al.2020 · 5 citationsIn Proc. ACM Cyber-Physical System Security Workshop (CPSS 2020), pages 11-22. ACM, 2020
Active Fuzzing for Testing and Securing Cyber-Physical Systems2005.14124v2 · Yuqi Chen, Bohan Xuan, Christopher M. Poskitt et al.2020 · 29 citationsIn Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020), pages 14-26. ACM, 2020
Securing Bring-Your-Own-Device (BYOD) Programming Exams2001.03942v1 · Oka Kurniawan, Norman Tiong Seng Lee, Christopher M. Poskitt2020 · 24 citationsIn Proc. ACM Technical Symposium on Computer Science Education (SIGCSE 2020), pages 880-886. ACM, 2020
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences1909.05410v1 · Yuqi Chen, Christopher M. Poskitt, Jun Sun et al.2019 · 66 citationsIn Proc. IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), pages 962-973. IEEE, 2019
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System1801.00903v2 · Yuqi Chen, Christopher M. Poskitt, Jun Sun2018 · 148 citationsIn Proc. IEEE Symposium on Security & Privacy (S&P 2018), pages 648-660. IEEE, 2018
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language1710.03928v1 · Claudio Corrodi, Alexander Heu\ssner, Christopher M. Poskitt2017 · 3 citationsFormal Asp. Comput. 30(1): 163-192 (2018)
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning1709.05342v2 · Jun Inoue, Yoriyuki Yamagata, Yuqi Chen et al.2017 · 366 citationsProc. IEEE International Conference on Data Mining Workshops (ICDMW 2017): Data Mining for Cyberphysical and Industrial Systems (DMCIS 2017), pages 1058-1065. IEEE, 2017
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation1609.01491v1 · Yuqi Chen, Christopher M. Poskitt, Jun Sun2016 · 30 citationsIn Proc. International Symposium on Formal Methods (FM 2016), volume 9995 of LNCS, pages 155-163. Springer, 2016
An Interference-Free Programming Model for Network Objects1604.04591v1 · Mischael Schill, Christopher M. Poskitt, Bertrand Meyer2016 · 3 citationsIn Proc. International Conference on Coordination Models and Languages (COORDINATION 2016), volume 9686 of LNCS, pages 227-244. Springer, 2016
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs1603.00307v1 · Claudio Corrodi, Alexander Heu\ssner, Christopher M. Poskitt2016 · 4 citationsProc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016), volume 9633 of LNCS, pages 31-48. Springer, 2016
The AutoProof Verifier: Usability by Non-Experts and on Standard Code1508.03895v1 · Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen2015 · 11 citationsEPTCS 187, 2015, pp. 42-55
Contract-Based General-Purpose GPU Programming1410.6685v4 · Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz et al.2014 · 7 citationsProc. International Conference on Generative Programming: Concepts and Experiences (GPCE 2015), pages 75-84. ACM, 2015
Verifying Monadic Second-Order Properties of Graph Programs1405.5927v2 · Christopher M. Poskitt, Detlef Plump2014 · 37 citationsProc. International Conference on Graph Transformation (ICGT 2014), volume 8571 of LNCS, pages 33-48. Springer, 2014
Career total: 98 works. 45 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.