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

Let it Cook: Learning to Wait in Sequential Decision Making

Published in In preparation, 2025

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

The Transformer Cookbook

Published in In submission, 2025

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" In preparation, 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

Christopher Watson