Nathan Fulton

According to our database, Nathan Fulton authored at least 18 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2023

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

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

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, Baishakhi Ray, Parminder Bhatia, Sudipta Sengupta, Dan Roth, Bing Xiang

CoRR, 2022

2021

Verifiably safe exploration for end-to-end reinforcement learning.

Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Relational Analysis of Sensor Attacks on Cyber-Physical Systems.

Jian Xiang, Nathan Fulton, Stephen Chong

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

CertRL: formalizing convergence proofs for value and policy iteration in Coq.

Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

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

Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges.

Nathan Fulton, Nathan Hunt, Nghia Hoang, Subhro Das

CoRR, 2020

A Formally Verified Plasma Vertical Position Control Algorithm.

May Wu, Jessie C. Rosenberg, Nathan Fulton

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

Verifiably Safe Off-Model Reinforcement Learning.

Nathan Fulton, André Platzer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Verifiably safe SCUBA diving using commodity sensors: work-in-progress.

Viren Bajaj, Karim Elmaaroufi, Nathan Fulton, André Platzer

Proceedings of the International Conference on Embedded Software Companion, 2019

2018

Safe AI for CPS (Invited Paper).

Nathan Fulton, André Platzer

Proceedings of the IEEE International Test Conference, 2018

Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning.

Nathan Fulton, André Platzer

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Bellerophon: Tactical Theorem Proving for Hybrid Systems.

Nathan Fulton, Stefan Mitsch, Rose Bohrer, André Platzer

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics.

Nathan Fulton, André Platzer

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems.

Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Statically typed string sanitation inside a python.

Nathan Fulton, Cyrus Omar, Jonathan Aldrich

Proceedings of the 2014 International Workshop on Privacy & Security in Programming, 2014

2012

Security through extensible type systems.

Nathan Fulton

Proceedings of the SPLASH'12, 2012