Write a Blog >>
SLE 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 2019 at Attica
19:00 - 22:00
Dinner
SLE 2019

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
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
SPLASH OOPSLA
Guannan WeiPurdue University, Yuxuan ChenPurdue University, Tiark RompfPurdue University
DOI
11:45 - 12:07
Talk
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
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
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
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
SPLASH OOPSLA
Osbert BastaniUniversity of Pennsylvania, Xin ZhangMassachusetts Institute of Technology, Armando Solar-LezamaMassachusetts Institute of Technology
DOI
15:07 - 15:30
Talk
SPLASH OOPSLA
Baijun WuUniversity of Louisiana at Lafayette, John Peter Campora IIIUniversity 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
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
SPLASH OOPSLA
John BenderUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles
DOI
16:45 - 17:07
Talk
SPLASH OOPSLA
Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
DOI Pre-print Media Attached
17:07 - 17:30
Talk
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
SPLASH OOPSLA
Vilhelm SjöbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University
DOI Pre-print
11:22 - 11:45
Talk
SPLASH OOPSLA
Conrad WattUniversity of Cambridge, Andreas RossbergDfinity Stiftung, Jean Pichon-PharabodUniversity of Cambridge
DOI
11:45 - 12:07
Talk
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
SPLASH OOPSLA
Filip KrikavaCzech 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
SPLASH OOPSLA
Emery 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
SPLASH OOPSLA
Luis MastrangeloUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana
DOI
14:45 - 15:07
Talk
SPLASH OOPSLA
Aviral GoelNortheastern University, Jan VitekNortheastern University
DOI Pre-print
15:07 - 15:30
Talk
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
SPLASH OOPSLA
Ulf AdamsGoogle
Link to publication DOI
16:22 - 16:45
Talk
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
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
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
SPLASH OOPSLA
Kia RahmaniPurdue University, Kartik NagarPurdue University, Benjamin DelawarePurdue University, Suresh JagannathanPurdue University
DOI Pre-print
11:22 - 11:45
Talk
SPLASH OOPSLA
Leonidas LampropoulosUniversity of Pennsylvania, University of Maryland, Michael HicksUniversity of Maryland, Benjamin C. PierceUniversity of Pennsylvania
DOI
11:45 - 12:07
Talk
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
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
SPLASH OOPSLA
DOI
14:22 - 14:45
Talk
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
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
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:003022: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:0015304522:00153045
Attica