SPLASH 2020
Sun 15 - Sat 21 November 2020
Online Conference
Toggle navigation
Attending
Venue: Online
Students
Registration
Awards
Sponsoring
Code of conduct
Certificate of Attendance
Info
Presenter Instructions for OOPSLA/ECOOP/Onward!/GPCE/SLE/DLS
Presenter Instructions for SAS 2020
Presenter Instructions for REBASE 2020
Session Chair Instructions
Program
Complete Program
Your Program
Sun 15 Nov
Mon 16 Nov
Tue 17 Nov
Wed 18 Nov
Thu 19 Nov
Fri 20 Nov
Sat 21 Nov
Tracks
SPLASH 2020
OOPSLA
OOPSLA Artifacts
Onward! Essays
Onward! Papers
REBASE
Doctoral Symposium
PLMW
Posters
SPLASH-E
Student Research Competition
Student Volunteers
Workshops
Keynotes
Meet The Speakers (MTS)
Ask Me Anything (AMA)
CARES
Awards
Opening
Closing
Co-hosted Conferences
DLS
ECOOP
ECOOP
ECOOP
Research Papers
ECOOP
Artifacts
ECOOP
Student Volunteers
ECOOP
Doctoral Symposium
ECOOP
Tutorials
ECOOP
Posters
GPCE
SAS
SLE
Workshops
AGERE
COP
FTfJP
HATRA
HILT
ICOOOLPS
IWACO
JSTools
LIVE
LPOP
NSAD
PLATEAU
PRIDE
REBLS
SOOP
SySEPL
TAPAS
VMIL
VORTEX
Co-hosted Symposia
Scala
Organization
SPLASH 2020 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Review Committee
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Onward! Steering Committee
REBASE
REBASE Chicago
REBASE Berlin
Doctoral Symposium
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Reviewers/Judges
Student Volunteers
Workshops
CARES
Contributors
People Index
Co-hosted Conferences
DLS
Program Committee
Steering Committee
ECOOP
Organizing Committee
Research Papers
Program Committee
Research Papers
External Review Committee
Artifacts
Student Volunteers
Doctoral Symposium
Academic Panel
Doctoral Symposium
Organizing Committee
Doctoral Symposium
Program Committee
Posters
GPCE
Organizing Committee
Program Committee
Steering Committee
SAS
Organizing Committee
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
SLE
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
AGERE
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
FTfJP
Organizing Committee
Program Committee
Steering Commitee
HATRA
Organizing Committee
Program Committee
HILT
Organizing Committee
Program Committee
ICOOOLPS
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
JSTools
Organizing Committee
Program Committee
LIVE
Organising Committee
Programme Committee
LPOP
General Chairs
Program Chair
Program Committee
Publicity Chair
NSAD
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
PRIDE
Organizing Committee
Program Committee
REBLS
Program Committee
Steering Committee
SOOP
Organizing Committee
Program Committee
SySEPL
Organizing Committee
Program Committee
TAPAS
Organizing Committee
Program Committee
VMIL
Organizing Committee
Program Committee
Steering Committee
VORTEX
Organizing Committee
Program Committee
Co-hosted Symposia
Scala
Keynote
Organizing Committee
Program Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2020
(
series
) /
Online
/
Room information: SPLASH-VII
Venue
Online
Room name
SPLASH-VII
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-06:00) Central Time (US & Canada)
.
Use conference time zone: (GMT-06:00) Central Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 15 Nov
Displayed time zone:
Central Time (US & Canada)
change
08:20 - 09:00
Posters Session 1
Posters
at
SPLASH-VII
+12h
08:20
40m
Poster
Formulog: Datalog for SMT-based Static Analysis
OOPSLA
Posters
Aaron Bembenek
Harvard University
,
Michael Greenberg
Pomona College
,
Stephen Chong
Harvard University
08:20
40m
Poster
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Onward! Papers
Posters
Matthew Sotoudeh
University of California, Davis
,
Aditya V. Thakur
University of California, Davis
08:20
40m
Poster
Row and Bounded Polymorphism via Disjoint Polymorphism
ECOOP
Posters
Ningning Xie
University of Toronto
,
Bruno C. d. S. Oliveira
University of Hong Kong
,
Xuan Bi
The University of Hong Kong
,
Tom Schrijvers
KU Leuven
08:20
40m
Poster
Gradual Verification of Recursive Heap Data Structures
OOPSLA
Posters
Jenna DiVincenzo (Wise)
Carnegie Mellon University
,
Johannes Bader
Jane Street
,
Cameron Wong
Jane Street
,
Jonathan Aldrich
Carnegie Mellon University
,
Éric Tanter
University of Chile
,
Joshua Sunshine
Carnegie Mellon University
08:20
40m
Poster
Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications
OOPSLA
Posters
Arjen Rouvoet
Delft University of Technology
,
Hendrik van Antwerpen
Delft University of Technology
,
Casper Bach Poulsen
Delft University of Technology
,
Robbert Krebbers
Radboud University Nijmegen
,
Eelco Visser
Delft University of Technology
08:20
40m
Poster
Owicki-Gries Reasoning for C11 RAR
ECOOP
Posters
Sadegh Dalvandi
University of Surrey
,
Simon Doherty
University of Sheffield
,
Brijesh Dongol
University of Surrey
,
Heike Wehrheim
Paderborn University
08:20
40m
Poster
Demystifying Dependence
Onward! Papers
Posters
James Koppel
MIT
,
Daniel Jackson
MIT
08:20
40m
Poster
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
OOPSLA
Posters
Michael Coblenz
University of Maryland at College Park
,
Jonathan Aldrich
Carnegie Mellon University
,
Brad A. Myers
Carnegie Mellon University
,
Joshua Sunshine
Carnegie Mellon University
08:20
40m
Poster
Multiparty Session Programming with Global Protocol Combinators
ECOOP
Posters
Keigo Imai
Gifu University
,
Rumyana Neykova
Brunel University London
,
Nobuko Yoshida
Imperial College London
,
Shoji Yuen
Nagoya University
08:20
40m
Poster
Static Race Detection and Mutex Safety and Liveness for Go Programs
ECOOP
Posters
Julia Gabet
Imperial College London
,
Nobuko Yoshida
Imperial College London
08:20
40m
Poster
CAMP: Cost-Aware Multiparty Session Protocols
OOPSLA
Posters
David Castro-Perez
Imperial College London
,
Nobuko Yoshida
Imperial College London
08:20
40m
Poster
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
Onward! Papers
Posters
Jennifer Fish
Carnegie Mellon University
,
Darya Melicher
Google
,
Jonathan Aldrich
Carnegie Mellon University
08:20
40m
Poster
On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers
OOPSLA
Posters
Dominik Winterer
ETH Zurich
,
Chengyu Zhang
East China Normal University
,
Zhendong Su
ETH Zurich
08:20
40m
Poster
Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality
ECOOP
Posters
Alexandros Tasos
Imperial College London
,
Juliana Franco
Microsoft Research, Cambridge
,
Sophia Drossopoulou
Imperial College London
,
Tobias Wrigstad
Uppsala University, Sweden
,
Susan Eisenbach
Imperial College London
08:20
40m
Poster
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
ECOOP
Posters
Xuejing Huang
The University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong
08:20
40m
Poster
Geometry Types for Graphics Programming
OOPSLA
Posters
Dietrich Geisler
Cornell University
,
Irene Yoon
University of Pennsylvania
,
Aditi Kabra
Carnegie Mellon University
,
Horace He
Cornell University
,
Yinnon Sanders
Cornell University
,
Adrian Sampson
Cornell University
20:20 - 21:00
Posters Session 1 Mirror
Posters
at
SPLASH-VII
20:20
40m
Poster
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Onward! Papers
Posters
Matthew Sotoudeh
University of California, Davis
,
Aditya V. Thakur
University of California, Davis
20:20
40m
Poster
Static Race Detection and Mutex Safety and Liveness for Go Programs
ECOOP
Posters
Julia Gabet
Imperial College London
,
Nobuko Yoshida
Imperial College London
20:20
40m
Poster
On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers
OOPSLA
Posters
Dominik Winterer
ETH Zurich
,
Chengyu Zhang
East China Normal University
,
Zhendong Su
ETH Zurich
20:20
40m
Poster
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
ECOOP
Posters
Xuejing Huang
The University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong
20:20
40m
Poster
Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications
OOPSLA
Posters
Arjen Rouvoet
Delft University of Technology
,
Hendrik van Antwerpen
Delft University of Technology
,
Casper Bach Poulsen
Delft University of Technology
,
Robbert Krebbers
Radboud University Nijmegen
,
Eelco Visser
Delft University of Technology
20:20
40m
Poster
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
Onward! Papers
Posters
Jennifer Fish
Carnegie Mellon University
,
Darya Melicher
Google
,
Jonathan Aldrich
Carnegie Mellon University
20:20
40m
Poster
CAMP: Cost-Aware Multiparty Session Protocols
OOPSLA
Posters
David Castro-Perez
Imperial College London
,
Nobuko Yoshida
Imperial College London
20:20
40m
Poster
Owicki-Gries Reasoning for C11 RAR
ECOOP
Posters
Sadegh Dalvandi
University of Surrey
,
Simon Doherty
University of Sheffield
,
Brijesh Dongol
University of Surrey
,
Heike Wehrheim
Paderborn University
20:20
40m
Poster
Formulog: Datalog for SMT-based Static Analysis
OOPSLA
Posters
Aaron Bembenek
Harvard University
,
Michael Greenberg
Pomona College
,
Stephen Chong
Harvard University
20:20
40m
Poster
Demystifying Dependence
Onward! Papers
Posters
James Koppel
MIT
,
Daniel Jackson
MIT
20:20
40m
Poster
Row and Bounded Polymorphism via Disjoint Polymorphism
ECOOP
Posters
Ningning Xie
University of Toronto
,
Bruno C. d. S. Oliveira
University of Hong Kong
,
Xuan Bi
The University of Hong Kong
,
Tom Schrijvers
KU Leuven
20:20
40m
Poster
Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality
ECOOP
Posters
Alexandros Tasos
Imperial College London
,
Juliana Franco
Microsoft Research, Cambridge
,
Sophia Drossopoulou
Imperial College London
,
Tobias Wrigstad
Uppsala University, Sweden
,
Susan Eisenbach
Imperial College London
20:20
40m
Poster
Gradual Verification of Recursive Heap Data Structures
OOPSLA
Posters
Jenna DiVincenzo (Wise)
Carnegie Mellon University
,
Johannes Bader
Jane Street
,
Cameron Wong
Jane Street
,
Jonathan Aldrich
Carnegie Mellon University
,
Éric Tanter
University of Chile
,
Joshua Sunshine
Carnegie Mellon University
20:20
40m
Poster
Multiparty Session Programming with Global Protocol Combinators
ECOOP
Posters
Keigo Imai
Gifu University
,
Rumyana Neykova
Brunel University London
,
Nobuko Yoshida
Imperial College London
,
Shoji Yuen
Nagoya University
20:20
40m
Poster
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
OOPSLA
Posters
Michael Coblenz
University of Maryland at College Park
,
Jonathan Aldrich
Carnegie Mellon University
,
Brad A. Myers
Carnegie Mellon University
,
Joshua Sunshine
Carnegie Mellon University
20:20
40m
Poster
Geometry Types for Graphics Programming
OOPSLA
Posters
Dietrich Geisler
Cornell University
,
Irene Yoon
University of Pennsylvania
,
Aditi Kabra
Carnegie Mellon University
,
Horace He
Cornell University
,
Yinnon Sanders
Cornell University
,
Adrian Sampson
Cornell University
Mon 16 Nov
Displayed time zone:
Central Time (US & Canada)
change
10:20 - 11:00
Posters Session 2
Posters
at
SPLASH-VII
+12h
10:20
40m
Poster
Resolution as Intersection Subtyping via Modus Ponens
OOPSLA
Posters
Koar Marntirosian
KU Leuven
,
Tom Schrijvers
KU Leuven
,
Bruno C. d. S. Oliveira
University of Hong Kong
,
Georgios Karachalias
Tweag
10:20
40m
Poster
Macros For Domain-Specific Languages
OOPSLA
Posters
Michael Ballantyne
Northeastern University
,
Alexis King
Northwestern University
,
Matthias Felleisen
Northeastern University
10:20
40m
Poster
Precise Inference of Expressive Units of Measurement Types
OOPSLA
Posters
Tongtong Xiang
University of Waterloo
,
Jeff Y. Luo
University of Waterloo
,
Werner Dietl
University of Waterloo
10:20
40m
Poster
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
OOPSLA
Posters
Ruyi Ji
Peking University
,
Yican Sun
Peking University
,
Yingfei Xiong
Peking University
,
Zhenjiang Hu
Peking University
10:20
40m
Poster
A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
OOPSLA
Posters
Ryan Senanayake
Reservoir Labs
,
Changwan Hong
Massachusetts Institute of Technology
,
Ziheng Wang
Massachusetts Institute of Technology
,
Amalee Wilson
Stanford University
,
Stephen Chou
Massachusetts Institute of Technology
,
Shoaib Kamil
Adobe Research
,
Saman Amarasinghe
Massachusetts Institute of Technology
,
Fredrik Kjolstad
Stanford University
DOI
Pre-print
Media Attached
File Attached
10:20
40m
Poster
Learning Semantic Program Embeddings with Graph Interval Neural Network
OOPSLA
Posters
Yu Wang
Nanjing University, China
,
Ke Wang
Visa Research
,
Fengjuan Gao
Nanjing University
,
Linzhang Wang
Nanjing University
10:20
40m
Poster
Statically Verified Refinements for Multiparty Protocols
OOPSLA
Posters
Fangyi Zhou
Imperial College London
,
Francisco Ferreira
Imperial College London
,
Raymond Hu
University of Hertfordshire
,
Rumyana Neykova
Brunel University London
,
Nobuko Yoshida
Imperial College London
10:20
40m
Poster
Towards a Formal Foundation of Intermittent Computing
OOPSLA
Posters
Milijana Surbatovich
Carnegie Mellon University
,
Brandon Lucia
Carnegie Mellon University
,
Limin Jia
Carnegie Mellon University
10:20
40m
Poster
Incremental Predicate Analysis for Regression Verification
OOPSLA
Posters
Qianshan Yu
Tsinghua University
,
Fei He
Tsinghua University
,
Bow-Yaw Wang
Academia Sinica
10:20
40m
Poster
StreamQL: A Query Language for Processing Streaming Time Series
OOPSLA
Posters
Lingkun Kong
Rice University
,
Konstantinos Mamouras
Rice University
10:20
40m
Poster
SATUNE: Synthesizing Efficient SAT Encoders
OOPSLA
Posters
Hamed Gorjiara
University of California at Irvine
,
Guoqing Harry Xu
University of California at Los Angeles
,
Brian Demsky
University of California at Irvine
10:20
40m
Poster
Scaling Exact Inference for Discrete Probabilistic Programs
OOPSLA
Posters
Steven Holtzen
University of California at Los Angeles
,
Guy Van den Broeck
University of California at Los Angeles
,
Todd Millstein
University of California, Los Angeles
10:20
40m
Poster
Certified and Efficient Instruction Scheduling
OOPSLA
Posters
Sylvain Boulmé
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
,
Cyril Six
Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
,
David Monniaux
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
10:20
40m
Poster
Revisiting Iso-Recursive Subtyping
OOPSLA
Posters
Yaoda Zhou
University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong
,
Jinxu Zhao
University of Hong Kong
10:20
40m
Poster
Guided Linking: Dynamic Linking Without the Costs
OOPSLA
Posters
Sean Bartell
University of Illinois at Urbana-Champaign
,
Will Dietz
University of Illinois at Urbana-Champaign
,
Vikram S. Adve
University of Illinois at Urbana-Champaign
10:20
40m
Poster
Unifying Execution of Imperative Generators and Declarative Specifications
OOPSLA
Posters
Pengyu Nie
University of Texas at Austin
,
Marinela Parovic
University of Texas at Austin
,
Zhiqiang Zang
University of Texas at Austin
,
Sarfraz Khurshid
University of Texas at Austin
,
Aleksandar Milicevic
Microsoft
,
Milos Gligoric
University of Texas at Austin
10:20
40m
Poster
CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
OOPSLA
Posters
Yuting Wang
Shanghai Jiao Tong University
,
Xiangzhe Xu
Nanjing University
,
Pierre Wilke
CentraleSupélec
,
Zhong Shao
Yale University
22:20 - 23:00
Posters Session 2 Mirror
Posters
at
SPLASH-VII
22:20
40m
Poster
Learning Semantic Program Embeddings with Graph Interval Neural Network
OOPSLA
Posters
Yu Wang
Nanjing University, China
,
Ke Wang
Visa Research
,
Fengjuan Gao
Nanjing University
,
Linzhang Wang
Nanjing University
22:20
40m
Poster
Towards a Formal Foundation of Intermittent Computing
OOPSLA
Posters
Milijana Surbatovich
Carnegie Mellon University
,
Brandon Lucia
Carnegie Mellon University
,
Limin Jia
Carnegie Mellon University
22:20
40m
Poster
StreamQL: A Query Language for Processing Streaming Time Series
OOPSLA
Posters
Lingkun Kong
Rice University
,
Konstantinos Mamouras
Rice University
22:20
40m
Poster
Incremental Predicate Analysis for Regression Verification
OOPSLA
Posters
Qianshan Yu
Tsinghua University
,
Fei He
Tsinghua University
,
Bow-Yaw Wang
Academia Sinica
22:20
40m
Poster
SATUNE: Synthesizing Efficient SAT Encoders
OOPSLA
Posters
Hamed Gorjiara
University of California at Irvine
,
Guoqing Harry Xu
University of California at Los Angeles
,
Brian Demsky
University of California at Irvine
22:20
40m
Poster
A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
OOPSLA
Posters
Ryan Senanayake
Reservoir Labs
,
Changwan Hong
Massachusetts Institute of Technology
,
Ziheng Wang
Massachusetts Institute of Technology
,
Amalee Wilson
Stanford University
,
Stephen Chou
Massachusetts Institute of Technology
,
Shoaib Kamil
Adobe Research
,
Saman Amarasinghe
Massachusetts Institute of Technology
,
Fredrik Kjolstad
Stanford University
DOI
Pre-print
Media Attached
File Attached
22:20
40m
Poster
Unifying Execution of Imperative Generators and Declarative Specifications
OOPSLA
Posters
Pengyu Nie
University of Texas at Austin
,
Marinela Parovic
University of Texas at Austin
,
Zhiqiang Zang
University of Texas at Austin
,
Sarfraz Khurshid
University of Texas at Austin
,
Aleksandar Milicevic
Microsoft
,
Milos Gligoric
University of Texas at Austin
22:20
40m
Poster
Statically Verified Refinements for Multiparty Protocols
OOPSLA
Posters
Fangyi Zhou
Imperial College London
,
Francisco Ferreira
Imperial College London
,
Raymond Hu
University of Hertfordshire
,
Rumyana Neykova
Brunel University London
,
Nobuko Yoshida
Imperial College London
22:20
40m
Poster
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
OOPSLA
Posters
Ruyi Ji
Peking University
,
Yican Sun
Peking University
,
Yingfei Xiong
Peking University
,
Zhenjiang Hu
Peking University
22:20
40m
Poster
Revisiting Iso-Recursive Subtyping
OOPSLA
Posters
Yaoda Zhou
University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong
,
Jinxu Zhao
University of Hong Kong
22:20
40m
Poster
Macros For Domain-Specific Languages
OOPSLA
Posters
Michael Ballantyne
Northeastern University
,
Alexis King
Northwestern University
,
Matthias Felleisen
Northeastern University
22:20
40m
Poster
CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
OOPSLA
Posters
Yuting Wang
Shanghai Jiao Tong University
,
Xiangzhe Xu
Nanjing University
,
Pierre Wilke
CentraleSupélec
,
Zhong Shao
Yale University
22:20
40m
Poster
Certified and Efficient Instruction Scheduling
OOPSLA
Posters
Sylvain Boulmé
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
,
Cyril Six
Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
,
David Monniaux
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
22:20
40m
Poster
Resolution as Intersection Subtyping via Modus Ponens
OOPSLA
Posters
Koar Marntirosian
KU Leuven
,
Tom Schrijvers
KU Leuven
,
Bruno C. d. S. Oliveira
University of Hong Kong
,
Georgios Karachalias
Tweag
22:20
40m
Poster
Precise Inference of Expressive Units of Measurement Types
OOPSLA
Posters
Tongtong Xiang
University of Waterloo
,
Jeff Y. Luo
University of Waterloo
,
Werner Dietl
University of Waterloo
22:20
40m
Poster
Guided Linking: Dynamic Linking Without the Costs
OOPSLA
Posters
Sean Bartell
University of Illinois at Urbana-Champaign
,
Will Dietz
University of Illinois at Urbana-Champaign
,
Vikram S. Adve
University of Illinois at Urbana-Champaign
22:20
40m
Poster
Scaling Exact Inference for Discrete Probabilistic Programs
OOPSLA
Posters
Steven Holtzen
University of California at Los Angeles
,
Guy Van den Broeck
University of California at Los Angeles
,
Todd Millstein
University of California, Los Angeles
Tue 17 Nov
Displayed time zone:
Central Time (US & Canada)
change
12:20 - 13:00
Student Research Competition Posters
Student Research Competition
at
SPLASH-VII
+12h
12:20
40m
Poster
Design and Implementation of a Gradual Verifier
Student Research Competition
Mona Zhang
Columbia University
,
Jacob Gorenburg
Haverford College
Link to publication
File Attached
12:20
40m
Poster
A Software Library Model for the Internet of Things
Student Research Competition
Ian McCormack
University of Wisconsin-Eau Claire
Link to publication
12:20
40m
Poster
Machine Learning to Ease Understanding of Data Driven Compiler Optimizations
Student Research Competition
Raphael Mosaner
Johannes Kepler University Linz
12:20
40m
Poster
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Student Research Competition
Sangheon Choi
Rose-Hulman Institute of Technology
Link to publication
12:20
40m
Poster
SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems
Student Research Competition
Gahwon Lee
The University of Texas at Austin
Link to publication
12:20
40m
Poster
Psamathe: A DSL for Safe Blockchain Assets
Student Research Competition
Reed Oei
University of Illinois at Urbana-Champaign
Link to publication
12:20
40m
Poster
Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions
Student Research Competition
Vitaly Romanov
Innopolis University
Link to publication
12:20
40m
Poster
Detecting Performance Patterns with Deep Learning
Student Research Competition
Sophia Kolak
Columbia University/Carnegie Mellon University
Link to publication
12:20
40m
Poster
SOAR: Synthesis for Open-Source API Refactoring
Student Research Competition
Aidan Z.H. Yang
Queen's University / Carnegie Mellon University
Link to publication
Wed 18 Nov
Displayed time zone:
Central Time (US & Canada)
change
00:20 - 01:00
Student Research Competition Posters Mirror
Student Research Competition
at
SPLASH-VII
00:20
40m
Poster
Design and Implementation of a Gradual Verifier
Student Research Competition
Mona Zhang
Columbia University
,
Jacob Gorenburg
Haverford College
Link to publication
File Attached
00:20
40m
Poster
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Student Research Competition
Sangheon Choi
Rose-Hulman Institute of Technology
Link to publication
00:20
40m
Poster
Psamathe: A DSL for Safe Blockchain Assets
Student Research Competition
Reed Oei
University of Illinois at Urbana-Champaign
Link to publication
00:20
40m
Poster
SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems
Student Research Competition
Gahwon Lee
The University of Texas at Austin
Link to publication
00:20
40m
Poster
A Software Library Model for the Internet of Things
Student Research Competition
Ian McCormack
University of Wisconsin-Eau Claire
Link to publication
00:20
40m
Poster
Machine Learning to Ease Understanding of Data Driven Compiler Optimizations
Student Research Competition
Raphael Mosaner
Johannes Kepler University Linz
00:20
40m
Poster
Detecting Performance Patterns with Deep Learning
Student Research Competition
Sophia Kolak
Columbia University/Carnegie Mellon University
Link to publication
00:20
40m
Poster
SOAR: Synthesis for Open-Source API Refactoring
Student Research Competition
Aidan Z.H. Yang
Queen's University / Carnegie Mellon University
Link to publication
00:20
40m
Poster
Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions
Student Research Competition
Vitaly Romanov
Innopolis University
Link to publication
Sun 15 Nov
Displayed time zone:
Central Time (US & Canada)
change
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
18:00
30
19:00
30
20:00
30
SPLASH-VII
Posters
Posters Session 1
Posters
Posters Session 1 Mirror
Mon 16 Nov
Displayed time zone:
Central Time (US & Canada)
change
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
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
SPLASH-VII
Posters
Posters Session 2
Posters
Posters Session 2 Mirror
Tue 17 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
12:00
30
SPLASH-VII
Student Research Competition
Student Research Competition Posters
Wed 18 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
0:00
30
SPLASH-VII
Student Research Competition
Student Research Competition Posters Mirror
Sun 15 Nov
Displayed time zone:
Central Time (US & Canada)
change
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
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
SPLASH-VII
SPLASH Posters
OOPSLA
Formulog: Datalog for SMT-based Static Analysis
08:20 - 09:00
Onward! Papers
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
08:20 - 09:00
ECOOP
Row and Bounded Polymorphism via Disjoint Polymorphism
08:20 - 09:00
OOPSLA
Gradual Verification of Recursive Heap Data Structures
08:20 - 09:00
OOPSLA
Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checke ...
08:20 - 09:00
ECOOP
Owicki-Gries Reasoning for C11 RAR
08:20 - 09:00
Onward! Papers
Demystifying Dependence
08:20 - 09:00
OOPSLA
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, A ...
08:20 - 09:00
ECOOP
Multiparty Session Programming with Global Protocol Combinators
08:20 - 09:00
ECOOP
Static Race Detection and Mutex Safety and Liveness for Go Programs
08:20 - 09:00
OOPSLA
CAMP: Cost-Aware Multiparty Session Protocols
08:20 - 09:00
Onward! Papers
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
08:20 - 09:00
OOPSLA
On the Unusual Effectiveness of Type-aware Operator Mutations for Testi ...
08:20 - 09:00
ECOOP
Reshape Your Layouts, Not Your Programs: A Safe Language Extension for ...
08:20 - 09:00
ECOOP
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
08:20 - 09:00
OOPSLA
Geometry Types for Graphics Programming
08:20 - 09:00
SPLASH Posters
Onward! Papers
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
20:20 - 21:00
ECOOP
Static Race Detection and Mutex Safety and Liveness for Go Programs
20:20 - 21:00
OOPSLA
On the Unusual Effectiveness of Type-aware Operator Mutations for Testi ...
20:20 - 21:00
ECOOP
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
20:20 - 21:00
OOPSLA
Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checke ...
20:20 - 21:00
Onward! Papers
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
20:20 - 21:00
OOPSLA
CAMP: Cost-Aware Multiparty Session Protocols
20:20 - 21:00
ECOOP
Owicki-Gries Reasoning for C11 RAR
20:20 - 21:00
OOPSLA
Formulog: Datalog for SMT-based Static Analysis
20:20 - 21:00
Onward! Papers
Demystifying Dependence
20:20 - 21:00
ECOOP
Row and Bounded Polymorphism via Disjoint Polymorphism
20:20 - 21:00
ECOOP
Reshape Your Layouts, Not Your Programs: A Safe Language Extension for ...
20:20 - 21:00
OOPSLA
Gradual Verification of Recursive Heap Data Structures
20:20 - 21:00
ECOOP
Multiparty Session Programming with Global Protocol Combinators
20:20 - 21:00
OOPSLA
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, A ...
20:20 - 21:00
OOPSLA
Geometry Types for Graphics Programming
20:20 - 21:00
Mon 16 Nov
Displayed time zone:
Central Time (US & Canada)
change
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
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
SPLASH-VII
SPLASH Posters
OOPSLA
Resolution as Intersection Subtyping via Modus Ponens
10:20 - 11:00
OOPSLA
Macros For Domain-Specific Languages
10:20 - 11:00
OOPSLA
Precise Inference of Expressive Units of Measurement Types
10:20 - 11:00
OOPSLA
Guiding Dynamic Programing via Structural Probability for Accelerating ...
10:20 - 11:00
OOPSLA
A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
10:20 - 11:00
OOPSLA
Learning Semantic Program Embeddings with Graph Interval Neural Network
10:20 - 11:00
OOPSLA
Statically Verified Refinements for Multiparty Protocols
10:20 - 11:00
OOPSLA
Towards a Formal Foundation of Intermittent Computing
10:20 - 11:00
OOPSLA
Incremental Predicate Analysis for Regression Verification
10:20 - 11:00
OOPSLA
StreamQL: A Query Language for Processing Streaming Time Series
10:20 - 11:00
OOPSLA
SATUNE: Synthesizing Efficient SAT Encoders
10:20 - 11:00
OOPSLA
Scaling Exact Inference for Discrete Probabilistic Programs
10:20 - 11:00
OOPSLA
Certified and Efficient Instruction Scheduling
10:20 - 11:00
OOPSLA
Revisiting Iso-Recursive Subtyping
10:20 - 11:00
OOPSLA
Guided Linking: Dynamic Linking Without the Costs
10:20 - 11:00
OOPSLA
Unifying Execution of Imperative Generators and Declarative Specifications
10:20 - 11:00
OOPSLA
CompCertELF: Verified Separate Compilation of C Programs into ELF Objec ...
10:20 - 11:00
SPLASH Posters
OOPSLA
Learning Semantic Program Embeddings with Graph Interval Neural Network
22:20 - 23:00
OOPSLA
Towards a Formal Foundation of Intermittent Computing
22:20 - 23:00
OOPSLA
StreamQL: A Query Language for Processing Streaming Time Series
22:20 - 23:00
OOPSLA
Incremental Predicate Analysis for Regression Verification
22:20 - 23:00
OOPSLA
SATUNE: Synthesizing Efficient SAT Encoders
22:20 - 23:00
OOPSLA
A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
22:20 - 23:00
OOPSLA
Unifying Execution of Imperative Generators and Declarative Specifications
22:20 - 23:00
OOPSLA
Statically Verified Refinements for Multiparty Protocols
22:20 - 23:00
OOPSLA
Guiding Dynamic Programing via Structural Probability for Accelerating ...
22:20 - 23:00
OOPSLA
Revisiting Iso-Recursive Subtyping
22:20 - 23:00
OOPSLA
Macros For Domain-Specific Languages
22:20 - 23:00
OOPSLA
CompCertELF: Verified Separate Compilation of C Programs into ELF Objec ...
22:20 - 23:00
OOPSLA
Certified and Efficient Instruction Scheduling
22:20 - 23:00
OOPSLA
Resolution as Intersection Subtyping via Modus Ponens
22:20 - 23:00
OOPSLA
Precise Inference of Expressive Units of Measurement Types
22:20 - 23:00
OOPSLA
Guided Linking: Dynamic Linking Without the Costs
22:20 - 23:00
OOPSLA
Scaling Exact Inference for Discrete Probabilistic Programs
22:20 - 23:00
Tue 17 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
12:00
15
30
45
SPLASH-VII
SPLASH Student Research Competition
Design and Implementation of a Gradual Verifier
12:20 - 13:00
A Software Library Model for the Internet of Things
12:20 - 13:00
Machine Learning to Ease Understanding of Data Driven Compiler Optimiza ...
12:20 - 13:00
Consolidation: A Technique for Improving Permissiveness of Human-Machin ...
12:20 - 13:00
SASIL: A Domain-Specific Language for Simulating Declarative Specificat ...
12:20 - 13:00
Psamathe: A DSL for Safe Blockchain Assets
12:20 - 13:00
Evaluating Importance of Edge Types when Using Graph Neural Network for ...
12:20 - 13:00
Detecting Performance Patterns with Deep Learning
12:20 - 13:00
SOAR: Synthesis for Open-Source API Refactoring
12:20 - 13:00
Wed 18 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
0:00
15
30
45
SPLASH-VII
SPLASH Student Research Competition
Design and Implementation of a Gradual Verifier
00:20 - 01:00
Consolidation: A Technique for Improving Permissiveness of Human-Machin ...
00:20 - 01:00
Psamathe: A DSL for Safe Blockchain Assets
00:20 - 01:00
SASIL: A Domain-Specific Language for Simulating Declarative Specificat ...
00:20 - 01:00
A Software Library Model for the Internet of Things
00:20 - 01:00
Machine Learning to Ease Understanding of Data Driven Compiler Optimiza ...
00:20 - 01:00
Detecting Performance Patterns with Deep Learning
00:20 - 01:00
SOAR: Synthesis for Open-Source API Refactoring
00:20 - 01:00
Evaluating Importance of Edge Types when Using Graph Neural Network for ...
00:20 - 01:00
x
Mon 14 Oct 11:20