P/Taint: Unified Points-To and Information Flow Analysis (SPLASH 2017 Posters)

Track

SPLASH 2017 Posters

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): Patrick Lam, Jonathan Bell

Session Program

Mon 23 Oct

17:30 - 19:30: Posters - Poster Reception Monday at Poster Area
Chair(s): Jonathan BellGeorge Mason University, Patrick LamUniversity of Waterloo

17:30 - 19:30
Talk

Automated Testing of Graphics Shader Compilers

Alastair DonaldsonImperial College London

17:30 - 19:30
Talk

Towards Compositional and Generative Tensor Optimizations

Adilla SusungiMINES ParisTech, France

17:30 - 19:30
Talk

A Domain-Specific Controlled English Language for Automated Regulatory Compliance

Suman RoychoudhuryTata Consultancy Services Research

17:30 - 19:30
Talk

Systems Level Liveness with Extempore

Andrew SorensenAustralian National University

17:30 - 19:30
Talk

Incremental Parametric Syntax for Multi-Language Transformation

James KoppelMIT, Armando Solar-LezamaMIT CSAIL

17:30 - 19:30
Talk

Using Object Capabilities and Effects to Build an Authority-Safe Module System

Darya MelicherCarnegie Mellon University

17:30 - 19:30
Talk

What merge tool should I use?

Guilherme Miguel Teixeira Rito

17:30 - 19:30
Talk

Synthesizing Configuration File Specifications with Association Rule Learning

Mark SantolucitoYale University

17:30 - 19:30
Talk

Reasoning on Divergent Computations with Coaxioms

Davide AnconaUniversity of Genova

17:30 - 19:30
Talk

Reliable and Automatic Composition of Language Extensions to C

Travis CarlsonUniversity of Minnesota, USA

17:30 - 19:30
Talk

Towards a Taxonomy of Grammar Smells

Vadim ZaytsevRaincode Labs, Belgium

17:30 - 19:30
Talk

The Tensor Algebra Compiler

Fredrik KjolstadMIT CSAIL

17:30 - 19:30
Talk

Concurrent Circular Reference Attribute Grammars

Jesper OqvistLund University

17:30 - 19:30
Talk

Dynamic Verification of Inter-parameter Constraints in Web Applications

Nathalie Oostvogels

17:30 - 19:30
Talk

DéjàVu: A Map of Code Duplicates on GitHub

Petr MajReactorLabs

17:30 - 19:30
Talk

Refining Semantics for Multi-stage Programming

Rui GeUniversity of British Columbia, Canada

17:30 - 19:30
Talk

An Auditing Language for Preventing Correlated Failures in the Cloud

Ruzica PiskacYale University

17:30 - 19:30
Talk

ZenSheet Studio: a visual environment for functional reactive computing

Monica FigueraUniversidad Simón Bolívar

17:30 - 19:30
Talk

How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System

Germán CeballosUppsala University, Erik HagerstenUppsala University, David Black-SchafferUppsala University

17:30 - 19:30
Talk

Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots

Neville Grech

17:30 - 19:30
Talk

Dynamic Atomicity: Optimizing Swift Memory Management

David GroveIBM Research

17:30 - 19:30
Talk

Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages

Hakjoo OhKorea University

17:30 - 19:30
Talk

Selfie and the Basics

Christoph KirschUniversity of Salzburg

17:30 - 19:30
Talk

P/Taint: Unified Points-To and Information Flow Analysis

Neville Grech

17:30 - 19:30
Talk

Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools

Eugene SyrianiUniversity of Montreal

17:30 - 19:30
Talk

Markedly: a cartographic approach for mapping eDSL implementation costs

Karl CronburgTufts University

17:30 - 19:30
Talk

Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations

Lionel ParreauxEPFL

17:30 - 19:30
Talk

Iota: A Calculus for Internet of Things Automation

Julie L. NewcombUniversity of California at Berkeley

17:30 - 19:30
Talk

Locality-Guided Scheduling in CAF

Raphael Hiesgen

17:30 - 19:30
Talk

Decoding Lua: Formal Semantics for the Developer and the Semanticist

Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET

17:30 - 19:30
Talk

Robust Programs with Filtered Iterators

Jiasi ShenMassachusetts Institute of Technology

17:30 - 19:30
Talk

Data-Driven Context-Sensitivity for Points-to Analysis

Hakjoo OhKorea University

17:30 - 19:30
Talk

Practical Initialization Race Detection for JavaScript Web Applications

Christoffer Quist AdamsenAarhus University

17:30 - 19:30
Talk

ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps

Peilun Zhang

17:30 - 19:30
Talk

QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge

Derrick LinIndependent Researcher, James KoppelMIT, Angela ChenGoogle, Inc, Armando Solar-LezamaMIT CSAIL

17:30 - 19:30
Talk

Alpaca: Intermittent Execution Without Checkpoints

Kiwan MaengCarnegie Mellon University, USA

17:30 - 19:30
Talk

SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems

Julien Gascon-Samson, Rafiuzzaman MohammadUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia

17:30 - 19:30
Talk

Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining

Samantha Syeda KhairunnesaIowa State University

17:30 - 19:30
Talk

DYOL: Design a Language, Know the Consequences

Vadim ZaytsevRaincode Labs, Belgium

Wed 25 Oct

17:30 - 19:30: Posters - Poster Reception Wednesday at Poster Area
Chair(s): Patrick LamUniversity of Waterloo, Jonathan BellGeorge Mason University

17:30 - 19:30
Talk

DYOL: Design a Language, Know the Consequences

Vadim ZaytsevRaincode Labs, Belgium

17:30 - 19:30
Talk

Synthesizing Configuration File Specifications with Association Rule Learning

Mark SantolucitoYale University

17:30 - 19:30
Talk

ZenSheet Studio: a visual environment for functional reactive computing

Monica FigueraUniversidad Simón Bolívar

17:30 - 19:30
Talk

Alpaca: Intermittent Execution Without Checkpoints

Kiwan MaengCarnegie Mellon University, USA

17:30 - 19:30
Talk

Reliable and Automatic Composition of Language Extensions to C

Travis CarlsonUniversity of Minnesota, USA

17:30 - 19:30
Talk

Decoding Lua: Formal Semantics for the Developer and the Semanticist

Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET

17:30 - 19:30
Talk

P/Taint: Unified Points-To and Information Flow Analysis

Neville Grech

17:30 - 19:30
Talk

An Auditing Language for Preventing Correlated Failures in the Cloud

Ruzica PiskacYale University

17:30 - 19:30
Talk

Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations

Lionel ParreauxEPFL

17:30 - 19:30
Talk

Incremental Parametric Syntax for Multi-Language Transformation

James KoppelMIT, Armando Solar-LezamaMIT CSAIL

17:30 - 19:30
Talk

Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots

Neville Grech

17:30 - 19:30
Talk

Towards Compositional and Generative Tensor Optimizations

Adilla SusungiMINES ParisTech, France

17:30 - 19:30
Talk

SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems

Julien Gascon-Samson, Rafiuzzaman MohammadUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia

17:30 - 19:30
Talk

Concurrent Circular Reference Attribute Grammars

Jesper OqvistLund University

17:30 - 19:30
Talk

Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools

Eugene SyrianiUniversity of Montreal

17:30 - 19:30
Talk

Towards a Taxonomy of Grammar Smells

Vadim ZaytsevRaincode Labs, Belgium

17:30 - 19:30
Talk

Reasoning on Divergent Computations with Coaxioms

Davide AnconaUniversity of Genova

17:30 - 19:30
Talk

Dynamic Verification of Inter-parameter Constraints in Web Applications

Nathalie Oostvogels

17:30 - 19:30
Talk

Markedly: a cartographic approach for mapping eDSL implementation costs

Karl CronburgTufts University

17:30 - 19:30
Talk

DéjàVu: A Map of Code Duplicates on GitHub

Petr MajReactorLabs

17:30 - 19:30
Talk

Dynamic Atomicity: Optimizing Swift Memory Management

David GroveIBM Research

17:30 - 19:30
Talk

How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System

Germán CeballosUppsala University, Erik HagerstenUppsala University, David Black-SchafferUppsala University

17:30 - 19:30
Talk

Selfie and the Basics

Christoph KirschUniversity of Salzburg

17:30 - 19:30
Talk

Refining Semantics for Multi-stage Programming

Rui GeUniversity of British Columbia, Canada

17:30 - 19:30
Talk

Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining

Samantha Syeda KhairunnesaIowa State University

17:30 - 19:30
Talk

QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge

Derrick LinIndependent Researcher, James KoppelMIT, Angela ChenGoogle, Inc, Armando Solar-LezamaMIT CSAIL

17:30 - 19:30
Talk

Using Object Capabilities and Effects to Build an Authority-Safe Module System

Darya MelicherCarnegie Mellon University

17:30 - 19:30
Talk

Iota: A Calculus for Internet of Things Automation

Julie L. NewcombUniversity of California at Berkeley

17:30 - 19:30
Talk

Systems Level Liveness with Extempore

Andrew SorensenAustralian National University

17:30 - 19:30
Talk

Practical Initialization Race Detection for JavaScript Web Applications

Christoffer Quist AdamsenAarhus University

17:30 - 19:30
Talk

Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages

Hakjoo OhKorea University

17:30 - 19:30
Talk

The Tensor Algebra Compiler

Fredrik KjolstadMIT CSAIL

17:30 - 19:30
Talk

What merge tool should I use?

Guilherme Miguel Teixeira Rito

17:30 - 19:30
Talk

Robust Programs with Filtered Iterators

Jiasi ShenMassachusetts Institute of Technology

17:30 - 19:30
Talk

Automated Testing of Graphics Shader Compilers

Alastair DonaldsonImperial College London

17:30 - 19:30
Talk

Locality-Guided Scheduling in CAF

Raphael Hiesgen

17:30 - 19:30
Talk

ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps

Peilun Zhang

17:30 - 19:30
Talk

Data-Driven Context-Sensitivity for Points-to Analysis

Hakjoo OhKorea University

17:30 - 19:30
Talk

A Domain-Specific Controlled English Language for Automated Regulatory Compliance

Suman RoychoudhuryTata Consultancy Services Research