Nathan Fulton

Joined

September 2022

Names

Nathan Fulton (Preferred)

Emails

****@ibm.com (Confirmed)

****@nfulton.org (Confirmed)

Personal Links

Homepage

Google Scholar

DBLP

Career & Education History

Researcher

Amazon (amazon.com)

2021 – 2022

Research Staff Member

International Business Machines (ibm.com)

2018 – 2021

Researcher

International Business Machines (ibm.com)

2018 – 2020

PhD student

Carnegie Mellon University (cmu.edu)

2013 – 2018

Undergrad student

Carthage College (carthage.edu)

2009 – 2013

Intern

Washington University, Saint Louis (wustl.edu)

2009 – 2009

Advisors, Relations & Conflicts

PhD Advisor

André Platzer

2013 – 2018

Expertise

Program Synthesis

2020 – 2022

Theorem Proving

Automated Reasoning

2013 – 2022

Cyber-Physical Systems

Software Safety

Formal Verification

2013 – 2022

Safe Reinforcement Learning

2013 – 2022

Publications

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
- Readers: Everyone
Multi-lingual Evaluation of Code Generation Models
Ben Athiwaratkun, Sanjay Krishna Gouda, Zijian Wang, Xiaopeng Li, Yuchen Tian, Ming Tan, Wasi Uddin Ahmad, Shiqi Wang, Qing Sun, Mingyue Shang, Sujan Kumar Gonugondla, Hantian Ding, Varun Kumar, Nathan Fulton, Arash Farahani, Siddhartha Jain, Robert Giaquinto, Haifeng Qian, Murali Krishna Ramanathan, Ramesh Nallapati
- ICLR 2023
- Readers: Everyone
Multi-lingual Evaluation of Code Generation Models
Ben Athiwaratkun, Sanjay Krishna Gouda, Zijian Wang, Xiaopeng Li, Yuchen Tian, Ming Tan, Wasi Uddin Ahmad, Shiqi Wang, Qing Sun, Mingyue Shang, Sujan Kumar Gonugondla, Hantian Ding, Varun Kumar, Nathan Fulton, Arash Farahani, Siddhartha Jain, Robert Giaquinto, Haifeng Qian, Murali Krishna Ramanathan, Ramesh Nallapati et al. (5 additional authors not shown)
- Published: 01 Feb 2023, Last Modified: 14 Jan 2026
- ICLR 2023 notable top 25%
- Readers: Everyone
Multi-lingual Evaluation of Code Generation Models
Ben Athiwaratkun, Sanjay Krishna Gouda, Zijian Wang, Xiaopeng Li, Yuchen Tian, Ming Tan, Wasi Uddin Ahmad, Shiqi Wang, Qing Sun, Mingyue Shang, Sujan Kumar Gonugondla, Hantian Ding, Varun Kumar, Nathan Fulton, Arash Farahani, Siddhartha Jain, Robert Giaquinto, Haifeng Qian, Murali Krishna Ramanathan, Ramesh Nallapati et al. (5 additional authors not shown)
- 2022 (modified: 16 Apr 2023)
- CoRR 2022
- Readers: Everyone
Relational Analysis of Sensor Attacks on Cyber-Physical Systems
Jian Xiang, Nathan Fulton, Stephen Chong
- CoRR 2021
- Readers: Everyone
Verifiably safe exploration for end-to-end reinforcement learning
Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama
- 2021 (modified: 24 Apr 2023)
- HSCC 2021
- Readers: Everyone
CertRL: formalizing convergence proofs for value and policy iteration in Coq
Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton
- Published: 01 Jan 2021, Last Modified: 12 May 2023
- CPP 2021
- Readers: Everyone
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges
Nathan Fulton, Nathan Hunt, Nghia Hoang, Subhro Das
- CoRR 2020
- Readers: Everyone
A Formally Verified Plasma Vertical Position Control Algorithm
May Wu, Jessie C. Rosenberg, Nathan Fulton
- FMICS 2020
- Readers: Everyone

View all 22 publications

Co-Authors

View all 48 co-authors