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 NovDisplayed time zone: Central Time (US & Canada) change
07:00 - 07:20 | |||
07:00 20mDay opening | Opening Session Opening Hridesh Rajan Iowa State University, USA, David Grove IBM Research, E: Christian Hammer University of Potsdam, E: Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders Møller Aarhus University | ||
07:20 - 08:20 | |||
07:20 60mKeynote | Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook Keynotes Jan Vitek Northeastern University / Czech Technical University Link to publication Media Attached | ||
08:20 - 09:00 | |||
08:20 40mOther | Posters Session 1 Posters | ||
10:20 - 11:00 | |||
10:20 40mTalk | Ask Me Anything: Amal Ahmed PLMW Amal Ahmed Northeastern University, USA | ||
12:20 - 13:00 | |||
12:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
14:20 - 15:00 | |||
14:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
16:20 - 17:00 | |||
16:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
18:20 - 19:00 | |||
18:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
19:00 - 19:20 | |||
19:00 20mDay opening | Opening Session Opening Hridesh Rajan Iowa State University, USA, David Grove IBM Research, E: Christian Hammer University of Potsdam, E: Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders Møller Aarhus University | ||
19:20 - 20:20 | |||
19:20 60mKeynote | Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook Keynotes Jan Vitek Northeastern University / Czech Technical University Link to publication Media Attached | ||
20:20 - 21:00 | |||
20:20 40mOther | Posters Session 1 Posters | ||
22:20 - 23:00 | |||
22:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
Mon 16 NovDisplayed time zone: Central Time (US & Canada) change
00:20 - 01:00 | |||
00:20 40mTalk | Ask Me Anything: Sriram Rajamani PLMW Sriram Rajamani Microsoft Research | ||
02:20 - 03:00 | |||
02:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
04:20 - 05:00 | |||
04:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
06:20 - 07:00 | |||
06:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
08:20 - 09:00 | |||
08:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
09:00 - 10:20 | |||
09:00 80mKeynote | Catching More Bugs with Fewer False AlarmsAMA Keynotes Jonathan Bell Northeastern University Link to publication Media Attached | ||
10:20 - 11:00 | |||
10:20 40mPoster | Posters Session 2 Posters | ||
10:20 - 11:00 | |||
10:20 40mPoster | Resolution as Intersection Subtyping via Modus PonensOOPSLA Posters Koar Marntirosian KU Leuven, Tom Schrijvers KU Leuven, Bruno C. d. S. Oliveira University of Hong Kong, Georgios Karachalias Tweag | ||
10:20 40mPoster | Macros For Domain-Specific LanguagesOOPSLA Posters Michael Ballantyne Northeastern University, Alexis King Northwestern University, Matthias Felleisen Northeastern University | ||
10:20 40mPoster | Precise Inference of Expressive Units of Measurement TypesOOPSLA Posters Tongtong Xiang University of Waterloo, Jeff Y. Luo University of Waterloo, Werner Dietl University of Waterloo | ||
10:20 40mPoster | Guiding Dynamic Programing via Structural Probability for Accelerating Programming by ExampleOOPSLA Posters Ruyi Ji Peking University, Yican Sun Peking University, Yingfei Xiong Peking University, Zhenjiang Hu Peking University | ||
10:20 40mPoster | A Sparse Iteration Space Transformation Framework for Sparse Tensor AlgebraOOPSLA 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 40mPoster | Learning Semantic Program Embeddings with Graph Interval Neural NetworkOOPSLA Posters Yu Wang Nanjing University, China, K.P. Wang Visa Research, Fengjuan Gao Nanjing University, Linzhang Wang Nanjing University | ||
10:20 40mPoster | Statically Verified Refinements for Multiparty ProtocolsOOPSLA 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 40mPoster | Towards a Formal Foundation of Intermittent ComputingOOPSLA Posters Milijana Surbatovich Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, Limin Jia Carnegie Mellon University | ||
10:20 40mPoster | Incremental Predicate Analysis for Regression VerificationOOPSLA Posters | ||
10:20 40mPoster | StreamQL: A Query Language for Processing Streaming Time SeriesOOPSLA Posters | ||
10:20 40mPoster | SATUNE: Synthesizing Efficient SAT EncodersOOPSLA 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 40mPoster | Scaling Exact Inference for Discrete Probabilistic ProgramsOOPSLA 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 40mPoster | Certified and Efficient Instruction SchedulingOOPSLA 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 40mPoster | Revisiting Iso-Recursive SubtypingOOPSLA Posters Yaoda Zhou University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Jinxu Zhao University of Hong Kong | ||
10:20 40mPoster | Guided Linking: Dynamic Linking Without the CostsOOPSLA 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 40mPoster | Unifying Execution of Imperative Generators and Declarative SpecificationsOOPSLA 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 40mPoster | CompCertELF: Verified Separate Compilation of C Programs into ELF Object FilesOOPSLA Posters Yuting Wang Shanghai Jiao Tong University, Xiangzhe Xu Nanjing University, Pierre Wilke CentraleSupélec, Zhong Shao Yale University | ||
12:20 - 13:00 | |||
12:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
14:20 - 15:00 | |||
14:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
16:20 - 17:00 | |||
16:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
18:20 - 19:00 | |||
18:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
20:20 - 21:00 | |||
20:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
21:00 - 22:20 | |||
21:00 80mKeynote | Catching More Bugs with Fewer False AlarmsAMA Keynotes Jonathan Bell Northeastern University Link to publication Media Attached | ||
22:20 - 23:00 | |||
22:20 40mPoster | Posters Session 2 Posters | ||
22:20 - 23:00 | |||
22:20 40mPoster | Learning Semantic Program Embeddings with Graph Interval Neural NetworkOOPSLA Posters Yu Wang Nanjing University, China, K.P. Wang Visa Research, Fengjuan Gao Nanjing University, Linzhang Wang Nanjing University | ||
22:20 40mPoster | Towards a Formal Foundation of Intermittent ComputingOOPSLA Posters Milijana Surbatovich Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, Limin Jia Carnegie Mellon University | ||
22:20 40mPoster | StreamQL: A Query Language for Processing Streaming Time SeriesOOPSLA Posters | ||
22:20 40mPoster | Incremental Predicate Analysis for Regression VerificationOOPSLA Posters | ||
22:20 40mPoster | SATUNE: Synthesizing Efficient SAT EncodersOOPSLA 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 40mPoster | A Sparse Iteration Space Transformation Framework for Sparse Tensor AlgebraOOPSLA 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 40mPoster | Unifying Execution of Imperative Generators and Declarative SpecificationsOOPSLA 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 40mPoster | Statically Verified Refinements for Multiparty ProtocolsOOPSLA 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 40mPoster | Guiding Dynamic Programing via Structural Probability for Accelerating Programming by ExampleOOPSLA Posters Ruyi Ji Peking University, Yican Sun Peking University, Yingfei Xiong Peking University, Zhenjiang Hu Peking University | ||
22:20 40mPoster | Revisiting Iso-Recursive SubtypingOOPSLA Posters Yaoda Zhou University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Jinxu Zhao University of Hong Kong | ||
22:20 40mPoster | Macros For Domain-Specific LanguagesOOPSLA Posters Michael Ballantyne Northeastern University, Alexis King Northwestern University, Matthias Felleisen Northeastern University | ||
22:20 40mPoster | CompCertELF: Verified Separate Compilation of C Programs into ELF Object FilesOOPSLA Posters Yuting Wang Shanghai Jiao Tong University, Xiangzhe Xu Nanjing University, Pierre Wilke CentraleSupélec, Zhong Shao Yale University | ||
22:20 40mPoster | Certified and Efficient Instruction SchedulingOOPSLA 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 40mPoster | Resolution as Intersection Subtyping via Modus PonensOOPSLA Posters Koar Marntirosian KU Leuven, Tom Schrijvers KU Leuven, Bruno C. d. S. Oliveira University of Hong Kong, Georgios Karachalias Tweag | ||
22:20 40mPoster | Precise Inference of Expressive Units of Measurement TypesOOPSLA Posters Tongtong Xiang University of Waterloo, Jeff Y. Luo University of Waterloo, Werner Dietl University of Waterloo | ||
22:20 40mPoster | Guided Linking: Dynamic Linking Without the CostsOOPSLA 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 40mPoster | Scaling Exact Inference for Discrete Probabilistic ProgramsOOPSLA 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 20 Oct 2020 Poster Registration for OOPSLA papers |
| Tue 20 Oct 2020 Camera Ready Submissions |
| Thu 1 Oct 2020 Author Notification |
| Thu 10 Sep 2020 Abstract/Poster Submission |
