Posts by Collection

portfolio

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

preprints

publications

A Robust Theory of Series-Parallel Graphs

Published in Principles of Programming Languages (POPL). 2023, 2023

Recommended citation: Rajeev Alur, Caleb Stanford, Christopher Watson. "A Robust Theory of Series-Parallel Graphs." POPL, 2023.
Download Paper

Stream Types

Published in Conference on Programming Language Design and Implementation (PLDI). 2024, 2024

Recommended citation: Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce. "Stream Types." PLDI, 2024.
Download Paper

Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey

Published in Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of his 60th Birthday. 2024, 2024

Recommended citation: Sayan Mitra, Corina Păsăreanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu. "Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey." In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of his 60th Birthday, 2024.
Download Paper

Illustrated Landmark Graphs for Long-horizon Policy Learning

Published in Transactions on Machine Learning Research (TMLR). 2025, 2025

Recommended citation: Christopher Watson, Arjun Krishna, Rajeev Alur, Dinesh Jayaraman. "Illustrated Landmark Graphs for Long-horizon Policy Learning." TMLR, 2025.
Download Paper

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception

Published in International Symposium on AI Verification (SAIV). 2025, 2025

Compositional verification workflow that combines scenario specifications with perception-driven components.

Recommended citation: Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina Păsăreanu. "Scenario-based Compositional Verification of Autonomous Systems with Neural Perception." Symposium on AI Verification (SAIV), 2025.
Download Paper

F2: Offline Reinforcement Learning for Hamiltonian Simulation via Free-Fermionic Subroutine Compilation

Published in ArXiv preprint. 2025, 2025

Recommended citation: Ethan Decker, Christopher Watson, Junyu Zhou, Yuhao Liu, Chenxu Liu, Ang Li, Gushu Li, Samuel Stein. "F2: Offline Reinforcement Learning for Hamiltonian Simulation via Free-Fermionic Subroutine Compilation." ArXiv preprint, 2025.
Download Paper

Let it Cook: Learning to Wait in Sequential Decision Making

Published in In submission. 2026, 2026

Recommended citation: Christopher Watson, Arjun Krishna, Dinesh Jayaraman, Rajeev Alur. "Let it Cook: Learning to Wait in Sequential Decision Making." In submission., 2026.

The Transformer Cookbook

Published in Transactions on Machine Learning Research (TMLR). 2026, 2026

Recommended citation: Andy Yang, Christopher Watson, Anton Xue, Satwik Bhattamishra, Jose Llarena, William Merrill, Emile Dos Santos Ferreira, Anej Svete, and David Chiang. "The Transformer Cookbook" Transactions on Machine Learning Research (TMLR), 2026.
Download Paper

TiPToP: A Modular Open-Vocabulary Planning System for Robotic Manipulation

Published in ArXiv preprint. 2026, 2026

Recommended citation: William Shen, Nishanth Kumar, Sahit Chintalapudi, Jie Wang, Christopher Watson, Edward Hu, Jing Cao, Dinesh Jayaraman, Leslie Pack Kaelbling, Tomás Lozano-Pérez. "TiPToP: A Modular Open-Vocabulary Planning System for Robotic Manipulation." ArXiv preprint, 2026.
Download Paper

Christopher Watson