ECOOP 2015 (series) / STOP 2015 (series) / Scripts to Programs /
Position Paper: Performance Evaluation for Gradual Typing
Mon 6 Jul 2015 16:10 - 16:30 at Moravia III - Gradual Typing
Gradually typed programming languages aim to improve software maintenance by allowing programmers to selectively add type annotations to untyped programs. Run-time checks ensure that these typed portions interact soundly with unannotated parts of the program. These checks, however, may introduce unacceptable performance overhead. The extent of the overhead has not been systematically studied and no common methodology exists to diagnose such problems. In this position paper, we propose an idea for a framework for evaluating the performance of a gradual type system.
Mon 6 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 6 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:10 - 17:10 | |||
16:10 20mTalk | Position Paper: Performance Evaluation for Gradual Typing STOP A: Asumu Takikawa Northeastern University, A: Daniel Feltey Northeastern University, A: Ben Greenman Northeastern University, A: Max S. New , A: Jan Vitek Northeastern University, A: Matthias Felleisen Northeastern University Media Attached | ||
16:30 20mTalk | Towards Absolutely Efficient Gradually Typed Languages STOP A: Andre Kuhlenschmidt Indiana University, A: Deyaaeldeen Almahallawi Indiana University, A: Jeremy G. Siek Indiana University File Attached | ||
16:50 20mTalk | Towards a Static Type Checker for Python STOP A: Francisco Ortin University of Oviedo, A: Baltasar García Perez-Schofield , A: José Manuel Redondo López University of Oviedo File Attached |