The Tensor Algebra Compiler (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

Bio

Fredrik Kjolstad is a PhD candidate at MIT. He works on compilers and languages for fast computing with linear and tensor algebra, including the Tensor Algebra Compiler (taco) and the Simit programming language. He believes we should program with systems as well as objects, and that math abstractions should be brought into programming languages. He is from northern Norway and likes literature, music and hiking.

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

Fredrik Kjolstad

Fredrik Kjolstad

MIT CSAIL