SPLASH Companion 2017 – Author Index |
Contents -
Abstracts -
Authors
|
Chen, Angela |
SPLASH Companion '17-POSTERS: "QuixBugs: A Multi-Lingual ..."
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Derrick Lin, James Koppel , Angela Chen, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA; Google, USA) Recent years have seen an explosion of work in automated program repair. While previous work has focused exclusively on tools for single languages, recent work in multi-language transformation has opened the door for multi-language program repair tools. Evaluating the performance of such a tool requires having a benchmark set of similar buggy programs in different languages. We present QuixBugs, consisting of 40 programs translated to both Python and Java, each with a bug on a single line. The QuixBugs benchmark suite is based on problems from the Quixey Challenge, where programmers were given a short buggy program and 1 minute to fix the bug. @InProceedings{SPLASH Companion17p55, author = {Derrick Lin and James Koppel and Angela Chen and Armando Solar-Lezama}, title = {QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {55--56}, doi = {}, year = {2017}, } |
|
Gascon-Samson, Julien |
SPLASH Companion '17-POSTERS: "SmartJS: Dynamic and Self-Adaptable ..."
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Julien Gascon-Samson, Mohammad Rafiuzzaman, and Karthik Pattabiraman (University of British Columbia, Canada) The Internet of Things (IoT) has gained wide popularity both in the academic and industrial contexts. However, IoT-based systems exhibit many important challenges across many dimensions. In this work, we propose SmartJS, a rich Javascript-based middleware platform and runtime environment that abstracts the complexity of the various IoT platforms by providing a high-level framework for IoT system developers. SmartJS abstracts large-scale distributed system considerations, such as scheduling, monitoring and self-adaptation, and proposes a rich inter-device Javascript-based code migration framework. Finally, it provides debugging and monitoring techniques to analyze performance and observe system-wide security properties. @InProceedings{SPLASH Companion17p51, author = {Julien Gascon-Samson and Mohammad Rafiuzzaman and Karthik Pattabiraman}, title = {SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {51--52}, doi = {}, year = {2017}, } |
|
Koppel, James |
SPLASH Companion '17-POSTERS: "Incremental Parametric Syntax ..."
Incremental Parametric Syntax for Multi-Language Transformation
James Koppel and Armando Solar-Lezama (Massachusetts Institute of Technology, USA) We present a new approach for building source-to-source transformations that can run on multiple programming languages, based on a new way of representing programs called incremental parametric syntax. We implement this approach in our Cubix system, and construct incremental parametric syntaxes for C, Java, JavaScript, Lua, and Python, demonstrating three multi-language program transformations that can run on all of them. Our evaluation shows that (1) once a transformation is written, relatively little work is required to configure it for a new language (2) transformations built this way output readable code which preserve the structure of the original, according to participants in our human study, and (3) despite dealing with many languages, our transformations can still handle language corner-cases, and pass 90% of compiler test suites. @InProceedings{SPLASH Companion17p53, author = {James Koppel and Armando Solar-Lezama}, title = {Incremental Parametric Syntax for Multi-Language Transformation}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {53--54}, doi = {}, year = {2017}, } SPLASH Companion '17-POSTERS: "QuixBugs: A Multi-Lingual ..." QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge Derrick Lin, James Koppel , Angela Chen, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA; Google, USA) Recent years have seen an explosion of work in automated program repair. While previous work has focused exclusively on tools for single languages, recent work in multi-language transformation has opened the door for multi-language program repair tools. Evaluating the performance of such a tool requires having a benchmark set of similar buggy programs in different languages. We present QuixBugs, consisting of 40 programs translated to both Python and Java, each with a bug on a single line. The QuixBugs benchmark suite is based on problems from the Quixey Challenge, where programmers were given a short buggy program and 1 minute to fix the bug. @InProceedings{SPLASH Companion17p55, author = {Derrick Lin and James Koppel and Angela Chen and Armando Solar-Lezama}, title = {QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {55--56}, doi = {}, year = {2017}, } |
|
Lin, Derrick |
SPLASH Companion '17-POSTERS: "QuixBugs: A Multi-Lingual ..."
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Derrick Lin, James Koppel , Angela Chen, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA; Google, USA) Recent years have seen an explosion of work in automated program repair. While previous work has focused exclusively on tools for single languages, recent work in multi-language transformation has opened the door for multi-language program repair tools. Evaluating the performance of such a tool requires having a benchmark set of similar buggy programs in different languages. We present QuixBugs, consisting of 40 programs translated to both Python and Java, each with a bug on a single line. The QuixBugs benchmark suite is based on problems from the Quixey Challenge, where programmers were given a short buggy program and 1 minute to fix the bug. @InProceedings{SPLASH Companion17p55, author = {Derrick Lin and James Koppel and Angela Chen and Armando Solar-Lezama}, title = {QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {55--56}, doi = {}, year = {2017}, } |
|
Pattabiraman, Karthik |
SPLASH Companion '17-POSTERS: "SmartJS: Dynamic and Self-Adaptable ..."
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Julien Gascon-Samson, Mohammad Rafiuzzaman, and Karthik Pattabiraman (University of British Columbia, Canada) The Internet of Things (IoT) has gained wide popularity both in the academic and industrial contexts. However, IoT-based systems exhibit many important challenges across many dimensions. In this work, we propose SmartJS, a rich Javascript-based middleware platform and runtime environment that abstracts the complexity of the various IoT platforms by providing a high-level framework for IoT system developers. SmartJS abstracts large-scale distributed system considerations, such as scheduling, monitoring and self-adaptation, and proposes a rich inter-device Javascript-based code migration framework. Finally, it provides debugging and monitoring techniques to analyze performance and observe system-wide security properties. @InProceedings{SPLASH Companion17p51, author = {Julien Gascon-Samson and Mohammad Rafiuzzaman and Karthik Pattabiraman}, title = {SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {51--52}, doi = {}, year = {2017}, } |
|
Rafiuzzaman, Mohammad |
SPLASH Companion '17-POSTERS: "SmartJS: Dynamic and Self-Adaptable ..."
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Julien Gascon-Samson, Mohammad Rafiuzzaman, and Karthik Pattabiraman (University of British Columbia, Canada) The Internet of Things (IoT) has gained wide popularity both in the academic and industrial contexts. However, IoT-based systems exhibit many important challenges across many dimensions. In this work, we propose SmartJS, a rich Javascript-based middleware platform and runtime environment that abstracts the complexity of the various IoT platforms by providing a high-level framework for IoT system developers. SmartJS abstracts large-scale distributed system considerations, such as scheduling, monitoring and self-adaptation, and proposes a rich inter-device Javascript-based code migration framework. Finally, it provides debugging and monitoring techniques to analyze performance and observe system-wide security properties. @InProceedings{SPLASH Companion17p51, author = {Julien Gascon-Samson and Mohammad Rafiuzzaman and Karthik Pattabiraman}, title = {SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {51--52}, doi = {}, year = {2017}, } |
|
Solar-Lezama, Armando |
SPLASH Companion '17-POSTERS: "Incremental Parametric Syntax ..."
Incremental Parametric Syntax for Multi-Language Transformation
James Koppel and Armando Solar-Lezama (Massachusetts Institute of Technology, USA) We present a new approach for building source-to-source transformations that can run on multiple programming languages, based on a new way of representing programs called incremental parametric syntax. We implement this approach in our Cubix system, and construct incremental parametric syntaxes for C, Java, JavaScript, Lua, and Python, demonstrating three multi-language program transformations that can run on all of them. Our evaluation shows that (1) once a transformation is written, relatively little work is required to configure it for a new language (2) transformations built this way output readable code which preserve the structure of the original, according to participants in our human study, and (3) despite dealing with many languages, our transformations can still handle language corner-cases, and pass 90% of compiler test suites. @InProceedings{SPLASH Companion17p53, author = {James Koppel and Armando Solar-Lezama}, title = {Incremental Parametric Syntax for Multi-Language Transformation}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {53--54}, doi = {}, year = {2017}, } SPLASH Companion '17-POSTERS: "QuixBugs: A Multi-Lingual ..." QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge Derrick Lin, James Koppel , Angela Chen, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA; Google, USA) Recent years have seen an explosion of work in automated program repair. While previous work has focused exclusively on tools for single languages, recent work in multi-language transformation has opened the door for multi-language program repair tools. Evaluating the performance of such a tool requires having a benchmark set of similar buggy programs in different languages. We present QuixBugs, consisting of 40 programs translated to both Python and Java, each with a bug on a single line. The QuixBugs benchmark suite is based on problems from the Quixey Challenge, where programmers were given a short buggy program and 1 minute to fix the bug. @InProceedings{SPLASH Companion17p55, author = {Derrick Lin and James Koppel and Angela Chen and Armando Solar-Lezama}, title = {QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {55--56}, doi = {}, year = {2017}, } |
7 authors
proc time: 1.45