SPLASH 2017 (series) / SLE 2017 (series) / Research Papers / Robust Programs with Filtered Iterators
Robust Programs with Filtered Iterators
We present a new language construct, filtered iterators, for robust input processing. Filtered iterators are designed to eliminate many common input-processing errors while enabling robust continued execution. e design is inspired by (a) observed common input-processing errors and (b) successful strategies implemented by human developers fixing input processing errors. Filtered iterators decompose inputs into input units and atomically and automatically discard units that trigger errors. Statistically significant results from a developer study demonstrate the effectiveness of filtered iterators in enabling developers to produce robust input-processing code without common input-processing defects.
Tue 24 OctDisplayed time zone: Tijuana, Baja California change
Tue 24 Oct
Displayed time zone: Tijuana, Baja California change
15:30 - 17:00 | |||
15:30 25mTalk | FlowSpec: Declarative Dataflow Analysis Specification SLE DOI File Attached | ||
15:55 25mTalk | Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages SLE Francesco Di Giacomo Università Ca' Foscari, Mohamed Abbadi Hogeschool Rotterdam, Agostino Cortesi Università Ca' Foscari Venezia, Pieter Spronck Tilburg University, Giuseppe Maggiore Hogeschool Rotterdam DOI | ||
16:20 25mTalk | Robust Programs with Filtered Iterators SLE Jiasi Shen Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology DOI | ||
16:45 25mTalk | An Introduction to the Software Language Engineering Body of Knowledge SLE Vadim Zaytsev Raincode Labs, Belgium | ||
17:10 10mTalk | Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate? SLE Rui Pereira HASLab/INESC TEC & Universidade do Minho, Marco Couto HASLab/INESC TEC & Universidade do Minho, Francisco Ribeiro HASLab/INESC TEC & Universidade do Minho, Rui Rua HASLab/INESC TEC & Universidade do Minho, Jácome Cunha NOVA-LINCS - Universidade Nova de Lisboa, João Paulo Fernandes Release/LISP, CISUC, João Saraiva University of Minho, Portugal DOI Media Attached |