Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
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
talks
teaching
CS 4810: Introduction to Theory of Computing
, Cornell University, 2019
CIS 5110: Theory of Computation
, University of Pennsylvania, 2022
CIS 6730: Computer-Aided Verification
, University of Pennsylvania, 2023