Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
VenueRoyal Olympic Hotel
Room nameAttica
Floor0
Room number
Capacity150
Additional informationThere is no additional information of this room available.
Program

Tue 22 Oct

sle-2019-papers
19:00 - 22:00: SLE 2019 - Dinner at Attica
sle-2019-papers19:00 - 22:00
Dinner

Wed 23 Oct

splash-2019-oopsla
11:00 - 12:30: OOPSLA - Abstract Interpretation at Attica
Chair(s): John HughesChalmers University of Technology, Sweden
splash-2019-oopsla11:00 - 11:22
Talk
Zhuo ZhangPurdue University, Wei YouPurdue University, Guanhong TaoPurdue University, Guannan WeiPurdue University, Yonghwi KwonUniversity of Virginia, Xiangyu ZhangPurdue University
DOI Pre-print
splash-2019-oopsla11:22 - 11:45
Talk
Guannan WeiPurdue University, Yuxuan ChenPurdue University, Tiark RompfPurdue University
DOI
splash-2019-oopsla11:45 - 12:07
Talk
Benno SteinUniversity of Colorado Boulder, Benjamin Barslev NielsenAarhus University, Bor-Yuh Evan ChangUniversity of Colorado Boulder | Amazon, Anders MøllerAarhus University
DOI Pre-print
splash-2019-oopsla12:07 - 12:30
Talk
Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz
DOI
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Machine Learning at Attica
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
splash-2019-oopsla14:00 - 14:22
Talk
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
splash-2019-oopsla14:22 - 14:45
Talk
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
splash-2019-oopsla14:45 - 15:07
Talk
Osbert BastaniUniversity of Pennsylvania, Xin ZhangMassachusetts Institute of Technology, Armando Solar-LezamaMassachusetts Institute of Technology
DOI
splash-2019-oopsla15:07 - 15:30
Talk
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
splash-2019-oopsla
16:00 - 17:30: OOPSLA - Formalization at Attica
Chair(s): Eric KoskinenStevens Institute of Technology
splash-2019-oopsla16:00 - 16:22
Talk
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
splash-2019-oopsla16:22 - 16:45
Talk
John BenderUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles
DOI
splash-2019-oopsla16:45 - 17:07
Talk
Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
DOI Pre-print Media Attached
splash-2019-oopsla17:07 - 17:30
Talk
DOI Pre-print

Thu 24 Oct

splash-2019-oopsla
11:00 - 12:30: OOPSLA - Language Design at Attica
Chair(s): Tiark RompfPurdue University
splash-2019-oopsla11:00 - 11:22
Talk
Vilhelm SjöbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University
DOI Pre-print
splash-2019-oopsla11:22 - 11:45
Talk
Conrad WattUniversity of Cambridge, Andreas RossbergDfinity Stiftung, Jean Pichon-PharabodUniversity of Cambridge
DOI
splash-2019-oopsla11:45 - 12:07
Talk
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
splash-2019-oopsla12:07 - 12:30
Talk
Filip KrikavaCzech Technical University, Heather MillerCarnegie Mellon University, Jan VitekNortheastern University
DOI Pre-print
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Corpus Studies at Attica
Chair(s): Jonathan AldrichCarnegie Mellon University
splash-2019-oopsla14:00 - 14:22
Talk
Emery BergerUniversity of Massachusetts Amherst, Celeste HollenbeckNortheastern University, Petr MajCzech Technical University, Olga VitekNortheastern University, Jan VitekNortheastern University
Link to publication DOI Pre-print
splash-2019-oopsla14:22 - 14:45
Talk
Luis MastrangeloUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana
DOI
splash-2019-oopsla14:45 - 15:07
Talk
Aviral GoelNortheastern University, Jan VitekNortheastern University
DOI Pre-print
splash-2019-oopsla15:07 - 15:30
Talk
Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook
DOI
splash-2019-oopsla
16:00 - 17:30: OOPSLA - Optimization at Attica
Chair(s): Tobias WrigstadUppsala University
splash-2019-oopsla16:00 - 16:22
Talk
Ulf AdamsGoogle
Link to publication DOI
splash-2019-oopsla16:22 - 16:45
Talk
Rajkishore BarikUber Technologies Inc., Manu SridharanUniversity of California Riverside, Murali Krishna RamanathanUber Technologies Inc., Milind ChabbiUber Technologies Inc.
DOI
splash-2019-oopsla16:45 - 17:07
Talk
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 AdveUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarita AdveUniversity of Illinois at Urbana-Champaign
DOI
splash-2019-oopsla17:07 - 17:30
Talk
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

splash-2019-oopsla
11:00 - 12:30: OOPSLA - Test Generation at Attica
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign
splash-2019-oopsla11:00 - 11:22
Talk
Kia RahmaniPurdue University, Kartik NagarPurdue University, Benjamin DelawarePurdue University, Suresh JagannathanPurdue University
DOI Pre-print
splash-2019-oopsla11:22 - 11:45
Talk
Leonidas LampropoulosUniversity of Pennsylvania, University of Maryland, Michael HicksUniversity of Maryland, Benjamin C. PierceUniversity of Pennsylvania
DOI
splash-2019-oopsla11:45 - 12:07
Talk
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
splash-2019-oopsla12:07 - 12:30
Talk
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
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Synthesis at Attica
Chair(s): Christoph ReichenbachLund University
splash-2019-oopsla14:00 - 14:22
Talk
DOI
splash-2019-oopsla14:22 - 14:45
Talk
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
splash-2019-oopsla14:45 - 15:07
Talk
Rohan BavishiUC Berkeley, Caroline LemieuxUniversity of California, Berkeley, Roy FoxUC Berkeley, Koushik SenUniversity of California, Berkeley, Ion StoicaUC Berkeley
DOI
splash-2019-oopsla15:07 - 15:30
Talk
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 2019

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

Wed 23 Oct 2019

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

Thu 24 Oct 2019

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

Fri 25 Oct 2019

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

Tue 22 Oct 2019

Room19:0015304520:0015304521:0015304522:00153045
Attica