The RESOLVE workshop will take place May 18 and 19, 2023. The workshop is free, but registration is required. To confirm your registration, check the list of attendees, and to update your registration, please contact Joan, Paul, or Murali.
Note: The Workshop is split between two venues.
For virtual participants, talks will be on Zoom at go.osu.edu/rsrg-meeting.
| Time | Speaker | Topic |
|---|---|---|
| 12:30 | Lunch (at some local restaurant) | |
| 2:00-2:15 | Joan Krone (Denison) | Opening remarks |
| 2:15-2:45 | Daniel Welch (Penn State) | Progress on Developing a Reusable (Mini) Compiler for RESOLVE Theories |
| 2:45-3:15 | Nicodemus Mbwambo (Arusha Technical College) | Progress on Developing a Uni-Prover for Program Verification: Theorem Application |
| 3:15-3:45 | Laine Rumreich (OSU) | Causal Ordering for Unicast Using Heartbeats |
| 3:45-4:00 | Break | |
| 4:00-4:30 | Nat Hurtig (Rose-Hulman) | Analyzing Student Code Elegance Using an Automated Tool |
| 4:30-5:15 | Steve Atkinson | RESOLVE and AI ChatBot |
| 6:00 | Dinner (Granville Inn) |
| Time | Speaker | Topic |
|---|---|---|
| 9:30-10:00 | Joe Hollingsworth (Rose-Hulman) | Visualizing the Aggregation of Students' Unit Test Failures |
| 10:00-10:30 | Alan Weide (Yale) | RESOLVE Is Useful: Lessons Learned by a New Faculty Member |
| 10:30-11:00 | Gregory Kulczycki (Virginia Tech) | A Short Software-Component Module for a Software Engineering Course |
| 11:00-11:15 | Break | |
| 11:15-12:00 | Neelam Soundarajan (OSU) | Quantum Physics, Video Games, and STEM Education |
| 12:00-12:30 |
Wayne Heym (OSU) and Murali Sitaraman (Clemson) |
Fond Memories of Living with RESOLVE: A Conversation |
| 1:00 | Lunch (Blackwell Inn) |