REBLS 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
VenueRoyal Olympic Hotel
Room nameAttica
Floor0
Capacity150
Additional informationThere is no additional information of this room available.
Program

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

Tue 22 Oct
Times are displayed in time zone: Beirut change

19:00 - 22:00: DinnerSLE at Attica
19:00 - 22:00
Dinner
Dinner (registration add-on)
SLE

Wed 23 Oct
Times are displayed in time zone: Beirut change

11:00 - 12:30: Abstract InterpretationSPLASH OOPSLA at Attica
Chair(s): John HughesChalmers University of Technology, Sweden
11:00 - 11:22
Talk
BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract InterpretationACM SIGPLAN Distinguished Paper Award
SPLASH OOPSLA
Zhuo ZhangPurdue University, Wei YouPurdue University, Guanhong TaoPurdue University, Guannan WeiPurdue University, Yonghwi KwonUniversity of Virginia, Xiangyu ZhangPurdue University
DOI Pre-print
11:22 - 11:45
Talk
Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming
SPLASH OOPSLA
Guannan WeiPurdue University, Yuxuan ChenPurdue University, Tiark RompfPurdue University
DOI
11:45 - 12:07
Talk
Static Analysis with Demand-Driven Value Refinement
SPLASH OOPSLA
Benno SteinUniversity of Colorado Boulder, Benjamin Barslev NielsenAarhus University, Bor-Yuh Evan ChangUniversity of Colorado Boulder | Amazon, Anders MøllerAarhus University
DOI Pre-print
12:07 - 12:30
Talk
Sound and Reusable Components for Abstract Interpretation
SPLASH OOPSLA
Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz
DOI
14:00 - 15:30: Machine LearningSPLASH OOPSLA at Attica
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
14:00 - 14:22
Talk
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential PrivacyACM SIGPLAN Distinguished Paper Award
SPLASH OOPSLA
Joseph P. NearUniversity of Vermont, David DaraisUniversity of Vermont, Chike AbuahUniversity of Vermont, Tim StevensUniversity of Vermont, Pranav GaddamaduguUniversity of California, Berkeley, Lun WangUniversity of California, Berkeley, Neel SomaniUniversity of California, Berkeley, Mu ZhangUniversity of Utah, Nikhil SharmaUniversity of California, Berkeley, Alex ShanUniversity of California, Berkeley, Dawn SongUniversity of California, Berkeley
DOI
14:22 - 14:45
Talk
Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks
SPLASH OOPSLA
Yi LiNew Jersey Institute of Technology, USA, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas, Son NguyenThe University of Texas at Dallas
DOI
14:45 - 15:07
Talk
Probabilistic Verification of Fairness Properties via Concentration
SPLASH OOPSLA
Osbert BastaniUniversity of Pennsylvania, Xin ZhangMassachusetts Institute of Technology, Armando Solar-LezamaMassachusetts Institute of Technology
DOI
15:07 - 15:30
Talk
Generating Precise Error Specifications for C: A Zero Shot Learning Approach
SPLASH OOPSLA
Baijun WuUniversity of Louisiana at Lafayette, John Peter CamporaUniversity of Louisiana at Lafayette, He YiUniversity of Louisiana at Lafayette, Alexander SchlechtUniversity of Louisiana at Lafayette, Sheng ChenUniversity of Louisiana at Lafayette
DOI
16:00 - 17:30: FormalizationSPLASH OOPSLA at Attica
Chair(s): Eric KoskinenStevens Institute of Technology
16:00 - 16:22
Talk
Formal Foundations of Serverless ComputingACM SIGPLAN Distinguished Paper Award
SPLASH OOPSLA
Abhinav JangdaUniversity of Massachusetts Amherst, Donald PinckneyUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Arjun GuhaUniversity of Massachusetts, Amherst
Link to publication DOI Pre-print
16:22 - 16:45
Talk
A Formalization of Java’s Concurrent Access Modes
SPLASH OOPSLA
John BenderUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles
DOI
16:45 - 17:07
Talk
A Path to DOT: Formalizing Fully Path-Dependent Types
SPLASH OOPSLA
Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
DOI Pre-print Media Attached
17:07 - 17:30
Talk
Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping
SPLASH OOPSLA
DOI Pre-print

Thu 24 Oct
Times are displayed in time zone: Beirut change

11:00 - 12:30: Language DesignSPLASH OOPSLA at Attica
Chair(s): Tiark RompfPurdue University
11:00 - 11:22
Talk
DeepSEA: A Language for Certified System Software
SPLASH OOPSLA
Vilhelm SjöbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University
DOI Pre-print
11:22 - 11:45
Talk
Weakening WebAssembly
SPLASH OOPSLA
Conrad WattUniversity of Cambridge, Andreas RossbergDfinity Stiftung, Jean Pichon-PharabodUniversity of Cambridge
DOI
11:45 - 12:07
Talk
Safer Smart Contract Programming with Scilla
SPLASH OOPSLA
Ilya SergeyYale-NUS College and National University of Singapore, Vaivaswatha NagarajZilliqa Research, Jacob JohannsenZilliqa Research, Amrit KumarZilliqa Research, Anton TrunovZilliqa Research, Ken ChanZilliqa Research
DOI Pre-print File Attached
12:07 - 12:30
Talk
Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild
SPLASH OOPSLA
Filip KřikavaCzech Technical University, Heather MillerCarnegie Mellon University, Jan VitekNortheastern University
DOI Pre-print
14:00 - 15:30: Corpus StudiesSPLASH OOPSLA at Attica
Chair(s): Jonathan AldrichCarnegie Mellon University
14:00 - 14:22
Talk
On the Impact of Programming Languages on Code QualityTOPLAS
SPLASH OOPSLA
Emery D. BergerUniversity of Massachusetts Amherst, Celeste HollenbeckNortheastern University, Petr MajCzech Technical University, Olga VitekNortheastern University, Jan VitekNortheastern University
Link to publication DOI Pre-print
14:22 - 14:45
Talk
Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs
SPLASH OOPSLA
Luis MastrangeloUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana
DOI
14:45 - 15:07
Talk
On the Design, Implementation, and Use of Laziness in R
SPLASH OOPSLA
Aviral GoelNortheastern University, Jan VitekNortheastern University
DOI Pre-print
15:07 - 15:30
Talk
Aroma: Code Recommendation via Structural Code SearchACM SIGPLAN Distinguished Paper Award
SPLASH OOPSLA
Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook
DOI
16:00 - 17:30: OptimizationSPLASH OOPSLA at Attica
Chair(s): Tobias WrigstadUppsala University
16:00 - 16:22
Talk
Ryū Revisited: Printf Floating Point Conversion
SPLASH OOPSLA
Ulf AdamsGoogle
Link to publication DOI
16:22 - 16:45
Talk
Optimization of Swift Protocols
SPLASH OOPSLA
Raj BarikUber Technologies Inc., Manu SridharanUniversity of California Riverside, Murali Krishna RamanathanUber Technologies Inc., Milind ChabbiUber Technologies Inc.
DOI
16:45 - 17:07
Talk
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
SPLASH OOPSLA
Hashim SharifUniversity of Illinois at Urbana-Champaign, Prakalp SrivastavaUniversity of Illinois at Urbana-Champaign, Muhammad HuzaifaUniversity of Illinois at Urbana-Champaign, Maria KotsifakouUniversity of Illinois at Urbana-Champaign, Keyur JoshiUniversity of Illinois at Urbana-Champaign, Yasmin SaritaCornell University, Nathan ZhaoUniversity of Illinois at Urbana-Champaign, Vikram S. AdveUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarita AdveUniversity of Illinois at Urbana-Champaign
DOI
17:07 - 17:30
Talk
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
SPLASH OOPSLA
Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China, Gang TanThe Pennsylvania State University, University Park, USA
DOI

Fri 25 Oct
Times are displayed in time zone: Beirut change

11:00 - 12:30: Test GenerationSPLASH OOPSLA at Attica
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign
11:00 - 11:22
Talk
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
SPLASH OOPSLA
Kia RahmaniPurdue University, Kartik NagarPurdue University, Benjamin DelawarePurdue University, Suresh JagannathanPurdue University
DOI Pre-print
11:22 - 11:45
Talk
Coverage Guided, Property Based Testing
SPLASH OOPSLA
Leonidas LampropoulosUniversity of Pennsylvania, University of Maryland, Michael HicksUniversity of Maryland, Benjamin C. PierceUniversity of Pennsylvania
DOI
11:45 - 12:07
Talk
FuzzFactory: Domain-Specific Fuzzing with Waypoints
SPLASH OOPSLA
Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Laurent SimonSamsung Research America, Hayawardh VijayakumarSamsung Research America
DOI Pre-print
12:07 - 12:30
Talk
Compiler Fuzzing: How Much Does It Matter?
SPLASH OOPSLA
Michaël MarcozziImperial College London, Qiyi TangImperial College London, Alastair DonaldsonImperial College London, Cristian CadarImperial College London
Link to publication DOI Pre-print Media Attached File Attached
14:00 - 15:30: Synthesis SPLASH OOPSLA at Attica
Chair(s): Christoph ReichenbachLund University
14:00 - 14:22
Talk
AL: Autogenerating Supervised Learning Programs
SPLASH OOPSLA
DOI
14:22 - 14:45
Talk
Program Synthesis with Algebraic Library Specifications
SPLASH OOPSLA
Benjamin MarianoUniversity of Maryland, College Park, Josh ReeseUniversity of Maryland, College Park, Siyuan XuPurdue University, ThanhVu NguyenUniversity of Nebraska, Lincoln, Xiaokang QiuPurdue University, Jeffrey S. FosterTufts University, Armando Solar-LezamaMassachusetts Institute of Technology
DOI
14:45 - 15:07
Talk
AutoPandas: Neural-Backed Generators for Program Synthesis
SPLASH OOPSLA
Rohan BavishiUC Berkeley, Caroline LemieuxUniversity of California, Berkeley, Roy FoxUC Berkeley, Koushik SenUniversity of California, Berkeley, Ion StoicaUC Berkeley
DOI
15:07 - 15:30
Talk
On the Fly Synthesis of Edit Suggestions
SPLASH OOPSLA
Anders MiltnerPrinceton University, Sumit GulwaniMicrosoft, Vu LeMicrosoft, Alan LeungMicrosoft, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Ashish TiwariMicrosoft, Abhishek UdupaMicrosoft
DOI Pre-print Media Attached

Tue 22 Oct
Times are displayed in time zone: Beirut change

Room19:003020:003021:0030
Attica
19:00 - 22:00

Wed 23 Oct
Times are displayed in time zone: Beirut change

Thu 24 Oct
Times are displayed in time zone: Beirut change

Fri 25 Oct
Times are displayed in time zone: Beirut change

Room11:003012:003013:003014:003015:0030
Attica

Tue 22 Oct
Times are displayed in time zone: Beirut change

Room19:0015304520:0015304521:00153045
Attica