Introduction

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

Raffi Khatchadourian (CUNY Hunter College) (slides)

Break

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

Lunch

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

Data Flow Refinement Type Inference

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

Zvonimir 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

Timur 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

Direct Reflection for Free!

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

Joomy Korkut (Princeton University) (slides)

Closing

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

Raffi Khatchadourian (CUNY Hunter College)