Iota: A Calculus for Internet of Things Automation (SPLASH 2017 - Posters) - SPLASH 2017

Write a Blog >>

Sun 22 - Fri 27 October 2017 Vancouver, Canada

Track

SPLASH 2017 Posters

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 23 Oct 2017 17:30 - 19:30 at Poster Area - Poster Reception Monday Chair(s): Jonathan Bell, Patrick Lam
Wed 25 Oct 2017 17:30 - 19:30 at Poster Area - Poster Reception Wednesday Chair(s): Jonathan Bell, Patrick Lam

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change

	17:30 - 19:30	Poster Reception MondayPosters at Poster Area Chair(s): Jonathan Bell George Mason University, Patrick Lam University of Waterloo

	17:30 2h Talk		Automated Testing of Graphics Shader Compilers Posters Alastair F. Donaldson Imperial College London
	17:30 2h Talk		Towards Compositional and Generative Tensor Optimizations Posters Adilla Susungi MINES ParisTech, France
	17:30 2h Talk		A Domain-Specific Controlled English Language for Automated Regulatory Compliance Posters Suman Roychoudhury Tata Consultancy Services Research
	17:30 2h Talk		Systems Level Liveness with Extempore Posters Andrew Sorensen Australian National University
	17:30 2h Talk		Incremental Parametric Syntax for Multi-Language Transformation Posters James Koppel MIT, Armando Solar-Lezama MIT CSAIL
	17:30 2h Talk		Using Object Capabilities and Effects to Build an Authority-Safe Module System Posters Darya Melicher Carnegie Mellon University
	17:30 2h Talk		What merge tool should I use? Posters Guilherme Miguel Teixeira Rito
	17:30 2h Talk		Synthesizing Configuration File Specifications with Association Rule Learning Posters Mark Santolucito Yale University
	17:30 2h Talk		Reasoning on Divergent Computations with Coaxioms Posters Davide Ancona University of Genova
	17:30 2h Talk		Reliable and Automatic Composition of Language Extensions to C Posters Travis Carlson University of Minnesota, USA
	17:30 2h Talk		Towards a Taxonomy of Grammar Smells Posters Vadim Zaytsev Raincode Labs, Belgium
	17:30 2h Talk		The Tensor Algebra Compiler Posters Fredrik Kjolstad MIT CSAIL
	17:30 2h Talk		Concurrent Circular Reference Attribute Grammars Posters Jesper Oqvist Lund University
	17:30 2h Talk		Dynamic Verification of Inter-parameter Constraints in Web Applications Posters Nathalie Oostvogels
	17:30 2h Talk		DéjàVu: A Map of Code Duplicates on GitHub Posters Petr Maj ReactorLabs
	17:30 2h Talk		Refining Semantics for Multi-stage Programming Posters Rui Ge University of British Columbia, Canada
	17:30 2h Talk		An Auditing Language for Preventing Correlated Failures in the Cloud Posters Ruzica Piskac Yale University
	17:30 2h Talk		ZenSheet Studio: a visual environment for functional reactive computing Posters Monica Figuera Universidad Simón Bolívar
	17:30 2h Talk		How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System Posters Germán Ceballos Uppsala University, Erik Hagersten Uppsala University, David Black-Schaffer Uppsala University
	17:30 2h Talk		Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots Posters Neville Grech
	17:30 2h Talk		Dynamic Atomicity: Optimizing Swift Memory Management Posters David Grove IBM Research
	17:30 2h Talk		Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages Posters Hakjoo Oh Korea University
	17:30 2h Talk		Selfie and the Basics Posters Christoph Kirsch University of Salzburg
	17:30 2h Talk		P/Taint: Unified Points-To and Information Flow Analysis Posters Neville Grech
	17:30 2h Talk		Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools Posters Eugene Syriani University of Montreal
	17:30 2h Talk		Markedly: a cartographic approach for mapping eDSL implementation costs Posters Karl Cronburg Tufts University
	17:30 2h Talk		Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations Posters Lionel Parreaux EPFL
	17:30 2h Talk		Iota: A Calculus for Internet of Things Automation Posters Julie L. Newcomb University of California at Berkeley
	17:30 2h Talk		Locality-Guided Scheduling in CAF Posters Raphael Hiesgen
	17:30 2h Talk		Decoding Lua: Formal Semantics for the Developer and the Semanticist Posters Mallku Soldevila FAMAF, UNC / CONICET
	17:30 2h Talk		Robust Programs with Filtered Iterators Posters Jiasi Shen Massachusetts Institute of Technology
	17:30 2h Talk		Data-Driven Context-Sensitivity for Points-to Analysis Posters Hakjoo Oh Korea University
	17:30 2h Talk		Practical Initialization Race Detection for JavaScript Web Applications Posters Christoffer Quist Adamsen Aarhus University
	17:30 2h Talk		ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps Posters Peilun Zhang
	17:30 2h Talk		QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge Posters Derrick Lin Independent Researcher, James Koppel MIT, Angela Chen Google, Inc, Armando Solar-Lezama MIT CSAIL
	17:30 2h Talk		Alpaca: Intermittent Execution Without Checkpoints Posters Kiwan Maeng Carnegie Mellon University, USA
	17:30 2h Talk		SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems Posters Julien Gascon-Samson , Rafiuzzaman Mohammad University of British Columbia, Karthik Pattabiraman University of British Columbia
	17:30 2h Talk		Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining Posters Samantha Syeda Khairunnesa Iowa State University
	17:30 2h Talk		DYOL: Design a Language, Know the Consequences Posters Vadim Zaytsev Raincode Labs, Belgium

Wed 25 Oct
Displayed time zone: Tijuana, Baja California change

	17:30 - 19:30	Poster Reception WednesdayPosters at Poster Area Chair(s): Jonathan Bell George Mason University, Patrick Lam University of Waterloo

	17:30 2h Talk		DYOL: Design a Language, Know the Consequences Posters Vadim Zaytsev Raincode Labs, Belgium
	17:30 2h Talk		Synthesizing Configuration File Specifications with Association Rule Learning Posters Mark Santolucito Yale University
	17:30 2h Talk		ZenSheet Studio: a visual environment for functional reactive computing Posters Monica Figuera Universidad Simón Bolívar
	17:30 2h Talk		Alpaca: Intermittent Execution Without Checkpoints Posters Kiwan Maeng Carnegie Mellon University, USA
	17:30 2h Talk		Reliable and Automatic Composition of Language Extensions to C Posters Travis Carlson University of Minnesota, USA
	17:30 2h Talk		Decoding Lua: Formal Semantics for the Developer and the Semanticist Posters Mallku Soldevila FAMAF, UNC / CONICET
	17:30 2h Talk		P/Taint: Unified Points-To and Information Flow Analysis Posters Neville Grech
	17:30 2h Talk		An Auditing Language for Preventing Correlated Failures in the Cloud Posters Ruzica Piskac Yale University
	17:30 2h Talk		Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations Posters Lionel Parreaux EPFL
	17:30 2h Talk		Incremental Parametric Syntax for Multi-Language Transformation Posters James Koppel MIT, Armando Solar-Lezama MIT CSAIL
	17:30 2h Talk		Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots Posters Neville Grech
	17:30 2h Talk		Towards Compositional and Generative Tensor Optimizations Posters Adilla Susungi MINES ParisTech, France
	17:30 2h Talk		SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems Posters Julien Gascon-Samson , Rafiuzzaman Mohammad University of British Columbia, Karthik Pattabiraman University of British Columbia
	17:30 2h Talk		Concurrent Circular Reference Attribute Grammars Posters Jesper Oqvist Lund University
	17:30 2h Talk		Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools Posters Eugene Syriani University of Montreal
	17:30 2h Talk		Towards a Taxonomy of Grammar Smells Posters Vadim Zaytsev Raincode Labs, Belgium
	17:30 2h Talk		Reasoning on Divergent Computations with Coaxioms Posters Davide Ancona University of Genova
	17:30 2h Talk		Dynamic Verification of Inter-parameter Constraints in Web Applications Posters Nathalie Oostvogels
	17:30 2h Talk		Markedly: a cartographic approach for mapping eDSL implementation costs Posters Karl Cronburg Tufts University
	17:30 2h Talk		DéjàVu: A Map of Code Duplicates on GitHub Posters Petr Maj ReactorLabs
	17:30 2h Talk		Dynamic Atomicity: Optimizing Swift Memory Management Posters David Grove IBM Research
	17:30 2h Talk		How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System Posters Germán Ceballos Uppsala University, Erik Hagersten Uppsala University, David Black-Schaffer Uppsala University
	17:30 2h Talk		Selfie and the Basics Posters Christoph Kirsch University of Salzburg
	17:30 2h Talk		Refining Semantics for Multi-stage Programming Posters Rui Ge University of British Columbia, Canada
	17:30 2h Talk		Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining Posters Samantha Syeda Khairunnesa Iowa State University
	17:30 2h Talk		QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge Posters Derrick Lin Independent Researcher, James Koppel MIT, Angela Chen Google, Inc, Armando Solar-Lezama MIT CSAIL
	17:30 2h Talk		Using Object Capabilities and Effects to Build an Authority-Safe Module System Posters Darya Melicher Carnegie Mellon University
	17:30 2h Talk		Iota: A Calculus for Internet of Things Automation Posters Julie L. Newcomb University of California at Berkeley
	17:30 2h Talk		Systems Level Liveness with Extempore Posters Andrew Sorensen Australian National University
	17:30 2h Talk		Practical Initialization Race Detection for JavaScript Web Applications Posters Christoffer Quist Adamsen Aarhus University
	17:30 2h Talk		Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages Posters Hakjoo Oh Korea University
	17:30 2h Talk		The Tensor Algebra Compiler Posters Fredrik Kjolstad MIT CSAIL
	17:30 2h Talk		What merge tool should I use? Posters Guilherme Miguel Teixeira Rito
	17:30 2h Talk		Robust Programs with Filtered Iterators Posters Jiasi Shen Massachusetts Institute of Technology
	17:30 2h Talk		Automated Testing of Graphics Shader Compilers Posters Alastair F. Donaldson Imperial College London
	17:30 2h Talk		Locality-Guided Scheduling in CAF Posters Raphael Hiesgen
	17:30 2h Talk		ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps Posters Peilun Zhang
	17:30 2h Talk		Data-Driven Context-Sensitivity for Points-to Analysis Posters Hakjoo Oh Korea University
	17:30 2h Talk		A Domain-Specific Controlled English Language for Automated Regulatory Compliance Posters Suman Roychoudhury Tata Consultancy Services Research

Julie L. Newcomb

University of California at Berkeley