PostersSPLASH 2020
The SPLASH Posters track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties.
Call for Posters
We invite submissions of posters that are within the scope of any of the SPLASH tracks and affiliated conferences / workshops and:
- showcase ongoing work that has not yet reached sufficient maturity for publication in a conference or journal
- highlight research challenges that existing work has failed to address
- outline planned research activities (e.g., M.Sc. or Ph.D. projects) and illustrate their relevance and potential impact, or
- describe new Free / Open Source Software tools or systems that
- are aimed at practitioners, or
- are aimed at researchers and contribute to research infrastructure, i.e., enable or simplify research activities
The extended abstracts of accepted independent posters will be included in the SPLASH Companion proceedings and become available in the ACM Digital Library.
Submissions
Posters will be evaluated both on their contributions and on how effectively they communicate those contributions. All poster proposals should include ONE of the following, in PDF format:
- A two-page extended abstract in the ACM acmart Master Article Template, sigplan subformat, with 10pt font, or, alternatively
- The poster itself. Posters should consist of one or more landscape slides. Note that posters will not be included in the SPLASH Companion Proceedings, only extended abstracts.
Posters should be submitted through the hotcrp posters submission link by September 10.
Poster authors are required to attend the scheduled online poster session, staying with their poster so that they can discuss their work with conference attendees. We will provide more details on the exact format and time of the poster sessions closer to the conference.
Demonstrations
Demos offer an effective platform for explaining an idea in action. They are an excellent way to share technical aspects of designs, tools or systems that are difficult to capture with a “static” poster. At the same time, they naturally increase the level of interaction between presenters and attendees of the poster sessions and promote lively discussions.
We strongly encourage authors of accepted posters to prepare a demo of their work if applicable. Authors that intend to supplement their poster with a demo should indicate that when submitting their poster.
Posters for Papers and Essays Accepted at OOPSLA or Onward!
We encourage authors of papers and essays accepted at OOPSLA or Onward! to present a poster that summarizes their work. Such posters will not be subject to further review and they will have no separate extended abstract in the SPLASH Companion proceeding.
We do require posters (and any accompanying demos) to be registered using this separate registration form by October 20.
Poster Preparation
The SPLASH 2020 Posters track will comprise of two virtual sessions. The two sessions will take place at CLOWDR right after the keynotes on Sunday November 15 and Wednesday November 18. During each session, attendees will watch short prerecorded video presentations of the featured posters and chat live with the posters’ authors. Thus for OOPSLA and Onward! authors, the Posters track is an excellent opportunity to advertise their work and their actual paper presentation — OOPSLA alone has more than a hundred papers this year!
Besides registering your poster here, to participate in the Posters track please prepare an up to 3 minutes video presentation of your poster. The poster can consist of one or more landscape slides. If you would like to include a demo alongside your poster, your video presentation can be up to 5 minutes. Poster authors are expected to be available during the session that will feature their poster to participate in live Q&A with the audience.
In addition, please create a thumbnail that will serve as a sneak peek for your poster at CLOWDR’s “Exhibit Hall”. The picture can be up to 2MB in JPG or PNG format.
We will follow up with the details about the specs of the video and with instructions about how to submit the video and the thumbnail.
Student Submissions and Related Events
The SPLASH Posters track is a venue for researchers at any level of experience, but we explicitly welcome students to submit their in-progress work. If you are a student and considering submitting a poster, we recommend you to also explore the Doctoral Symposium and the ACM Student Research Competition. These related events are additional opportunities for feedback and suggestions on your dissertation work and may provide you with contacts for further interaction, as well as experience in communicating with other professionals.
Sun 15 Nov Times are displayed in time zone: Central Time (US & Canada) change
07:00 - 07:20 Day opening | Opening Session Opening Hridesh RajanIowa State University, USA, David GroveIBM Research, E: Christian HammerUniversity of Potsdam, E: Robert HirschfeldHasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders MøllerAarhus University |
07:20 - 08:20 Keynote | Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook Keynotes Jan VitekNortheastern University / Czech Technical University Link to publication Media Attached |
08:20 - 09:00 Other | Posters Session 1 Posters |
10:20 - 11:00 Talk | Ask Me Anything: Amal Ahmed PLMW Amal AhmedNortheastern University, USA |
12:20 - 13:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
14:20 - 15:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
16:20 - 17:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
18:20 - 19:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
19:00 - 19:20 Day opening | Opening Session Opening Hridesh RajanIowa State University, USA, David GroveIBM Research, E: Christian HammerUniversity of Potsdam, E: Robert HirschfeldHasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders MøllerAarhus University |
19:20 - 20:20 Keynote | Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook Keynotes Jan VitekNortheastern University / Czech Technical University Link to publication Media Attached |
20:20 - 21:00 Other | Posters Session 1 Posters |
22:20 - 23:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
Mon 16 Nov Times are displayed in time zone: Central Time (US & Canada) change
00:20 - 01:00 Talk | Ask Me Anything: Sriram Rajamani PLMW Sriram RajamaniMicrosoft Research |
02:20 - 03:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
04:20 - 05:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
06:20 - 07:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
08:20 - 09:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
09:00 - 10:20 Keynote | Catching More Bugs with Fewer False AlarmsAMA Keynotes Jonathan BellNortheastern University Link to publication Media Attached |
10:20 - 11:00 Poster | Posters Session 2 Posters |
10:20 - 11:00 Poster | Resolution as Intersection Subtyping via Modus PonensOOPSLA Posters Koar MarntirosianKU Leuven, Tom SchrijversKU Leuven, Bruno C. d. S. OliveiraUniversity of Hong Kong, Georgios KarachaliasTweag | ||
10:20 - 11:00 Poster | Macros For Domain-Specific LanguagesOOPSLA Posters Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University | ||
10:20 - 11:00 Poster | Precise Inference of Expressive Units of Measurement TypesOOPSLA Posters Tongtong XiangUniversity of Waterloo, Jeff Y. LuoUniversity of Waterloo, Werner DietlUniversity of Waterloo | ||
10:20 - 11:00 Poster | Guiding Dynamic Programing via Structural Probability for Accelerating Programming by ExampleOOPSLA Posters Ruyi JiPeking University, Yican SunPeking University, Yingfei XiongPeking University, Zhenjiang HuPeking University | ||
10:20 - 11:00 Poster | A Sparse Iteration Space Transformation Framework for Sparse Tensor AlgebraOOPSLA 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 - 11:00 Poster | Learning Semantic Program Embeddings with Graph Interval Neural NetworkOOPSLA Posters Yu WangNanjing University, China, Ke WangVisa Research, Fengjuan GaoNanjing University, Linzhang WangNanjing University | ||
10:20 - 11:00 Poster | Statically Verified Refinements for Multiparty ProtocolsOOPSLA Posters Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Raymond HuUniversity of Hertfordshire, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London | ||
10:20 - 11:00 Poster | Towards a Formal Foundation of Intermittent ComputingOOPSLA Posters Milijana SurbatovichCarnegie Mellon University, Brandon LuciaCarnegie Mellon University, Limin JiaCarnegie Mellon University | ||
10:20 - 11:00 Poster | Incremental Predicate Analysis for Regression VerificationOOPSLA Posters | ||
10:20 - 11:00 Poster | StreamQL: A Query Language for Processing Streaming Time SeriesOOPSLA Posters | ||
10:20 - 11:00 Poster | SATUNE: Synthesizing Efficient SAT EncodersOOPSLA Posters Hamed GorjiaraUniversity of California at Irvine, Guoqing Harry XuUniversity of California at Los Angeles, Brian DemskyUniversity of California at Irvine | ||
10:20 - 11:00 Poster | Scaling Exact Inference for Discrete Probabilistic ProgramsOOPSLA 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 - 11:00 Poster | Certified and Efficient Instruction SchedulingOOPSLA 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 - 11:00 Poster | Revisiting Iso-Recursive SubtypingOOPSLA Posters Yaoda ZhouUniversity of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Jinxu ZhaoUniversity of Hong Kong | ||
10:20 - 11:00 Poster | Guided Linking: Dynamic Linking Without the CostsOOPSLA 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 - 11:00 Poster | Unifying Execution of Imperative Generators and Declarative SpecificationsOOPSLA 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 - 11:00 Poster | CompCertELF: Verified Separate Compilation of C Programs into ELF Object FilesOOPSLA Posters Yuting WangShanghai Jiao Tong University, Xiangzhe XuNanjing University, Pierre WilkeCentraleSupélec, Zhong ShaoYale University |
12:20 - 13:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
14:20 - 15:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
16:20 - 17:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
18:20 - 19:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
20:20 - 21:00 Social Event | Meet The Speakers Meet The Speakers (MTS) |
21:00 - 22:20 Keynote | Catching More Bugs with Fewer False AlarmsAMA Keynotes Jonathan BellNortheastern University Link to publication Media Attached |
22:20 - 23:00 Poster | Posters Session 2 Posters |
22:20 - 23:00 Poster | Learning Semantic Program Embeddings with Graph Interval Neural NetworkOOPSLA Posters Yu WangNanjing University, China, Ke WangVisa Research, Fengjuan GaoNanjing University, Linzhang WangNanjing University | ||
22:20 - 23:00 Poster | Towards a Formal Foundation of Intermittent ComputingOOPSLA Posters Milijana SurbatovichCarnegie Mellon University, Brandon LuciaCarnegie Mellon University, Limin JiaCarnegie Mellon University | ||
22:20 - 23:00 Poster | StreamQL: A Query Language for Processing Streaming Time SeriesOOPSLA Posters | ||
22:20 - 23:00 Poster | Incremental Predicate Analysis for Regression VerificationOOPSLA Posters | ||
22:20 - 23:00 Poster | SATUNE: Synthesizing Efficient SAT EncodersOOPSLA Posters Hamed GorjiaraUniversity of California at Irvine, Guoqing Harry XuUniversity of California at Los Angeles, Brian DemskyUniversity of California at Irvine | ||
22:20 - 23:00 Poster | A Sparse Iteration Space Transformation Framework for Sparse Tensor AlgebraOOPSLA 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 - 23:00 Poster | Unifying Execution of Imperative Generators and Declarative SpecificationsOOPSLA 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 - 23:00 Poster | Statically Verified Refinements for Multiparty ProtocolsOOPSLA Posters Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Raymond HuUniversity of Hertfordshire, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London | ||
22:20 - 23:00 Poster | Guiding Dynamic Programing via Structural Probability for Accelerating Programming by ExampleOOPSLA Posters Ruyi JiPeking University, Yican SunPeking University, Yingfei XiongPeking University, Zhenjiang HuPeking University | ||
22:20 - 23:00 Poster | Revisiting Iso-Recursive SubtypingOOPSLA Posters Yaoda ZhouUniversity of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Jinxu ZhaoUniversity of Hong Kong | ||
22:20 - 23:00 Poster | Macros For Domain-Specific LanguagesOOPSLA Posters Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University | ||
22:20 - 23:00 Poster | CompCertELF: Verified Separate Compilation of C Programs into ELF Object FilesOOPSLA Posters Yuting WangShanghai Jiao Tong University, Xiangzhe XuNanjing University, Pierre WilkeCentraleSupélec, Zhong ShaoYale University | ||
22:20 - 23:00 Poster | Certified and Efficient Instruction SchedulingOOPSLA 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 - 23:00 Poster | Resolution as Intersection Subtyping via Modus PonensOOPSLA Posters Koar MarntirosianKU Leuven, Tom SchrijversKU Leuven, Bruno C. d. S. OliveiraUniversity of Hong Kong, Georgios KarachaliasTweag | ||
22:20 - 23:00 Poster | Precise Inference of Expressive Units of Measurement TypesOOPSLA Posters Tongtong XiangUniversity of Waterloo, Jeff Y. LuoUniversity of Waterloo, Werner DietlUniversity of Waterloo | ||
22:20 - 23:00 Poster | Guided Linking: Dynamic Linking Without the CostsOOPSLA 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 - 23:00 Poster | Scaling Exact Inference for Discrete Probabilistic ProgramsOOPSLA Posters Steven HoltzenUniversity of California at Los Angeles, Guy Van den BroeckUniversity of California at Los Angeles, Todd MillsteinUniversity of California, Los Angeles |