Breakfast, registration, networking
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkIntroduction
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkRaffi 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 YorkShigeru Chiba (University of Tokyo)
Break
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkDesigning Self-Certifying Compilers
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkKedar Namjoshi (Bell Labs, Nokia) (slides)
Software Engineering Principles at Google
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkShaindel Schwartz (Google)
Weak-Consistency Specification via Visibility Relaxation
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkMichael Emmi (SRI International) (slides)
Lunch
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkLeveraging Big Code to Improve Software Reliability
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkBaishakhi Ray (Columbia University)
Data Flow Refinement Type Inference
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkZvonimir 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 YorkTimur 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 YorkJSPS International Program Information Session
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkYusuke Nakashima (JSPS) (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)
How Is Software Security Engineering Different from Software Engineering?
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkJustin 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 YorkJoomy Korkut (Princeton University) (slides)
Closing
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkRaffi Khatchadourian (CUNY Hunter College)
