Greg Anderson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Robust Adaptive Multi-Step Predictive Shielding (Student Abstract). | Tanmay Ambadkar, Darshan Chudiwal, Greg Anderson, Abhinav Verma |
| 2023 | ICLR | Guiding Safe Exploration with Weakest Preconditions. | Greg Anderson, Swarat Chaudhuri, Isil Dillig |
| 2021 | FIE | IS2020: Competency-Based Information Systems Curriculum Guidelines. | Venky Shankararaman, Paul M. Leidig, Greg Anderson, Mark Thouin |
| 2020 | SIGCSE | IS2020: Updating the Information Systems Model Curriculum. | Paul M. Leidig, Greg Anderson, Raja Sooriamurthi, Jeffry S. Babb |
| 2019 | PLDI | Optimization and abstraction: a synergistic approach for analyzing neural network robustness. | Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri |
| 2018 | CAV | Learning Abstractions for Program Synthesis. | Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan |
| 2016 | ICIS | The Effects of Video Gaming on Work Group Performance. | Mark J. Keith, Greg Anderson, Douglas L. Dean, James E. Gaskin, Trevor Wiser, Seth Gremmert |