Nathan Fulton
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
10
Active years
2012–2023
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICLR | 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 |
| 2021 | CPP | CertRL: formalizing convergence proofs for value and policy iteration in Coq. | Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton |
| 2020 | FMICS | A Formally Verified Plasma Vertical Position Control Algorithm. | May Wu, Jessie C. Rosenberg, Nathan Fulton |
| 2019 | EMSOFT | Verifiably safe SCUBA diving using commodity sensors: work-in-progress. | Viren Bajaj, Karim Elmaaroufi, Nathan Fulton, Andr Platzer |
| 2019 | TACAS | Verifiably Safe Off-Model Reinforcement Learning. | Nathan Fulton, Andr Platzer |
| 2018 | AAAI | Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning. | Nathan Fulton, Andr Platzer |
| 2018 | ITC | Safe AI for CPS (Invited Paper). | Nathan Fulton, Andr Platzer |
| 2017 | ITP | Bellerophon: Tactical Theorem Proving for Hybrid Systems. | Nathan Fulton, Stefan Mitsch, Rose Bohrer, Andr Platzer |
| 2016 | CPP | A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics. | Nathan Fulton, Andr Platzer |
| 2015 | CADE | KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. | Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Vlp, Andr Platzer |
| 2014 | OOPSLA | Statically typed string sanitation inside a python. | Nathan Fulton, Cyrus Omar, Jonathan Aldrich |
| 2012 | OOPSLA | Security through extensible type systems. | Nathan Fulton |