JSTools 2020
Mon 13 - Fri 17 July 2020
Online Conference
co-located with
ECOOP 2020
Toggle navigation
Attending
Venue: Online
Program
Complete Program
Your Program
Mon 13 Jul
Tue 14 Jul
Wed 15 Jul
Thu 16 Jul
Fri 17 Jul
Track/Call
Organization
JSTools 2020 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
JSTools 2020
JSTools 2017
JSTools 2016
JSTools 2015
Sign in
Sign up
SPLASH 2020
(
series
) /
ECOOP 2020
(
series
) /
JSTools 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-05:00) Central Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Central Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
SPLASH Posters
at
SPLASH-VII
+12h
08:20
40m
Poster
Formulog: Datalog for SMT-based Static Analysis
OOPSLA
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH Posters
Julia Gabet
Imperial College London
,
Nobuko Yoshida
Imperial College London
08:20
40m
Poster
CAMP: Cost-Aware Multiparty Session Protocols
OOPSLA
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH Posters
at
SPLASH-VII
20:20
40m
Poster
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Onward! Papers
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH Posters
David Castro-Perez
Imperial College London
,
Nobuko Yoshida
Imperial College London
20:20
40m
Poster
Owicki-Gries Reasoning for C11 RAR
ECOOP
SPLASH 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
SPLASH Posters
Aaron Bembenek
Harvard University
,
Michael Greenberg
Pomona College
,
Stephen Chong
Harvard University
20:20
40m
Poster
Demystifying Dependence
Onward! Papers
SPLASH Posters
James Koppel
MIT
,
Daniel Jackson
MIT
20:20
40m
Poster
Row and Bounded Polymorphism via Disjoint Polymorphism
ECOOP
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH Posters
at
SPLASH-VII
+12h
10:20
40m
Poster
Resolution as Intersection Subtyping via Modus Ponens
OOPSLA
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH Posters
Lingkun Kong
Rice University
,
Konstantinos Mamouras
Rice University
10:20
40m
Poster
SATUNE: Synthesizing Efficient SAT Encoders
OOPSLA
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH Posters
at
SPLASH-VII
22:20
40m
Poster
Learning Semantic Program Embeddings with Graph Interval Neural Network
OOPSLA
SPLASH 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
SPLASH 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
SPLASH Posters
Lingkun Kong
Rice University
,
Konstantinos Mamouras
Rice University
22:20
40m
Poster
Incremental Predicate Analysis for Regression Verification
OOPSLA
SPLASH Posters
Qianshan Yu
Tsinghua University
,
Fei He
Tsinghua University
,
Bow-Yaw Wang
Academia Sinica
22:20
40m
Poster
SATUNE: Synthesizing Efficient SAT Encoders
OOPSLA
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH Student Research Competition
at
SPLASH-VII
+12h
12:20
40m
Poster
Design and Implementation of a Gradual Verifier
SPLASH 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
SPLASH 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
SPLASH Student Research Competition
Raphael Mosaner
Johannes Kepler University Linz
12:20
40m
Poster
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH Student Research Competition
Vitaly Romanov
Innopolis University
Link to publication
12:20
40m
Poster
Detecting Performance Patterns with Deep Learning
SPLASH Student Research Competition
Sophia Kolak
Columbia University/Carnegie Mellon University
Link to publication
12:20
40m
Poster
SOAR: Synthesis for Open-Source API Refactoring
SPLASH 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
SPLASH Student Research Competition
at
SPLASH-VII
00:20
40m
Poster
Design and Implementation of a Gradual Verifier
SPLASH 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
SPLASH Student Research Competition
Sangheon Choi
Rose-Hulman Institute of Technology
Link to publication
00:20
40m
Poster
Psamathe: A DSL for Safe Blockchain Assets
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH Student Research Competition
Raphael Mosaner
Johannes Kepler University Linz
00:20
40m
Poster
Detecting Performance Patterns with Deep Learning
SPLASH Student Research Competition
Sophia Kolak
Columbia University/Carnegie Mellon University
Link to publication
00:20
40m
Poster
SOAR: Synthesis for Open-Source API Refactoring
SPLASH 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
SPLASH 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
SPLASH Posters
Posters Session 1
SPLASH 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
SPLASH Posters
Posters Session 2
SPLASH Posters
Posters Session 2 Mirror
Tue 17 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
12:00
30
SPLASH-VII
SPLASH Student Research Competition
Student Research Competition Posters
Wed 18 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
0:00
30
SPLASH-VII
SPLASH 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
Wed 14 Aug 22:37