Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
VenueHyatt Regency Vancouver
Room nameRegency A
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sun 22 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Session 1DSLDI at Regency A
Chair(s): Lindsey KuperIntel Labs, Eric WalkingshawOregon State University
09:00
10m
Day opening
Welcome
DSLDI
P: Lindsey KuperIntel Labs, P: Eric WalkingshawOregon State University
09:10
50m
Talk
Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk)
DSLDI
K: Ronald GarciaUniversity of British Columbia, Canada
File Attached
10:30 - 12:00
Session 2DSLDI at Regency A
Chair(s): Nada AminUniversity of Cambridge
10:30
22m
Talk
Substance and Style: domain-specific languages for mathematical diagrams
DSLDI
Wode NiColumbia University, Katherine Ye, Joshua SunshineCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Keenan CraneCarnegie Mellon University
File Attached
10:52
22m
Talk
Debugging Domain-Specific Languages Defined with Macros
DSLDI
Xiangqi LiUniversity of Utah, Matthew FlattUniversity of Utah
File Attached
11:15
22m
Talk
DSL Design for Reinforcement Learning Agents
DSLDI
Christopher SimpkinsGeorgia Institute of Technology, Spencer RugaberGeorgia Institute of Technology, Charles Isbell, Jr.Georgia Institute of Technology
File Attached
11:37
22m
Talk
Tangent: automatic differentiation using source code transformation in Python
DSLDI
Bart van MerriënboerUniversity of Montreal, Alexander B. WiltschkoGoogle Brain
File Attached
13:30 - 15:00
Session 3DSLDI at Regency A
Chair(s): Eric WalkingshawOregon State University
13:30
22m
Talk
MkMod: A Domain Specific Language for developing Linux Kernel Modules
DSLDI
Manasij MukherjeeChennai Mathematical Institute
File Attached
13:52
22m
Talk
Bacatá: a generic notebook generator for DSLs
DSLDI
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen
File Attached
14:15
22m
Talk
Thapl—A Theatrical DSL
DSLDI
Yossi GilTechnion—Israel Institute of Technology, David H. LorenzTechnion—Israel Institute of Technology, Matan I. PeledTechnion—Israel Institute of Technology
File Attached
14:37
22m
Talk
Towards Naturalistic EDSLs using Algebraic Effects
DSLDI
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
Link to publication Pre-print Media Attached File Attached
15:30 - 17:00
Session 4DSLDI at Regency A
Chair(s): Lindsey KuperIntel Labs
15:30
22m
Talk
Property Law as a Programming Language
DSLDI
Shrutarshi BasuCornell University, James GrimmelmannCornell Law School, Nate FosterCornell University
File Attached
15:52
22m
Talk
Embedding By Normalisation
DSLDI
Shayan NajdUniversity of Edinburgh
File Attached
16:15
22m
Talk
Reliable composition of domain-specific language features
DSLDI
Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
File Attached
16:37
22m
Day closing
Discussion and closing remarks
DSLDI

Conference Day
Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
StagingGPCE at Regency A
Chair(s): Nada AminUniversity of Cambridge
10:30
25m
Talk
Refining Semantics for Multi-stage Programming
GPCE
Rui GeUniversity of British Columbia, Canada, Ronald GarciaUniversity of British Columbia, Canada
DOI Authorizer link
10:55
25m
Talk
Staging for Generic Programming in Space and Time
GPCE
Georg OfenbeckETH Zurich, Switzerland, Tiark RompfPurdue University, Markus PüschelETH Zürich
DOI Authorizer link
11:20
25m
Talk
Staging with Control: Type-Safe Multi-stage Programming with Control Operators
GPCE
Junpei OishiUniversity of Tsukuba, Japan, Yukiyoshi KameyamaUniversity of Tsukuba, Japan
DOI Authorizer link
11:45
15m
Talk
Code Staging in GNU GuixShort paper
GPCE
Ludovic CourtèsInria, France
DOI Authorizer link
13:30 - 15:00
VariabilityGPCE at Regency A
Chair(s): Ina SchaeferTechnische Universität Braunschweig
13:30
25m
Talk
A Classification of Variation Control Systems
GPCE
Lukas LinsbauerJohannes Kepler University Linz, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Paul GrünbacherJKU Linz, Austria
DOI Authorizer link
13:55
25m
Talk
Analyzing the Impact of Natural Language Processing over Feature Location in Models
GPCE
Raúl LapeñaSan Jorge University, Spain, Jaime FontSan Jorge University, Spain, Oscar PastorUniversitat Politècnica de València, Spain, Carlos CetinaSan Jorge University, Spain
DOI Authorizer link
14:20
25m
Talk
How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-PronenessBest Paper
GPCE
Wolfram FenskeUniversity of Magdeburg, Germany, Sandro SchulzeUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany
DOI Authorizer link
15:30 - 17:00
TypesGPCE at Regency A
Chair(s): Shigeru ChibaUniversity of Tokyo, Japan
15:30
25m
Talk
Type Qualifiers as Composable Language Extensions
GPCE
Travis CarlsonUniversity of Minnesota, USA, Eric Van WykUniversity of Minnesota, USA
DOI Authorizer link
15:55
25m
Talk
Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM
GPCE
Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Walter BinderUniversity of Lugano, Switzerland
DOI Authorizer link
16:20
25m
Talk
Rewriting for Sound and Complete Union, Intersection and Negation Types
GPCE
David J. PearceVictoria University of Wellington, New Zealand
DOI Authorizer link

Conference Day
Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
PerformanceGPCE at Regency A
Chair(s): Matthew FlattUniversity of Utah
10:30
25m
Talk
Quoted Staged Rewriting: A Practical Approach to Library-Defined OptimizationsBest Paper
GPCE
DOI Authorizer link Media Attached
10:55
25m
Talk
Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms
GPCE
Joseph CaldwellUniversity of Tokyo, Japan, Shigeru ChibaUniversity of Tokyo, Japan
DOI Authorizer link
11:20
25m
Talk
RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
GPCE
Arsène Pérard-GayotSaarland University, Germany, Martin WeierBonn-Rhein-Sieg University of Applied Sciences, Germany, Richard MembarthDFKI, Germany, Philipp SlusallekDFKI, Germany, Roland LeißaSaarland University, Germany, Sebastian HackSaarland University, Germany
DOI Authorizer link
11:45
15m
Talk
Towards Compositional and Generative Tensor OptimizationsShort paper
GPCE
Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Jeronimo CastrillonTU Dresden, Germany, Immo HuismannTU Dresden, Germany, Albert CohenInria, France / ENS, France, Claude TadonkiMINES ParisTech, France, Jörg StillerTU Dresden, Germany, Jochen FröhlichTU Dresden, Germany
DOI Authorizer link
13:30 - 15:00
Analysis & TestingGPCE at Regency A
Chair(s): Jaakko JärviUniversity of Bergen
13:30
25m
Talk
Four Languages and Lots of Macros: Analyzing Autotools Build Systems
GPCE
Jafar M. Al-KofahiIowa State University, USA, Suresh KothariIowa State University, USA, Christian KästnerCarnegie Mellon University, USA
DOI Authorizer link
13:55
25m
Talk
Avoiding Useless Mutants
GPCE
Leonardo FernandesFederal University of Pernambuco, Brazil, Márcio RibeiroFederal University of Alagoas, Brazil, Luiz CarvalhoFederal University of Alagoas, Brazil, Rohit GheyiFederal University of Campina Grande, Brazil, Melina MongioviFederal University of Campina Grande, Brazil, Andre Santos, Ana CavalcantiUniversity of York, UK, Fabiano FerrariFederal University of São Carlos, Brazil, José Carlos MaldonadoUniversity of São Paulo, Brazil
DOI Authorizer link
14:20
25m
Talk
Silverchain: A Fluent API Generator
GPCE
Tomoki NakamaruUniversity of Tokyo, Japan, Kazuhiro IchikawaUniversity of Tokyo, Japan, Tetsuro YamazakiUniversity of Tokyo, Japan, Shigeru ChibaUniversity of Tokyo, Japan
DOI Authorizer link
14:45
15m
Talk
Parser Generation by Example for Legacy Pattern LanguagesShort paper
GPCE
Vadim ZaytsevRaincode Labs, Belgium
DOI Authorizer link
15:30 - 17:00
DSLsGPCE at Regency A
Chair(s): Anthony SloaneMacquarie University
15:30
25m
Talk
A Haskell Compiler for Signal Transforms
GPCE
Geoffrey MainlandDrexel University, USA, Jeremy JohnsonDrexel University, USA
DOI Authorizer link
15:55
25m
Talk
Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report
GPCE
Ricardo Giuliani MartiniUniversity of Minho, Portugal, Pedro Rangel HenriquesUniversity of Minho, Portugal
DOI Authorizer link
16:20
25m
Talk
Rewriting a Shallow DSL using a GHC Compiler Extension
GPCE
Mark GrebeUniversity of Kansas, USA, David YoungUniversity of Kansas, USA, Andy GillUniversity of Kansas, USA
DOI Authorizer link

Conference Day
Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
TypesSPLASH OOPSLA at Regency A
Chair(s): Kim BrucePomona College
10:30
22m
Talk
SAVI Objects: Sharing and Virtuality Incorporated
SPLASH OOPSLA
Izzat El HajjUniversity of Illinois at Urbana-Champaign, USA, Thomas B. JablinUniversity of Illinois at Urbana-Champaign, USA / Multicoreware, USA, Dejan MilojicicHewlett Packard Labs, USA, Wen-mei HwuUniversity of Illinois at Urbana-Champaign, USA
DOI
10:52
22m
Talk
A Simple Soundness Proof for Dependent Object Types
SPLASH OOPSLA
Marianna RapoportUniversity of Waterloo, Canada, Ifaz KabirUniversity of Waterloo, Canada, Paul HeUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo, Canada
DOI
11:15
22m
Talk
Unifying Typing and Subtyping
SPLASH OOPSLA
Yanpeng YangUniversity of Hong Kong, China, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
DOI
11:37
22m
Talk
Fast and Precise Type Checking for JavaScript
SPLASH OOPSLA
Avik ChaudhuriFacebook, USA, Panagiotis VekrisUniversity of California at San Diego, USA, Sam GoldmanFacebook, USA, Marshall RochFacebook, USA, Gabriel LeviFacebook, USA
DOI
13:30 - 15:00
Gradual Types and MemorySPLASH OOPSLA at Regency A
Chair(s): Jennifer B. SartorVrije Universiteit Brussel
13:30
22m
Talk
Sound Gradual Typing: Only Mostly Dead
SPLASH OOPSLA
Spenser Andrew BaumanIndiana University, USA, Sam Tobin-HochstadtIndiana University, Jeremy G. SiekIndiana University, USA, Carl Friedrich Bolz-Tereick
DOI
13:52
22m
Talk
Sound Gradual Typing Is Nominally Alive and Well
SPLASH OOPSLA
Fabian MuehlboeckCornell University, Ross TateCornell University
DOI
14:15
22m
Talk
The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing
SPLASH OOPSLA
Gregor RichardsUniversity of Waterloo, Ellen ArtecaUniversity of Waterloo, Canada, Alexi TurcotteUniversity of Waterloo
DOI
14:37
22m
Talk
Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models
SPLASH OOPSLA
Tomoharu UgawaKochi University of Technology, Japan, Tatsuya AbeChiba Institute of Technology, Japan, Toshiyuki MaedaChiba Institute of Technology, Japan
DOI
15:30 - 17:22
15:30
22m
Talk
Model-Assisted Machine-Code Synthesis
SPLASH OOPSLA
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Ara VartanianUniversity of Wisconsin-Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
DOI
15:52
22m
Talk
Synthesis of Data Completion Scripts using Finite Tree Automata
SPLASH OOPSLA
Xinyu WangUT Austin, Isil DilligUT Austin, Rishabh SinghMicrosoft Research
DOI
16:14
22m
Talk
SQLizer: Query Synthesis from Natural Language
SPLASH OOPSLA
Navid YaghmazadehUniversity of Texas, Austin, Yuepeng WangUniversity of Texas at Austin, Isil DilligUT Austin, Thomas Dillig
DOI
16:37
22m
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
SPLASH OOPSLA
Mark SantolucitoYale University, Ennan ZhaiYale University, USA, Rahul DhodapkarMongoDB, USA, Aaron ShimMicrosoft, USA, Ruzica PiskacYale University
DOI
16:59
22m
Talk
Natural Synthesis of Provably-Correct Data-Structure Manipulations
SPLASH OOPSLA
Xiaokang QiuPurdue University, Armando Solar-LezamaMIT CSAIL
DOI

Conference Day
Thu 26 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Types and Language DesignSPLASH OOPSLA at Regency A
Chair(s): Mario WolczkoOracle Labs
10:30
22m
Talk
Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
SPLASH OOPSLA
Yizhou ZhangCornell University, Andrew C. Myers
DOI
10:52
22m
Talk
Static Stages for Heterogeneous Programming
SPLASH OOPSLA
Adrian SampsonCornell University, Kathryn S McKinleyGoogle, Todd MytkowiczMicrosoft Research
DOI Pre-print
11:15
22m
Talk
Orca: GC and Type System Co-Design for Actor Languages
SPLASH OOPSLA
Sylvan ClebschImperial College London, Juliana FrancoImperial College London, Sophia Drossopoulou, Albert Mingkun Yang, Tobias WrigstadUppsala University, Jan VitekNortheastern University, USA
DOI
11:37
22m
Talk
Monadic Composition for Deterministic, Parallel Batch Processing
SPLASH OOPSLA
Ryan ScottIndiana University, Omar Navarro-LeijaUniversity of Pennsylvania, USA, Ryan R. NewtonIndiana University, Joseph DeviettiUniversity of Pennsylvania
DOI
13:30 - 15:00
Mining Software Repositories and ParsingSPLASH OOPSLA at Regency A
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
13:30
22m
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
SPLASH OOPSLA
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University
DOI
13:52
22m
Talk
DéjàVu: A Map of Code Duplicates on GitHub
SPLASH OOPSLA
Crista LopesUniversity of California, Irvine, Petr MajReactorLabs, Pedro MartinsUniversity of California at Irvine, USA, Vaibhav SainiUniversity of California at Irvine, USA, Di YangUniversity of California at Irvine, USA, Jakub ZitnyCzech Technical University, Czechia, Hitesh SajnaniMicrosoft , Jan VitekNortheastern University, USA
DOI
14:15
22m
Talk
Understanding the Use of Lambda Expressions in Java
SPLASH OOPSLA
Davood MazinanianConcordia University, Canada, Ameya KetkarOregon State University, USA, Nikolaos TsantalisConcordia University, Canada, Danny DigSchool of EECS at Oregon State University
DOI
14:37
22m
Talk
Restricting Grammars with Tree Automata
SPLASH OOPSLA
Michael D. AdamsUniversity of Utah, USA, Matthew MightUniversity of Utah, USA
DOI
15:30 - 17:22
TestingSPLASH OOPSLA at Regency A
Chair(s): Christian HammerUniversity of Potsdam
15:30
22m
Talk
A Solver-Aided Language for Test Input Generation
SPLASH OOPSLA
Talia RingerUniversity of Washington, Dan GrossmanUniversity of Washington, Daniel Schwartz-NarbonneAmazon, n.n., Serdar TasiranAmazon, n.n.
DOI
15:52
22m
Talk
Automated Testing of Graphics Shader Compilers
SPLASH OOPSLA
Alastair F. DonaldsonImperial College London, Hugues EvrardImperial College London, UK, Andrei LascuImperial College London, Paul ThomsonImperial College London
DOI
16:14
22m
Talk
Bounded Exhaustive Test-Input Generation on GPUs
SPLASH OOPSLA
Ahmet CelikUniversity of Texas at Austin, USA, Sreepathi PaiUniversity of Rochester, Sarfraz KhurshidUniversity of Texas at Austin, Milos GligoricUniversity of Texas at Austin
DOI
16:37
22m
Talk
Transforming Programs and Tests in Tandem for Fault Localization
SPLASH OOPSLA
Xia LiUniversity of Texas at Dallas, USA, Lingming Zhang
DOI
16:59
22m
Talk
Type Test Scripts for TypeScript Testing
SPLASH OOPSLA
Erik Krogh KristensenAarhus University, Denmark, Anders MøllerAarhus University
DOI

Conference Day
Fri 27 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Language DesignSPLASH OOPSLA at Regency A
Chair(s): Gregor RichardsUniversity of Waterloo
10:30
22m
Talk
Project Snowflake: Non-blocking Safe Manual Memory Management for .NET
SPLASH OOPSLA
Matthew ParkinsonMicrosoft Research, UK, Dimitrios VytiniotisMicrosoft Research, Cambridge, Kapil VaswaniMicrosoft Research, Manuel CostaMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Dylan McDermottUniversity of Cambridge, Jonathan BalkindPrinceton, USA, Aaron BlanksteinPrinceton, USA
DOI
10:52
22m
Talk
Alpaca: Intermittent Execution without Checkpoints
SPLASH OOPSLA
Kiwan MaengCarnegie Mellon University, USA, Alexei ColinCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
11:15
22m
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
SPLASH OOPSLA
Ennan ZhaiYale University, USA, Ruzica PiskacYale University, Ronghui GuColumbia University, USA, Xun LaoYale University, USA, Xi WangYale University, USA
DOI
11:37
22m
Talk
Reliable and Automatic Composition of Language Extensions to C
SPLASH OOPSLA
Ted KaminskiUniversity of Minnesota, Lucas KramerUniversity of Minnesota, Travis CarlsonUniversity of Minnesota, USA, Eric Van WykUniversity of Minnesota, USA
DOI Pre-print
13:30 - 15:00
Usability and DeadlockSPLASH OOPSLA at Regency A
Chair(s): Jonathan AldrichCarnegie Mellon University
13:30
22m
Talk
Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers
SPLASH OOPSLA
Tiago CogumbreiroRice University, Rishi SurendranRice University, USA, Francisco MartinsLaSIGE, University of Lisbon, Vivek SarkarRice University, USA, Vasco T. VasconcelosUniversity of Lisbon, Portugal, Max GrossmanRice University, USA
DOI
13:52
22m
Talk
Detecting Argument Selection Defects
SPLASH OOPSLA
Andrew RiceUniversity of Cambridge, UK, Edward AftandilianGoogle, Ciera JaspanGoogle, Emily JohnstonGoogle, Michael PradelTU Darmstadt, Yulissa Arroyo-ParedesColumbia University, USA
DOI
14:15
22m
Talk
How Type Errors Were Fixed and What Students Did?
SPLASH OOPSLA
Baijun WuUniversity of Louisiana at Lafayette, USA, Sheng ChenULL Lafayette
DOI
14:37
22m
Talk
Learning User Friendly Type-Error Messages
SPLASH OOPSLA
Baijun WuUniversity of Louisiana at Lafayette, USA, John Peter CamporaULL Lafayette, Sheng ChenULL Lafayette
DOI

Conference Day
Sun 22 Oct

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Regency A

Conference Day
Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:0030
Regency A

Conference Day
Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:0030
Regency A

Conference Day
Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Regency A

Conference Day
Thu 26 Oct

Displayed time zone: Tijuana, Baja California change

Conference Day
Fri 27 Oct

Displayed time zone: Tijuana, Baja California change