Security through extensible type systems. - Nathan Fulton (SPLASH, 2012)

Statically typed string sanitation inside a python. - Nathan Fulton; Cyrus Omar; Jonathan Aldrich (PSP, 2014)

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. - Nathan Fulton; Stefan Mitsch; Jan-David Quesel; Marcus Völp; André Platzer (CADE, 2015)

A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics. - Nathan Fulton; André Platzer (CPP, 2016)

Bellerophon: Tactical Theorem Proving for Hybrid Systems. - Nathan Fulton; Stefan Mitsch; Rose Bohrer; André Platzer (ITP, 2017)

Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning. - Nathan Fulton; André Platzer (AAAI, 2018)

Safe AI for CPS (Invited Paper). - Nathan Fulton; André Platzer (ITC, 2018)

Verifiably safe SCUBA diving using commodity sensors: work-in-progress. - Viren Bajaj; Karim Elmaaroufi; Nathan Fulton; André Platzer (EMSOFT Companion, 2019)

Verifiably Safe Off-Model Reinforcement Learning. - Nathan Fulton; André Platzer (TACAS (1), 2019)

A Formally Verified Plasma Vertical Position Control Algorithm. - May Wu; Jessie C. Rosenberg; Nathan Fulton (FMICS, 2020)

Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges. - Nathan Fulton; Nathan Hunt; Nghia Hoang; Subhro Das (CoRR, 2020)

Verifiably Safe Exploration for End-to-End Reinforcement Learning. - Nathan Hunt; Nathan Fulton; Sara Magliacane; Nghia Hoang; Subhro Das; Armando Solar-Lezama (CoRR, 2020)

CertRL: formalizing convergence proofs for value and policy iteration in Coq. - Koundinya Vajjha; Avraham Shinnar; Barry M. Trager; Vasily Pestun; Nathan Fulton (CPP, 2021)

Relational Analysis of Sensor Attacks on Cyber-Physical Systems. - Jian Xiang; Nathan Fulton; Stephen Chong (CSF, 2021)

Verifiably safe exploration for end-to-end reinforcement learning. - Nathan Hunt; Nathan Fulton; Sara Magliacane; Trong Nghia Hoang; Subhro Das; Armando Solar-Lezama (HSCC, 2021)

Multi-lingual Evaluation of Code Generation Models. - Ben Athiwaratkun; Sanjay Krishna Gouda; Zijian Wang 002; Xiaopeng Li 002; Yuchen Tian; Ming Tan; Wasi Uddin Ahmad; Shiqi Wang 002; Qing Sun; Mingyue Shang; Sujan Kumar Gonugondla; Hantian Ding; et al. (CoRR, 2022)

Multi-lingual Evaluation of Code Generation Models. - Ben Athiwaratkun; Sanjay Krishna Gouda; Zijian Wang 002; Xiaopeng Li 002; Yuchen Tian; Ming Tan; Wasi Uddin Ahmad; Shiqi Wang 002; Qing Sun; Mingyue Shang; Sujan Kumar Gonugondla; Hantian Ding; et al. (ICLR, 2023)

Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars. - Daniel Melcer; Nathan Fulton; Sanjay Krishna Gouda; Haifeng Qian (CoRR, 2024)