ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
VenueOnline
Room nameSPLASH-VII
Room InformationNo extra information available
Program

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

Conference Day
Sun 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 BembenekHarvard University, Michael GreenbergPomona College, Stephen ChongHarvard University
08:20
40m
Poster
Analogy-Making as a Core Primitive in the Software Engineering ToolboxOnward! Papers
SPLASH Posters
Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis
08:20
40m
Poster
Row and Bounded Polymorphism via Disjoint PolymorphismECOOP
SPLASH Posters
Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuan BiThe University of Hong Kong, Tom SchrijversKU Leuven
08:20
40m
Poster
Gradual Verification of Recursive Heap Data StructuresOOPSLA
SPLASH Posters
Jenna WiseCarnegie Mellon University, Johannes BaderJane Street, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie 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 RouvoetDelft University of Technology, Hendrik van AntwerpenDelft University of Technology, Casper Bach PoulsenDelft University of Technology, Robbert KrebbersRadboud University Nijmegen, Eelco VisserDelft University of Technology
08:20
40m
Poster
Owicki-Gries Reasoning for C11 RARECOOP
SPLASH Posters
Sadegh DalvandiUniversity of Surrey, Simon DohertyUniversity of Sheffield, Brijesh DongolUniversity of Surrey, Heike WehrheimPaderborn University
08:20
40m
Poster
Demystifying DependenceOnward! Papers
SPLASH Posters
08:20
40m
Poster
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in ObsidianOOPSLA
SPLASH Posters
Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
08:20
40m
Poster
Multiparty Session Programming with Global Protocol CombinatorsECOOP
SPLASH Posters
Keigo ImaiGifu University, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London, Shoji YuenNagoya University
08:20
40m
Poster
Static Race Detection and Mutex Safety and Liveness for Go ProgramsECOOP
SPLASH Posters
Julia GabetImperial College London, Nobuko YoshidaImperial College London
08:20
40m
Poster
CAMP: Cost-Aware Multiparty Session ProtocolsOOPSLA
SPLASH Posters
David Castro-PerezImperial College London, Nobuko YoshidaImperial College London
08:20
40m
Poster
A Case Study in Language-Based Security: Building an I/O Library for WyvernOnward! Papers
SPLASH Posters
Jennifer FishCarnegie Mellon University, Darya MelicherGoogle, Jonathan AldrichCarnegie Mellon University
08:20
40m
Poster
On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT SolversOOPSLA
SPLASH Posters
Dominik WintererETH Zurich, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich
08:20
40m
Poster
Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache LocalityECOOP
SPLASH Posters
Alexandros TasosImperial College London, Juliana Franco, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Sweden, Susan EisenbachImperial College London
08:20
40m
Poster
A Type-Directed Operational Semantics for a Calculus with a Merge OperatorECOOP
SPLASH Posters
Xuejing HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
08:20
40m
Poster
Geometry Types for Graphics ProgrammingOOPSLA
SPLASH Posters
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCarnegie Mellon University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell 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 SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis
20:20
40m
Poster
Static Race Detection and Mutex Safety and Liveness for Go ProgramsECOOP
SPLASH Posters
Julia GabetImperial College London, Nobuko YoshidaImperial College London
20:20
40m
Poster
On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT SolversOOPSLA
SPLASH Posters
Dominik WintererETH Zurich, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich
20:20
40m
Poster
A Type-Directed Operational Semantics for a Calculus with a Merge OperatorECOOP
SPLASH Posters
Xuejing HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity 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 RouvoetDelft University of Technology, Hendrik van AntwerpenDelft University of Technology, Casper Bach PoulsenDelft University of Technology, Robbert KrebbersRadboud University Nijmegen, Eelco VisserDelft 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 FishCarnegie Mellon University, Darya MelicherGoogle, Jonathan AldrichCarnegie Mellon University
20:20
40m
Poster
CAMP: Cost-Aware Multiparty Session ProtocolsOOPSLA
SPLASH Posters
David Castro-PerezImperial College London, Nobuko YoshidaImperial College London
20:20
40m
Poster
Owicki-Gries Reasoning for C11 RARECOOP
SPLASH Posters
Sadegh DalvandiUniversity of Surrey, Simon DohertyUniversity of Sheffield, Brijesh DongolUniversity of Surrey, Heike WehrheimPaderborn University
20:20
40m
Poster
Formulog: Datalog for SMT-based Static AnalysisOOPSLA
SPLASH Posters
Aaron BembenekHarvard University, Michael GreenbergPomona College, Stephen ChongHarvard University
20:20
40m
Poster
Demystifying DependenceOnward! Papers
SPLASH Posters
20:20
40m
Poster
Row and Bounded Polymorphism via Disjoint PolymorphismECOOP
SPLASH Posters
Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuan BiThe University of Hong Kong, Tom SchrijversKU Leuven
20:20
40m
Poster
Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache LocalityECOOP
SPLASH Posters
Alexandros TasosImperial College London, Juliana Franco, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Sweden, Susan EisenbachImperial College London
20:20
40m
Poster
Gradual Verification of Recursive Heap Data StructuresOOPSLA
SPLASH Posters
Jenna WiseCarnegie Mellon University, Johannes BaderJane Street, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
20:20
40m
Poster
Multiparty Session Programming with Global Protocol CombinatorsECOOP
SPLASH Posters
Keigo ImaiGifu University, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London, Shoji YuenNagoya University
20:20
40m
Poster
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in ObsidianOOPSLA
SPLASH Posters
Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
20:20
40m
Poster
Geometry Types for Graphics ProgrammingOOPSLA
SPLASH Posters
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCarnegie Mellon University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University

Conference Day
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 MarntirosianKU Leuven, Tom SchrijversKU Leuven, Bruno C. d. S. OliveiraUniversity of Hong Kong, Georgios KarachaliasTweag
10:20
40m
Poster
Macros For Domain-Specific LanguagesOOPSLA
SPLASH Posters
Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University
10:20
40m
Poster
Precise Inference of Expressive Units of Measurement TypesOOPSLA
SPLASH Posters
Tongtong XiangUniversity of Waterloo, Jeff Y. LuoUniversity of Waterloo, Werner DietlUniversity of Waterloo
10:20
40m
Poster
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by ExampleOOPSLA
SPLASH Posters
Ruyi JiPeking University, Yican SunPeking University, Yingfei XiongPeking University, Zhenjiang HuPeking University
10:20
40m
Poster
A Sparse Iteration Space Transformation Framework for Sparse Tensor AlgebraOOPSLA
SPLASH Posters
Ryan SenanayakeReservoir Labs, Changwan HongMassachusetts Institute of Technology, Ziheng WangMassachusetts Institute of Technology, Amalee WilsonStanford University, Stephen ChouMassachusetts Institute of Technology, Shoaib KamilAdobe Research, Saman AmarasingheMassachusetts Institute of Technology, Fredrik KjolstadStanford University
DOI Pre-print Media Attached File Attached
10:20
40m
Poster
Learning Semantic Program Embeddings with Graph Interval Neural NetworkOOPSLA
SPLASH Posters
Yu WangNanjing University, China, Ke WangVisa Research, Fengjuan GaoNanjing University, Linzhang WangNanjing University
10:20
40m
Poster
Statically Verified Refinements for Multiparty ProtocolsOOPSLA
SPLASH Posters
Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Raymond HuUniversity of Hertfordshire, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London
10:20
40m
Poster
Towards a Formal Foundation of Intermittent ComputingOOPSLA
SPLASH Posters
Milijana SurbatovichCarnegie Mellon University, Brandon LuciaCarnegie Mellon University, Limin JiaCarnegie Mellon University
10:20
40m
Poster
Incremental Predicate Analysis for Regression VerificationOOPSLA
SPLASH Posters
Qianshan YuTsinghua University, Fei HeTsinghua University, Bow-Yaw WangAcademia Sinica
10:20
40m
Poster
StreamQL: A Query Language for Processing Streaming Time SeriesOOPSLA
SPLASH Posters
Lingkun KongRice University, Konstantinos MamourasRice University
10:20
40m
Poster
SATUNE: Synthesizing Efficient SAT EncodersOOPSLA
SPLASH Posters
Hamed GorjiaraUniversity of California at Irvine, Guoqing Harry XuUniversity of California at Los Angeles, Brian DemskyUniversity of California at Irvine
10:20
40m
Poster
Scaling Exact Inference for Discrete Probabilistic ProgramsOOPSLA
SPLASH Posters
Steven HoltzenUniversity of California at Los Angeles, Guy Van den BroeckUniversity of California at Los Angeles, Todd MillsteinUniversity 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 SixKalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, David MonniauxGrenoble Alps University / CNRS / Grenoble INP / VERIMAG
10:20
40m
Poster
Revisiting Iso-Recursive SubtypingOOPSLA
SPLASH Posters
Yaoda ZhouUniversity of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Jinxu ZhaoUniversity of Hong Kong
10:20
40m
Poster
Guided Linking: Dynamic Linking Without the CostsOOPSLA
SPLASH Posters
Sean BartellUniversity of Illinois at Urbana-Champaign, Will DietzUniversity of Illinois at Urbana-Champaign, Vikram S. AdveUniversity of Illinois at Urbana-Champaign
10:20
40m
Poster
Unifying Execution of Imperative Generators and Declarative SpecificationsOOPSLA
SPLASH Posters
Pengyu NieUniversity of Texas at Austin, Marinela ParovicUniversity of Texas at Austin, Zhiqiang ZangUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin, Aleksandar MilicevicMicrosoft, Milos GligoricUniversity of Texas at Austin
10:20
40m
Poster
CompCertELF: Verified Separate Compilation of C Programs into ELF Object FilesOOPSLA
SPLASH Posters
Yuting WangShanghai Jiao Tong University, Xiangzhe XuNanjing University, Pierre WilkeCentraleSupélec, Zhong ShaoYale 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 WangNanjing University, China, Ke WangVisa Research, Fengjuan GaoNanjing University, Linzhang WangNanjing University
22:20
40m
Poster
Towards a Formal Foundation of Intermittent ComputingOOPSLA
SPLASH Posters
Milijana SurbatovichCarnegie Mellon University, Brandon LuciaCarnegie Mellon University, Limin JiaCarnegie Mellon University
22:20
40m
Poster
StreamQL: A Query Language for Processing Streaming Time SeriesOOPSLA
SPLASH Posters
Lingkun KongRice University, Konstantinos MamourasRice University
22:20
40m
Poster
Incremental Predicate Analysis for Regression VerificationOOPSLA
SPLASH Posters
Qianshan YuTsinghua University, Fei HeTsinghua University, Bow-Yaw WangAcademia Sinica
22:20
40m
Poster
SATUNE: Synthesizing Efficient SAT EncodersOOPSLA
SPLASH Posters
Hamed GorjiaraUniversity of California at Irvine, Guoqing Harry XuUniversity of California at Los Angeles, Brian DemskyUniversity of California at Irvine
22:20
40m
Poster
A Sparse Iteration Space Transformation Framework for Sparse Tensor AlgebraOOPSLA
SPLASH Posters
Ryan SenanayakeReservoir Labs, Changwan HongMassachusetts Institute of Technology, Ziheng WangMassachusetts Institute of Technology, Amalee WilsonStanford University, Stephen ChouMassachusetts Institute of Technology, Shoaib KamilAdobe Research, Saman AmarasingheMassachusetts Institute of Technology, Fredrik KjolstadStanford University
DOI Pre-print Media Attached File Attached
22:20
40m
Poster
Unifying Execution of Imperative Generators and Declarative SpecificationsOOPSLA
SPLASH Posters
Pengyu NieUniversity of Texas at Austin, Marinela ParovicUniversity of Texas at Austin, Zhiqiang ZangUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin, Aleksandar MilicevicMicrosoft, Milos GligoricUniversity of Texas at Austin
22:20
40m
Poster
Statically Verified Refinements for Multiparty ProtocolsOOPSLA
SPLASH Posters
Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Raymond HuUniversity of Hertfordshire, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London
22:20
40m
Poster
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by ExampleOOPSLA
SPLASH Posters
Ruyi JiPeking University, Yican SunPeking University, Yingfei XiongPeking University, Zhenjiang HuPeking University
22:20
40m
Poster
Revisiting Iso-Recursive SubtypingOOPSLA
SPLASH Posters
Yaoda ZhouUniversity of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Jinxu ZhaoUniversity of Hong Kong
22:20
40m
Poster
Macros For Domain-Specific LanguagesOOPSLA
SPLASH Posters
Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University
22:20
40m
Poster
CompCertELF: Verified Separate Compilation of C Programs into ELF Object FilesOOPSLA
SPLASH Posters
Yuting WangShanghai Jiao Tong University, Xiangzhe XuNanjing University, Pierre WilkeCentraleSupélec, Zhong ShaoYale University
22:20
40m
Poster
Certified and Efficient Instruction SchedulingOOPSLA
SPLASH Posters
Sylvain BoulméGrenoble Alps University / CNRS / Grenoble INP / VERIMAG, Cyril SixKalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, David MonniauxGrenoble Alps University / CNRS / Grenoble INP / VERIMAG
22:20
40m
Poster
Resolution as Intersection Subtyping via Modus PonensOOPSLA
SPLASH Posters
Koar MarntirosianKU Leuven, Tom SchrijversKU Leuven, Bruno C. d. S. OliveiraUniversity of Hong Kong, Georgios KarachaliasTweag
22:20
40m
Poster
Precise Inference of Expressive Units of Measurement TypesOOPSLA
SPLASH Posters
Tongtong XiangUniversity of Waterloo, Jeff Y. LuoUniversity of Waterloo, Werner DietlUniversity of Waterloo
22:20
40m
Poster
Guided Linking: Dynamic Linking Without the CostsOOPSLA
SPLASH Posters
Sean BartellUniversity of Illinois at Urbana-Champaign, Will DietzUniversity of Illinois at Urbana-Champaign, Vikram S. AdveUniversity of Illinois at Urbana-Champaign
22:20
40m
Poster
Scaling Exact Inference for Discrete Probabilistic ProgramsOOPSLA
SPLASH Posters
Steven HoltzenUniversity of California at Los Angeles, Guy Van den BroeckUniversity of California at Los Angeles, Todd MillsteinUniversity of California, Los Angeles

Conference Day
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 ZhangColumbia University, Jacob GorenburgHaverford College
Link to publication File Attached
12:20
40m
Poster
A Software Library Model for the Internet of Things
SPLASH Student Research Competition
Ian C. McCormackUniversity 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 MosanerJohannes Kepler University Linz
12:20
40m
Poster
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
SPLASH Student Research Competition
Sang Heon ChoiRose-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 LeeThe University of Texas at Austin
Link to publication
12:20
40m
Poster
Psamathe: A DSL for Safe Blockchain Assets
SPLASH Student Research Competition
Reed OeiUniversity 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 RomanovInnopolis University
Link to publication
12:20
40m
Poster
Detecting Performance Patterns with Deep Learning
SPLASH Student Research Competition
Sophia KolakColumbia 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. YangQueen's University / Carnegie Mellon University
Link to publication

Conference Day
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 ZhangColumbia University, Jacob GorenburgHaverford College
Link to publication File Attached
00:20
40m
Poster
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
SPLASH Student Research Competition
Sang Heon ChoiRose-Hulman Institute of Technology
Link to publication
00:20
40m
Poster
Psamathe: A DSL for Safe Blockchain Assets
SPLASH Student Research Competition
Reed OeiUniversity 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 LeeThe 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 C. McCormackUniversity 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 MosanerJohannes Kepler University Linz
00:20
40m
Poster
Detecting Performance Patterns with Deep Learning
SPLASH Student Research Competition
Sophia KolakColumbia 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. YangQueen'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 RomanovInnopolis University
Link to publication

Conference Day
Sun 15 Nov

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
SPLASH-VII

Conference Day
Mon 16 Nov

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

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
SPLASH-VII

Conference Day
Tue 17 Nov

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

Conference Day
Wed 18 Nov

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

Conference Day
Sun 15 Nov

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
SPLASH-VII

Conference Day
Mon 16 Nov

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
SPLASH-VII