Amanda Burton

According to our database, Amanda Burton authored at least 3 papers between 2010 and 2022.

Collaborative distances:

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

2022

Learning Long-Term Crop Management Strategies with CyclesGym.

Matteo Turchetta, Luca Corinzia, Scott Sussex, Amanda Burton, Juan Herrera, Ioannis Athanasiadis, Joachim M. Buhmann, Andreas Krause

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2011

Checking conformance of a producer and a consumer.

Evan Driscoll, Amanda Burton, Thomas W. Reps

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

2010

Directed Proof Generation for Machine Code.

Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010