Loading view.
Session 3
Software Engineering Principles at Google
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesShaindel Schwartz (Google)
Exploiting Abstract Interpretation for Model Checking Programs
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesGilbert Pajela (CUNY Graduate Center), Jordi Navarrette (CUNY Graduate Center), and Subash Shankar (CUNY Hunter College) (slides)
Direct Reflection for Free!
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesJoomy Korkut (Princeton University) (slides)
