0 events found.
- There are no upcoming events.
- There are no upcoming events.
Session 2
Latest Past Events
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)
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)
Featured
Leveraging Big Code to Improve Software Reliability
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkBaishakhi Ray (Columbia University)
