Studio 2 - Onward! 2018

Larissa SoaresUniversidade Federal da Bahia, Jens MeinickeMagdeburg University, Sarah NadiUniversity of Alberta, Christian KästnerCarnegie Mellon University, Eduardo AlmeidaUniversidade Federal da Bahia

14:00 - 14:30
Talk

Inferring Ownership Domains From Refinements

Ebrahim KhalajWayne State University, Marwan Abi-AntounWayne State University

14:30 - 15:00
Talk

Implementing a semi-causal domain-specific language for context detection over binary sensors

Nic VolanschiInria Bordeaux, Bernard SerpetteInria, Charles ConselUniversity of Bordeaux

15:30 - 17:00: GPCE 2018 - III at Studio 2
Chair(s): Sarah NadiUniversity of Alberta

15:30 - 16:00
Talk

Meta-programming for cross-domain tensor optimizations

Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenGoogle, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France

16:00 - 16:30
Talk

Model-based Security Analysis of Feature-oriented Software Product Lines

Sven PeldszusUniversity of Koblenz-Landau, Daniel StrüberUniversity of Koblenz-Landau, Germany, Jan JürjensUniversity of Koblenz-Landau

DOI Pre-print

16:30 - 17:00
Talk

Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs

Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel

Tue 6 Nov

10:30 - 12:00: GPCE 2018 - IV at Studio 2
Chair(s): Sebastian ErdwegTU Delft

10:30 - 11:00
Talk

Measuring Effectiveness of Sample-based Product-Line Testing

Sebastian Ruland, Lars LuthmannTU Darmstadt, Real-time Systems Lab, Johannes BürdekTU Darmstadt, Real-time Systems Lab, Sascha LityTechnische Universität Braunschweig, Thomas ThümTU Braunschweig, Germany, Malte Lochau, Márcio RibeiroFederal University of Alagoas, Brazil

11:00 - 11:30
Talk

Pattern Matching in an Open World

Weixin ZhangThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong

11:30 - 12:00
Talk

Verification of High-Level Transformations with Inductive Refinement Types

Ahmad Salim Al-SibahiDepartment of Computer Science, University of Copenhagen (DIKU) & BilagScan, Thomas P. JensenINRIA Rennes, Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark

13:30 - 15:00: GPCE 2018 - V at Studio 2
Chair(s): Tijs van der StormCWI & University of Groningen

13:30 - 14:30
Talk

TensorFlow AutoGraph: Imperative-Style Coding with Graph-based PerformanceInvited Talk

Alexander B. WiltschkoGoogle Brain

14:30 - 14:45
Talk

Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper)

L. Thomas van BinsbergenRoyal Holloway University of London

14:45 - 15:00
Talk

Explaining Spreadsheets with Spreadsheets (Short Paper)

Jácome CunhaUniversity of Minho, Mihai DanOregon State University, Martin ErwigOregon State University, Danila FedorinOregon State University, Alex GrejucOregon State University

15:30 - 17:00: GPCE 2018 - VI at Studio 2
Chair(s): Stefan MarrUniversity of Kent

15:30 - 16:00
Talk

Anomaly Analyses for Feature-Model Evolution

Michael NiekeTU Braunschweig, Germany, Jacopo MauroUniversity of Southern Denmark, Christoph SeidlTechnische Universität Braunschweig, Thomas ThümTU Braunschweig, Germany, Ingrid Chieh YuUniversity of Oslo, Felix FranzkeTU Braunschweig

16:00 - 16:30
Talk

Regenerate: A Language Generator for Extended Regular Expressions

Gabriel RadanneUniversity of Freiburg, Peter ThiemannUniversity of Freiburg

DOI Pre-print

16:30 - 17:00
Talk

RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints

Yin LiuVirginia Tech, Kijin AnVirginia Tech, Eli TilevichVirginia Tech

Wed 7 Nov

10:30 - 12:00: OOPSLA - Parallelism and Performance at Studio 2
Chair(s): Arjun GuhaUniversity of Massachusetts Amherst

10:30 - 10:52
Talk

Every Data Structure Deserves Lock-Free Memory Reclamation

Nachshon CohenEPFL, Switzerland

10:52 - 11:15
Talk

Parallelization of Dynamic Languages: Synchronizing Built-in Collections

Benoit DalozeJKU Linz, Austria, Arie TalTechnion, Stefan MarrUniversity of Kent, Hanspeter MössenböckJKU Linz, Austria, Erez PetrankTechnion

Pre-print

11:15 - 11:37
Talk

Virtual Machine Design for Parallel Dynamic Programming Languages

Remigius MeierETH Zurich, Switzerland, Armin RigoPyPy.org, Switzerland, Thomas GrossETH Zurich

11:37 - 12:00
Talk

goSLP: Globally Optimized Superword Level Parallelism Framework

Charith MendisMIT CSAIL, Saman AmarasingheMIT

13:30 - 15:00: OOPSLA - Language Design 1 at Studio 2
Chair(s): Eelco VisserDelft University of Technology

13:30 - 13:52
Talk

AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries

Roland LeißaSaarland University, Germany, Klaas BoescheSaarland University, Sebastian HackSaarland University, Germany, Arsène Pérard-GayotSaarland University, Germany, Richard MembarthDFKI, Germany, Philipp SlusallekDFKI, Germany, André MüllerJohannes Gutenberg University, Bertil SchmidtJohannes Gutenberg University

13:52 - 14:15
Talk

Julia: Dynamism and Performance Reconciled by Design

Jeff BezansonJulia Computing, Benjamin ChungNortheastern University, Jiahao ChenCapital One, Stefan Karpinski, Viral B ShahJulia Computing, Jan VitekNortheastern University, Lionel ZoubritzkyÉcole Normale Supérieure

14:15 - 14:37
Talk

GraphIt - A High-Performance Graph DSL

Yunming Zhang, Mengjiao YangMIT CSAIL, Riyadh BaghdadiMIT, Shoaib KamilAdobe, Julian ShunMIT, Saman AmarasingheMIT

14:37 - 15:00
Talk

One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax

James KoppelMIT, Varot PremtoonMIT, Armando Solar-LezamaMIT CSAIL

15:30 - 17:00: OOPSLA - Compiler Optimization at Studio 2
Chair(s): Patrick LamUniversity of Waterloo

15:30 - 15:52
Talk

Format Abstraction for Sparse Tensor Algebra Compilers

Stephen ChouMIT CSAIL, Fredrik KjolstadMIT CSAIL, Saman AmarasingheMIT

15:52 - 16:15
Talk

ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation

Xiaoran XuRice University, Keith CooperRice University, Jacob BrockUniversity of Rochester, Yan Zhang, Handong YeFuturewei Technologies

16:15 - 16:37
Talk

Reconciling High-level Optimizations and Low-level Code in LLVM

Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Ralf JungMPI-SWS, Zhengyang LiuUniversity of Utah, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research

16:37 - 17:00
Talk

An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability

Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, Zhi ChenUniversity of California, Irvine, Justin SzadayUniversity of Illinois at Urbana-Champaign, David WongIntel, Zehra SuraIBM Research, Neftali Watkinson, Saeed MalekiMicrosoft Research, David PaduaUniversity of Illinois at Urbana-Champaign, Alexander VeidenbaumUniversity of California, Irvine, Alexandru NicolauUniversity of California, Irvine, Josep TorrellasUniversity of Illinois at Urbana-Champaign

Media Attached

Thu 8 Nov

10:30 - 12:00: OOPSLA - Types and Contracts at Studio 2
Chair(s): Hakjoo OhKorea University

10:30 - 10:52
Talk

Horn-ICE Learning for Synthesizing Invariants and Contracts

Deepak D'Souza, Ezudheen P, Pranav GargUniversity of Illinois at Urbana-Champaign, Daniel NeiderMax Planck Institute for Software Systems, P. MadhusudanUniversity of Illinois at Urbana-Champaign

10:52 - 11:15
Talk

Gradual Liquid Type Inference

Niki VazouIMDEA Software Institute, Éric TanterUniversity of Chile & Inria Paris, David Van HornUniversity of Maryland, USA

11:15 - 11:37
Talk

Collapsible Contracts: Fixing a Pathology of Gradual Typing

Daniel FelteyNorthwestern University, USA, Ben GreenmanNortheastern University, USA, Christophe ScholliersUniversiteit Gent, Belgium, Robby FindlerNorthwestern University, USA, Vincent St-AmourNorthwestern University

11:37 - 12:00
Talk

The Root Cause of Blame: Contracts for Intersection and Union Types

Jack WilliamsUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Philip WadlerUniversity of Edinburgh, UK

13:30 - 15:00: OOPSLA - Static Analysis at Studio 2
Chair(s): Karim AliUniversity of Alberta

13:30 - 13:52
Talk

Incrementalizing Lattice-Based Program Analyses in Datalog

Tamás Szabóitemis / TU Delft, Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian ErdwegTU Delft, Markus Völterindependent / itemis, Germany

13:52 - 14:15
Talk

Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling

Minseok JeonKorea University, South Korea, Sehun JeongKorea University, Hakjoo OhKorea University

14:15 - 14:37
Talk

Precision-Guided Context Sensitivity for Pointer Analysis

Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens

14:37 - 15:00
Talk

Refinement in object-sensitivity points-to analysis via slicing

Girish Maskeri RamaInfosys Limited, Raghavan KomondoorIndian Institute of Science, Bangalore, Himanshu SharmaIndian Institute of Science, Bangalore

15:30 - 17:00: OOPSLA - Potpourri at Studio 2
Chair(s): Anders MøllerAarhus University

15:30 - 15:52
Talk

DeepBugs: A Learning Approach to Name-based Bug Detection

Michael PradelTU Darmstadt, Koushik SenUniversity of California, Berkeley

15:52 - 16:15
Talk

ExceLint: Automatically Finding Spreadsheet Formula Errors

Daniel W. Barowy, Emery BergerUniversity of Massachusetts, Amherst, Benjamin ZornMicrosoft Research

16:15 - 16:37
Talk

Finding Code That Explodes Under Symbolic Evaluation

James BornholtUniversity of Washington, Emina TorlakUniversity of Washington

16:37 - 17:00
Talk

FlashProfile: A Framework for Synthesizing Data Profiles

Saswat PadhiUniversity of California, Los Angeles, Prateek JainMicrosoft Research Lab, India, Daniel PerelmanUniversity of Washington, USA, Alex PolozovMicrosoft Research, Sumit GulwaniMicrosoft Research, Todd MillsteinUniversity of California, Los Angeles

Fri 9 Nov

10:30 - 12:00: OOPSLA - Program Synthesis at Studio 2
Chair(s): Jens PalsbergUniversity of California, Los Angeles

10:30 - 10:52
Talk

Relational Program Synthesis

Yuepeng WangUniversity of Texas at Austin, Xinyu WangUT Austin, Isil DilligUT Austin

10:52 - 11:15
Talk

Robust Relational Layout Synthesis from Examples for Android

Pavol BielikETH Zürich, Marc FischerETH Zurich, Martin VechevETH Zürich

11:15 - 11:37
Talk

Speeding up Symbolic Reasoning for Relational Queries

Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington

11:37 - 12:00
Talk

Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments

Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University

13:30 - 14:15: OOPSLA - Safe Merging at Studio 2
Chair(s): David PearceVictoria University of Wellington

13:30 - 13:52
Talk

Verified Three-Way Program Merge

Marcelo SousaUniversity of Oxford, Isil DilligUT Austin, Shuvendu K. LahiriMicrosoft Research

13:52 - 14:15
Talk

Conflict Resolution for Structured Merge via Version Space Algebra

Fengmin Zhu, Fei HeTsinghua University

Mon 5 Nov 2018


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Studio 2										SPLASH Keynotes Hermans 08:45 - 10:00																					GPCE I 10:30 - 12:00																																				GPCE II 13:30 - 15:00																								GPCE III 15:30 - 17:00

Tue 6 Nov 2018


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Studio 2							GPCE IV 10:30 - 12:00																																				GPCE V 13:30 - 15:00																								GPCE VI 15:30 - 17:00

Wed 7 Nov 2018


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Studio 2							SPLASH OOPSLA Parallelism and Performance 10:30 - 12:00																																				SPLASH OOPSLA Language Design 1 13:30 - 15:00																								SPLASH OOPSLA Compiler Optimization 15:30 - 17:00

Thu 8 Nov 2018


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Studio 2							SPLASH OOPSLA Types and Contracts 10:30 - 12:00																																				SPLASH OOPSLA Static Analysis 13:30 - 15:00																								SPLASH OOPSLA Potpourri 15:30 - 17:00

Fri 9 Nov 2018


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30
Studio 2							SPLASH OOPSLA Program Synthesis 10:30 - 12:00																																				SPLASH OOPSLA Safe Merging 13:30 - 14:15

Mon 5 Nov 2018


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Studio 2										SPLASH KeynotesKEYNOTE Explicit Direct Instruction in Programming Education 08:45 - 10:00																					GPCE A Domain-Specific Language for Exploratory Data Visualization 10:30 - 11:00						GPCE A Practical Unification of Multi-Stage Programming and Macros 11:00 - 11:30						GPCE Rash: From Reckless Interactions to Reliable Programs 11:30 - 12:00																								GPCE Exploring feature interactions without specifications: a controlled exp ... 13:30 - 14:00						GPCE Inferring Ownership Domains From Refinements 14:00 - 14:30						GPCE Implementing a semi-causal domain-specific language for context detecti ... 14:30 - 15:00												GPCE Meta-programming for cross-domain tensor optimizations 15:30 - 16:00						GPCE Model-based Security Analysis of Feature-oriented Software Product Lines 16:00 - 16:30						GPCE Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack ... 16:30 - 17:00

Tue 6 Nov 2018


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Studio 2							GPCE Measuring Effectiveness of Sample-based Product-Line Testing 10:30 - 11:00						GPCE Pattern Matching in an Open World 11:00 - 11:30						GPCE Verification of High-Level Transformations with Inductive Refinement Types 11:30 - 12:00																								GPCE Invited Talk TensorFlow AutoGraph: Imperative-Style Coding with Graph-based Performance 13:30 - 14:30												GPCE Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative ... 14:30 - 14:45			GPCE Explaining Spreadsheets with Spreadsheets (Short Paper) 14:45 - 15:00									GPCE Anomaly Analyses for Feature-Model Evolution 15:30 - 16:00						GPCE Regenerate: A Language Generator for Extended Regular Expressions 16:00 - 16:30						GPCE RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time C ... 16:30 - 17:00

Wed 7 Nov 2018


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Studio 2							SPLASH OOPSLA Every Data Structure Deserves Lock-Free Memory Reclamation 10:30 - 10:52				SPLASH OOPSLA Parallelization of Dynamic Languages: Synchronizing Built-in Collections 10:52 - 11:15					SPLASH OOPSLA Virtual Machine Design for Parallel Dynamic Programming Languages 11:15 - 11:37				SPLASH OOPSLA goSLP: Globally Optimized Superword Level Parallelism Framework 11:37 - 12:00																							SPLASH OOPSLA AnyDSL: A Partial Evaluation Framework for Programming High-Performance ... 13:30 - 13:52				SPLASH OOPSLA Julia: Dynamism and Performance Reconciled by Design 13:52 - 14:15					SPLASH OOPSLA GraphIt - A High-Performance Graph DSL 14:15 - 14:37				SPLASH OOPSLA One Tool, Many Languages: Language-Parametric Transformation with Incre ... 14:37 - 15:00											SPLASH OOPSLA Format Abstraction for Sparse Tensor Algebra Compilers 15:30 - 15:52				SPLASH OOPSLA ShareJIT: JIT Code Cache Sharing across Processes and its Practical Imp ... 15:52 - 16:15					SPLASH OOPSLA Reconciling High-level Optimizations and Low-level Code in LLVM 16:15 - 16:37				SPLASH OOPSLA An Empirical Study of the Effect of Source-level Loop Transformations o ... 16:37 - 17:00

Thu 8 Nov 2018


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Studio 2							SPLASH OOPSLA Horn-ICE Learning for Synthesizing Invariants and Contracts 10:30 - 10:52				SPLASH OOPSLA Gradual Liquid Type Inference 10:52 - 11:15					SPLASH OOPSLA Collapsible Contracts: Fixing a Pathology of Gradual Typing 11:15 - 11:37				SPLASH OOPSLA The Root Cause of Blame: Contracts for Intersection and Union Types 11:37 - 12:00																							SPLASH OOPSLA Incrementalizing Lattice-Based Program Analyses in Datalog 13:30 - 13:52				SPLASH OOPSLA Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling 13:52 - 14:15					SPLASH OOPSLA Precision-Guided Context Sensitivity for Pointer Analysis 14:15 - 14:37				SPLASH OOPSLA Refinement in object-sensitivity points-to analysis via slicing 14:37 - 15:00											SPLASH OOPSLA DeepBugs: A Learning Approach to Name-based Bug Detection 15:30 - 15:52				SPLASH OOPSLA ExceLint: Automatically Finding Spreadsheet Formula Errors 15:52 - 16:15					SPLASH OOPSLA Finding Code That Explodes Under Symbolic Evaluation 16:15 - 16:37				SPLASH OOPSLA FlashProfile: A Framework for Synthesizing Data Profiles 16:37 - 17:00

Fri 9 Nov 2018


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
Studio 2							SPLASH OOPSLA Relational Program Synthesis 10:30 - 10:52				SPLASH OOPSLA Robust Relational Layout Synthesis from Examples for Android 10:52 - 11:15					SPLASH OOPSLA Speeding up Symbolic Reasoning for Relational Queries 11:15 - 11:37				SPLASH OOPSLA Automatic Diagnosis and Correction of Logical Errors for Functional Pro ... 11:37 - 12:00																							SPLASH OOPSLA Verified Three-Way Program Merge 13:30 - 13:52				SPLASH OOPSLA Conflict Resolution for Structured Merge via Version Space Algebra 13:52 - 14:15

Room information: Studio 2

Mon 5 Nov

Tue 6 Nov

Wed 7 Nov

Thu 8 Nov

Fri 9 Nov

Mon 5 Nov 2018

SPLASH Keynotes

GPCE

GPCE

GPCE

Tue 6 Nov 2018

GPCE

GPCE

GPCE

Wed 7 Nov 2018

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Thu 8 Nov 2018

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Fri 9 Nov 2018

SPLASH OOPSLA

SPLASH OOPSLA

Mon 5 Nov 2018

Tue 6 Nov 2018

Wed 7 Nov 2018

Thu 8 Nov 2018

Fri 9 Nov 2018

Tracks