0 events found.
- There are no upcoming events.
- There are no upcoming events.
Session 3
Latest Past Events
Direct Reflection for Free!
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkJoomy Korkut (Princeton University) (slides)
Exploiting Abstract Interpretation for Model Checking Programs
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkGilbert Pajela (CUNY Graduate Center), Jordi Navarrette (CUNY Graduate Center), and Subash Shankar (CUNY Hunter College) (slides)
Software Engineering Principles at Google
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkShaindel Schwartz (Google)
