P/Taint: Unified Points-To and Information Flow Analysis (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): Patrick Lam, Jonathan Bell

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
Times are displayed in time zone: Tijuana, Baja California change

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

	17:30 - 19:30 Talk		Automated Testing of Graphics Shader Compilers Posters Alastair DonaldsonImperial College London
	17:30 - 19:30 Talk		Towards Compositional and Generative Tensor Optimizations Posters Adilla SusungiMINES ParisTech, France
	17:30 - 19:30 Talk		A Domain-Specific Controlled English Language for Automated Regulatory Compliance Posters Suman RoychoudhuryTata Consultancy Services Research
	17:30 - 19:30 Talk		Systems Level Liveness with Extempore Posters Andrew SorensenAustralian National University
	17:30 - 19:30 Talk		Incremental Parametric Syntax for Multi-Language Transformation Posters James KoppelMIT, Armando Solar-LezamaMIT CSAIL
	17:30 - 19:30 Talk		Using Object Capabilities and Effects to Build an Authority-Safe Module System Posters Darya MelicherCarnegie Mellon University
	17:30 - 19:30 Talk		What merge tool should I use? Posters Guilherme Miguel Teixeira Rito
	17:30 - 19:30 Talk		Synthesizing Configuration File Specifications with Association Rule Learning Posters Mark SantolucitoYale University
	17:30 - 19:30 Talk		Reasoning on Divergent Computations with Coaxioms Posters Davide AnconaUniversity of Genova
	17:30 - 19:30 Talk		Reliable and Automatic Composition of Language Extensions to C Posters Travis CarlsonUniversity of Minnesota, USA
	17:30 - 19:30 Talk		Towards a Taxonomy of Grammar Smells Posters Vadim ZaytsevRaincode Labs, Belgium
	17:30 - 19:30 Talk		The Tensor Algebra Compiler Posters Fredrik KjolstadMIT CSAIL
	17:30 - 19:30 Talk		Concurrent Circular Reference Attribute Grammars Posters Jesper OqvistLund University
	17:30 - 19:30 Talk		Dynamic Verification of Inter-parameter Constraints in Web Applications Posters Nathalie Oostvogels
	17:30 - 19:30 Talk		DéjàVu: A Map of Code Duplicates on GitHub Posters Petr MajReactorLabs
	17:30 - 19:30 Talk		Refining Semantics for Multi-stage Programming Posters Rui GeUniversity of British Columbia, Canada
	17:30 - 19:30 Talk		An Auditing Language for Preventing Correlated Failures in the Cloud Posters Ruzica PiskacYale University
	17:30 - 19:30 Talk		ZenSheet Studio: a visual environment for functional reactive computing Posters 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 Posters 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 Posters Neville Grech
	17:30 - 19:30 Talk		Dynamic Atomicity: Optimizing Swift Memory Management Posters David GroveIBM Research
	17:30 - 19:30 Talk		Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages Posters Hakjoo OhKorea University
	17:30 - 19:30 Talk		Selfie and the Basics Posters Christoph KirschUniversity of Salzburg
	17:30 - 19:30 Talk		P/Taint: Unified Points-To and Information Flow Analysis Posters Neville Grech
	17:30 - 19:30 Talk		Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools Posters Eugene SyrianiUniversity of Montreal
	17:30 - 19:30 Talk		Markedly: a cartographic approach for mapping eDSL implementation costs Posters Karl CronburgTufts University
	17:30 - 19:30 Talk		Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations Posters Lionel ParreauxEPFL
	17:30 - 19:30 Talk		Iota: A Calculus for Internet of Things Automation Posters Julie L. NewcombUniversity of California at Berkeley
	17:30 - 19:30 Talk		Locality-Guided Scheduling in CAF Posters Raphael Hiesgen
	17:30 - 19:30 Talk		Decoding Lua: Formal Semantics for the Developer and the Semanticist Posters Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET
	17:30 - 19:30 Talk		Robust Programs with Filtered Iterators Posters Jiasi ShenMassachusetts Institute of Technology
	17:30 - 19:30 Talk		Data-Driven Context-Sensitivity for Points-to Analysis Posters Hakjoo OhKorea University
	17:30 - 19:30 Talk		Practical Initialization Race Detection for JavaScript Web Applications Posters Christoffer Quist AdamsenAarhus University
	17:30 - 19:30 Talk		ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps Posters Peilun Zhang
	17:30 - 19:30 Talk		QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge Posters Derrick LinIndependent Researcher, James KoppelMIT, Angela ChenGoogle, Inc, Armando Solar-LezamaMIT CSAIL
	17:30 - 19:30 Talk		Alpaca: Intermittent Execution Without Checkpoints Posters Kiwan MaengCarnegie Mellon University, USA
	17:30 - 19:30 Talk		SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems Posters 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 Posters Samantha Syeda KhairunnesaIowa State University
	17:30 - 19:30 Talk		DYOL: Design a Language, Know the Consequences Posters Vadim ZaytsevRaincode Labs, Belgium

Wed 25 Oct
Times are displayed in time zone: Tijuana, Baja California change

	17:30 - 19:30: Poster Reception WednesdayPosters 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 Posters Vadim ZaytsevRaincode Labs, Belgium
	17:30 - 19:30 Talk		Synthesizing Configuration File Specifications with Association Rule Learning Posters Mark SantolucitoYale University
	17:30 - 19:30 Talk		ZenSheet Studio: a visual environment for functional reactive computing Posters Monica FigueraUniversidad Simón Bolívar
	17:30 - 19:30 Talk		Alpaca: Intermittent Execution Without Checkpoints Posters Kiwan MaengCarnegie Mellon University, USA
	17:30 - 19:30 Talk		Reliable and Automatic Composition of Language Extensions to C Posters Travis CarlsonUniversity of Minnesota, USA
	17:30 - 19:30 Talk		Decoding Lua: Formal Semantics for the Developer and the Semanticist Posters Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET
	17:30 - 19:30 Talk		P/Taint: Unified Points-To and Information Flow Analysis Posters Neville Grech
	17:30 - 19:30 Talk		An Auditing Language for Preventing Correlated Failures in the Cloud Posters Ruzica PiskacYale University
	17:30 - 19:30 Talk		Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations Posters Lionel ParreauxEPFL
	17:30 - 19:30 Talk		Incremental Parametric Syntax for Multi-Language Transformation Posters James KoppelMIT, Armando Solar-LezamaMIT CSAIL
	17:30 - 19:30 Talk		Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots Posters Neville Grech
	17:30 - 19:30 Talk		Towards Compositional and Generative Tensor Optimizations Posters Adilla SusungiMINES ParisTech, France
	17:30 - 19:30 Talk		SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems Posters Julien Gascon-Samson, Rafiuzzaman MohammadUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
	17:30 - 19:30 Talk		Concurrent Circular Reference Attribute Grammars Posters Jesper OqvistLund University
	17:30 - 19:30 Talk		Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools Posters Eugene SyrianiUniversity of Montreal
	17:30 - 19:30 Talk		Towards a Taxonomy of Grammar Smells Posters Vadim ZaytsevRaincode Labs, Belgium
	17:30 - 19:30 Talk		Reasoning on Divergent Computations with Coaxioms Posters Davide AnconaUniversity of Genova
	17:30 - 19:30 Talk		Dynamic Verification of Inter-parameter Constraints in Web Applications Posters Nathalie Oostvogels
	17:30 - 19:30 Talk		Markedly: a cartographic approach for mapping eDSL implementation costs Posters Karl CronburgTufts University
	17:30 - 19:30 Talk		DéjàVu: A Map of Code Duplicates on GitHub Posters Petr MajReactorLabs
	17:30 - 19:30 Talk		Dynamic Atomicity: Optimizing Swift Memory Management Posters David GroveIBM Research
	17:30 - 19:30 Talk		How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System Posters Germán CeballosUppsala University, Erik HagerstenUppsala University, David Black-SchafferUppsala University
	17:30 - 19:30 Talk		Selfie and the Basics Posters Christoph KirschUniversity of Salzburg
	17:30 - 19:30 Talk		Refining Semantics for Multi-stage Programming Posters Rui GeUniversity of British Columbia, Canada
	17:30 - 19:30 Talk		Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining Posters Samantha Syeda KhairunnesaIowa State University
	17:30 - 19:30 Talk		QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge Posters 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 Posters Darya MelicherCarnegie Mellon University
	17:30 - 19:30 Talk		Iota: A Calculus for Internet of Things Automation Posters Julie L. NewcombUniversity of California at Berkeley
	17:30 - 19:30 Talk		Systems Level Liveness with Extempore Posters Andrew SorensenAustralian National University
	17:30 - 19:30 Talk		Practical Initialization Race Detection for JavaScript Web Applications Posters Christoffer Quist AdamsenAarhus University
	17:30 - 19:30 Talk		Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages Posters Hakjoo OhKorea University
	17:30 - 19:30 Talk		The Tensor Algebra Compiler Posters Fredrik KjolstadMIT CSAIL
	17:30 - 19:30 Talk		What merge tool should I use? Posters Guilherme Miguel Teixeira Rito
	17:30 - 19:30 Talk		Robust Programs with Filtered Iterators Posters Jiasi ShenMassachusetts Institute of Technology
	17:30 - 19:30 Talk		Automated Testing of Graphics Shader Compilers Posters Alastair DonaldsonImperial College London
	17:30 - 19:30 Talk		Locality-Guided Scheduling in CAF Posters Raphael Hiesgen
	17:30 - 19:30 Talk		ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps Posters Peilun Zhang
	17:30 - 19:30 Talk		Data-Driven Context-Sensitivity for Points-to Analysis Posters Hakjoo OhKorea University
	17:30 - 19:30 Talk		A Domain-Specific Controlled English Language for Automated Regulatory Compliance Posters Suman RoychoudhuryTata Consultancy Services Research

Neville Grech