List
Day

February 2019
February 25, 2019 @ 8:30 am - 9:00 am

Breakfast, registration, networking

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States
February 25, 2019 @ 9:00 am - 9:15 am

Introduction

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States

Raffi Khatchadourian (CUNY Hunter College) (slides)
Featured February 25, 2019 @ 9:15 am - 10:15 am

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 States

Shigeru Chiba (University of Tokyo)
February 25, 2019 @ 10:15 am - 10:45 am

Break

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States
February 25, 2019 @ 10:45 am - 11:10 am

Designing Self-Certifying Compilers

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States

Kedar Namjoshi (Bell Labs, Nokia) (slides)
February 25, 2019 @ 11:10 am - 11:35 pm

Software Engineering Principles at Google

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States

Shaindel Schwartz (Google)
February 25, 2019 @ 11:35 am - 12:00 pm

Weak-Consistency Specification via Visibility Relaxation

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States

Michael Emmi (SRI International) (slides)
February 25, 2019 @ 12:00 pm - 1:00 pm

Lunch

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States
Featured February 25, 2019 @ 1:00 pm - 1:45 pm

Leveraging Big Code to Improve Software Reliability

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States

Baishakhi Ray (Columbia University)
February 25, 2019 @ 1:45 pm - 2:10 pm

Data Flow Refinement Type Inference

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States

Zvonimir Pavlinovic (New York University) and Thomas Wies (New York University)
February 25, 2019 @ 2:10 pm - 2:35 pm

Application-Level Energy Accounting with Chappie

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States

Timur Babakol (SUNY Binghamton), Anthony Canino (SUNY Binghamton), Rachit Saxena (SUNY Binghamton), Khaled Mahmoud (SUNY Binghamton), and Yu David Liu (SUNY Binghamton) (slides)
February 25, 2019 @ 2:35 pm - 3:05 pm

Break

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States
February 25, 2019 @ 3:05 pm - 3:35 pm

JSPS International Program Information Session

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States

Yusuke Nakashima (JSPS) (slides)
February 25, 2019 @ 3:35 pm - 4:00 pm

Exploiting Abstract Interpretation for Model Checking Programs

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States

Gilbert Pajela (CUNY Graduate Center), Jordi Navarrette (CUNY Graduate Center), and Subash Shankar (CUNY Hunter College) (slides)
February 25, 2019 @ 4:00 pm - 4:25 pm

How Is Software Security Engineering Different from Software Engineering?

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States

Justin Smith (North Carolina State University), Chris Theisen (Microsoft), and Titus Barik (Microsoft)
February 25, 2019 @ 4:25 pm - 4:50 pm

Direct Reflection for Free!

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States

Joomy Korkut (Princeton University) (slides)
February 25, 2019 @ 4:50 pm - 5:00 pm

Closing

Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United States

Raffi Khatchadourian (CUNY Hunter College)