Kimberly A. Cornell

According to our database, Kimberly A. Cornell authored at least 7 papers between 2011 and 2024.

Collaborative distances:

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

2024

CS1 with a Side of AI: Teaching Software Verification for Secure Code in the Era of Generative AI.

Amanda S. Fernandez, Kimberly A. Cornell

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2019

Asymmetric Unification and Disunification.

Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2016

Notes on Lynch-Morawska Systems.

Daniel S. Hono II, Namrata Galatage, Kimberly A. Gero, Paliath Narendran, Ananya Subburathinam

Proceedings of the 30th International Workshop on Unification, 2016

2013

Unication Problems Modulo a Theory of Until.

Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran

Proceedings of the 27th International Workshop on Unification, 2013

On Forward Closure and the Finite Variant Property.

Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran

Proceedings of the Frontiers of Combining Systems, 2013

2012

Some Notes on Basic Syntactic Mutation.

Kimberly A. Gero, Christopher Bouchard, Paliath Narendran

Proceedings of the UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, 2012

2011

Playing Chess with a Human-Scale Mobile Manipulator.

Michael Ferguson, Kimberly A. Gero, Joao Salles, James Weis

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011