Chris Alvin

According to our database, Chris Alvin authored at least 17 papers between 2014 and 2023.

Collaborative distances:

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

2023

Program analysis using empirical abstraction.

Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson

Int. J. Softw. Tools Technol. Transf., August, 2023

Simpson's Paradox and Lagging Progress in Completion Trends of Underrepresented Students in Computer Science.

John Mason Taylor, Rebecca Drucker, Chris Alvin, Syed Fahad Sultan

CoRR, 2023

2022

Ultimate Tic-Tac-Toe Bot Techniques.

Brycen Addison, Michael Peeler, Chris Alvin

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021

Static generation of UML sequence diagrams.

Chris Alvin, Brian Peterson, Supratik Mukhopadhyay

Int. J. Softw. Tools Technol. Transf., 2021

Toward a Competitive Agent Framework for Magic: The Gathering.

Chris Alvin, Michael Bowling, Shaelyn Rivers-Green, Deric Siglin, Lori Alvin

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

2020

Empirical Abstraction.

Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson

Proceedings of the Runtime Verification - 20th International Conference, 2020

Query-Based Generation of Trigonometric Identity Problems and Solutions.

Meredith Pearce, Jonathan McKinney, Chris Alvin

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

Analysis of Region-Based Integral Calculus Problems.

Chris Alvin, Adam Byerly

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

2019

Synthesis of Limit Problems for Single-Variable Calculus.

Blake Glueck, Chris Alvin

Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

2018

Non-Linear Quest Generation.

Alex Stocker, Chris Alvin

Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

2017

Break Down in Order To Build Up: Decomposing Small Molecules for Fragment-Based Drug Design with <i>e</i>MolFrag.

Tairan Liu, Misagh Naderi, Chris Alvin, Supratik Mukhopadhyay, Michal Brylinski

J. Chem. Inf. Model., 2017

Synthesis of Solutions for Shaded Area Geometry Problems.

Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

StaticGen: Static Generation of UML Sequence Diagrams.

Chris Alvin, Brian Peterson, Supratik Mukhopadhyay

Proceedings of the Fundamental Approaches to Software Engineering, 2017

Synthesis of Problems for Shaded Area Geometry Reasoning.

Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

Proceedings of the Artificial Intelligence in Education - 18th International Conference, 2017

2016

A graph-based approach to construct target-focused libraries for virtual screening.

Misagh Naderi, Chris Alvin, Yun Ding, Supratik Mukhopadhyay, Michal Brylinski

J. Cheminformatics, 2016

2015

Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System.

Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

CoRR, 2015

2014

Synthesis of Geometry Proof Problems.

Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014