Latest Past Events

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)

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)