SPLASH-VII - TAPAS 2020

VenueOnline

Room nameSPLASH-VII

Room InformationNo extra information available

Program

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

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

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 1SPLASH Posters at SPLASH-VII +12h

08:20 40m Poster		Formulog: Datalog for SMT-based Static AnalysisOOPSLA 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 ToolboxOnward! 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 PolymorphismECOOP 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 StructuresOOPSLA 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 SpecificationsOOPSLA 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 RARECOOP 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 DependenceOnward! 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 ObsidianOOPSLA 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 CombinatorsECOOP 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 ProgramsECOOP SPLASH Posters Julia Gabet Imperial College London, Nobuko Yoshida Imperial College London
08:20 40m Poster		CAMP: Cost-Aware Multiparty Session ProtocolsOOPSLA 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 WyvernOnward! 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 SolversOOPSLA 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 LocalityECOOP 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 OperatorECOOP 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 ProgrammingOOPSLA 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 MirrorSPLASH Posters at SPLASH-VII

20:20 40m Poster		Analogy-Making as a Core Primitive in the Software Engineering ToolboxOnward! 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 ProgramsECOOP 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 SolversOOPSLA 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 OperatorECOOP 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 SpecificationsOOPSLA 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 WyvernOnward! 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 ProtocolsOOPSLA SPLASH Posters David Castro-Perez Imperial College London, Nobuko Yoshida Imperial College London
20:20 40m Poster		Owicki-Gries Reasoning for C11 RARECOOP 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 AnalysisOOPSLA SPLASH Posters Aaron Bembenek Harvard University, Michael Greenberg Pomona College, Stephen Chong Harvard University
20:20 40m Poster		Demystifying DependenceOnward! Papers SPLASH Posters James Koppel MIT, Daniel Jackson MIT
20:20 40m Poster		Row and Bounded Polymorphism via Disjoint PolymorphismECOOP 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 LocalityECOOP 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 StructuresOOPSLA 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 CombinatorsECOOP 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 ObsidianOOPSLA 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 ProgrammingOOPSLA 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 2SPLASH Posters at SPLASH-VII +12h

10:20 40m Poster		Resolution as Intersection Subtyping via Modus PonensOOPSLA 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 LanguagesOOPSLA 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 TypesOOPSLA 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 ExampleOOPSLA 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 AlgebraOOPSLA 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 NetworkOOPSLA 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 ProtocolsOOPSLA 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 ComputingOOPSLA 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 VerificationOOPSLA 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 SeriesOOPSLA SPLASH Posters Lingkun Kong Rice University, Konstantinos Mamouras Rice University
10:20 40m Poster		SATUNE: Synthesizing Efficient SAT EncodersOOPSLA 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 ProgramsOOPSLA 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 SchedulingOOPSLA 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 SubtypingOOPSLA 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 CostsOOPSLA 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 SpecificationsOOPSLA 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 FilesOOPSLA 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 MirrorSPLASH Posters at SPLASH-VII

22:20 40m Poster		Learning Semantic Program Embeddings with Graph Interval Neural NetworkOOPSLA 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 ComputingOOPSLA 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 SeriesOOPSLA SPLASH Posters Lingkun Kong Rice University, Konstantinos Mamouras Rice University
22:20 40m Poster		Incremental Predicate Analysis for Regression VerificationOOPSLA SPLASH Posters Qianshan Yu Tsinghua University, Fei He Tsinghua University, Bow-Yaw Wang Academia Sinica
22:20 40m Poster		SATUNE: Synthesizing Efficient SAT EncodersOOPSLA 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 AlgebraOOPSLA 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 SpecificationsOOPSLA 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 ProtocolsOOPSLA 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 ExampleOOPSLA 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 SubtypingOOPSLA 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 LanguagesOOPSLA 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 FilesOOPSLA 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 SchedulingOOPSLA 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 PonensOOPSLA 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 TypesOOPSLA 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 CostsOOPSLA 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 ProgramsOOPSLA 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 PostersSPLASH 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 MirrorSPLASH 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 PostersOOPSLA 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 PostersOnward! 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 PostersOOPSLA 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 PostersOOPSLA 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

Room information: SPLASH-VII

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

Tue 17 Nov
Displayed time zone: Central Time (US & Canada) change

Wed 18 Nov
Displayed time zone: Central Time (US & Canada) change

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

SPLASH Posters

SPLASH Posters

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

SPLASH Posters

SPLASH Posters

Tue 17 Nov
Displayed time zone: Central Time (US & Canada) change

SPLASH Student Research Competition

Wed 18 Nov
Displayed time zone: Central Time (US & Canada) change

SPLASH Student Research Competition

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

Tue 17 Nov
Displayed time zone: Central Time (US & Canada) change

Wed 18 Nov
Displayed time zone: Central Time (US & Canada) change

Tracks

Room information: SPLASH-VII

Program Display Configuration

Sun 15 NovDisplayed time zone: Central Time (US & Canada) change

Mon 16 NovDisplayed time zone: Central Time (US & Canada) change

Tue 17 NovDisplayed time zone: Central Time (US & Canada) change

Wed 18 NovDisplayed time zone: Central Time (US & Canada) change

Sun 15 NovDisplayed time zone: Central Time (US & Canada) change

SPLASH Posters

SPLASH Posters

Mon 16 NovDisplayed time zone: Central Time (US & Canada) change

SPLASH Posters

SPLASH Posters

Tue 17 NovDisplayed time zone: Central Time (US & Canada) change

SPLASH Student Research Competition

Wed 18 NovDisplayed time zone: Central Time (US & Canada) change

SPLASH Student Research Competition

Sun 15 NovDisplayed time zone: Central Time (US & Canada) change

Mon 16 NovDisplayed time zone: Central Time (US & Canada) change

Tue 17 NovDisplayed time zone: Central Time (US & Canada) change

Wed 18 NovDisplayed time zone: Central Time (US & Canada) change

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

Tue 17 Nov
Displayed time zone: Central Time (US & Canada) change

Wed 18 Nov
Displayed time zone: Central Time (US & Canada) change

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

Tue 17 Nov
Displayed time zone: Central Time (US & Canada) change

Wed 18 Nov
Displayed time zone: Central Time (US & Canada) change

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

Tue 17 Nov
Displayed time zone: Central Time (US & Canada) change

Wed 18 Nov
Displayed time zone: Central Time (US & Canada) change