Breakfast, registration, networking
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesIntroduction
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesRaffi Khatchadourian (CUNY Hunter College) (slides)
A library with a fluent API or an embedded domain-specific language?
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesShigeru Chiba (University of Tokyo)
Break
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesDesigning Self-Certifying Compilers
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesKedar Namjoshi (Bell Labs, Nokia) (slides)
Software Engineering Principles at Google
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesShaindel Schwartz (Google)
Weak-Consistency Specification via Visibility Relaxation
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesMichael Emmi (SRI International) (slides)
Lunch
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesLeveraging Big Code to Improve Software Reliability
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesBaishakhi Ray (Columbia University)
Data Flow Refinement Type Inference
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesZvonimir Pavlinovic (New York University) and Thomas Wies (New York University)
Application-Level Energy Accounting with Chappie
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesTimur Babakol (SUNY Binghamton), Anthony Canino (SUNY Binghamton), Rachit Saxena (SUNY Binghamton), Khaled Mahmoud (SUNY Binghamton), and Yu David Liu (SUNY Binghamton) (slides)
Break
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesJSPS International Program Information Session
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesYusuke Nakashima (JSPS) (slides)
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)
How Is Software Security Engineering Different from Software Engineering?
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesJustin Smith (North Carolina State University), Chris Theisen (Microsoft), and Titus Barik (Microsoft)
Direct Reflection for Free!
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesJoomy Korkut (Princeton University) (slides)
Closing
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesRaffi Khatchadourian (CUNY Hunter College)
