Loading view.
Session 2
Featured
Leveraging Big Code to Improve Software Reliability
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesBaishakhi Ray (Columbia University)
Data Flow Refinement Type Inference
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesZvonimir 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, NY, United StatesTimur Babakol (SUNY Binghamton), Anthony Canino (SUNY Binghamton), Rachit Saxena (SUNY Binghamton), Khaled Mahmoud (SUNY Binghamton), and Yu David Liu (SUNY Binghamton) (slides)
