Events for February 25, 2019
Breakfast, registration, networking
Introduction
Raffi Khatchadourian (CUNY Hunter College) (slides)
A library with a fluent API or an embedded domain-specific language?
Shigeru Chiba (University of Tokyo)
Break
Designing Self-Certifying Compilers
Kedar Namjoshi (Bell Labs, Nokia) (slides)
Software Engineering Principles at Google
Shaindel Schwartz (Google)
Weak-Consistency Specification via Visibility Relaxation
Michael Emmi (SRI International) (slides)
Lunch
Leveraging Big Code to Improve Software Reliability
Baishakhi Ray (Columbia University)
Data Flow Refinement Type Inference
Zvonimir Pavlinovic (New York University) and Thomas Wies (New York University)
Application-Level Energy Accounting with Chappie
Timur Babakol (SUNY Binghamton), Anthony Canino (SUNY Binghamton), Rachit Saxena (SUNY Binghamton), Khaled Mahmoud (SUNY Binghamton), and Yu David Liu (SUNY Binghamton) (slides)
Break
JSPS International Program Information Session
Yusuke Nakashima (JSPS) (slides)
Exploiting Abstract Interpretation for Model Checking Programs
Gilbert 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?
Justin Smith (North Carolina State University), Chris Theisen (Microsoft), and Titus Barik (Microsoft)
Direct Reflection for Free!
Joomy Korkut (Princeton University) (slides)
Closing
Raffi Khatchadourian (CUNY Hunter College)
