Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
VenueHotel Meliá Bali
Room nameBali Room
Floor1
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

Sun 1 Dec
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

10:30 - 12:00: Session 1APLAS NIER at Bali Room
10:30 - 11:00
Talk
APLAS NIER
Sora BaeOracle Labs, Australia, Sungho LeeKAIST, South Korea, Sukyoung RyuKAIST, South Korea
11:00 - 11:30
Talk
APLAS NIER
Shengyi Wang, Anshuman MohanNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Aquinas HoborNational University of Singapore, Singapore
11:30 - 12:00
Talk
APLAS NIER
Sandrine BlazyUniv Rennes- IRISA
13:30 - 15:00: Session 2APLAS NIER at Bali Room
13:30 - 14:00
Talk
APLAS NIER
Yuxi FuShanghai Jiao Tong University, China
14:00 - 14:30
Talk
APLAS NIER
Julian MackayVictoria University of Wellington, Yu Xiang ZhuCarnegie Mellon University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University, Lindsay GrovesVictoria University of Wellington
14:30 - 15:00
Talk
APLAS NIER
Anthony Widjaja LinTechnische Universität Kaiserslautern, Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS)
15:30 - 17:00: Session 3APLAS NIER at Bali Room
15:30 - 16:00
Talk
APLAS NIER
Peter ThiemannUniversity of Freiburg, Germany, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
16:00 - 16:30
Talk
APLAS NIER
Atsushi IgarashiKyoto University, Japan, Yuya TsudaKyoto University, Tomoya TabuchiKyoto University
16:30 - 17:00
Talk
APLAS NIER

Mon 2 Dec
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

08:50 - 10:00: Keynote 1Keynote Talks at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
08:50 - 10:00
Talk
Keynote Talks
K: Annabelle McIverMacquarie University
10:30 - 12:00: TypesResearch Papers at Bali Room
Chair(s): Tachio TerauchiWaseda University
10:30 - 11:00
Talk
Research Papers
Yuki NishidaKyoto University, Atsushi IgarashiKyoto University, Japan
Pre-print
11:00 - 11:30
Talk
Research Papers
Akira KawataKyoto University, Atsushi IgarashiKyoto University, Japan
Pre-print
11:30 - 12:00
Talk
Research Papers
Raimil CruzUniversity of Chile, Éric TanterUniversity of Chile & Inria Paris
13:30 - 15:00: Program AnalysisResearch Papers at Bali Room
Chair(s): Annabelle McIverMacquarie University
13:30 - 14:00
Talk
Research Papers
14:00 - 14:30
Talk
Research Papers
Youkichi HosoiThe University of Tokyo , Naoki KobayashiUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan
14:30 - 15:00
Talk
Research Papers
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology
15:30 - 17:00: SemanticsResearch Papers at Bali Room
Chair(s): Atsushi IgarashiKyoto University, Japan
15:30 - 16:00
Talk
Research Papers
Beniamino AccattoliInria & Ecole Polytechnique, Claudia FaggianIRIF, Giulio GuerrieriUniversity of Bath
16:00 - 16:30
Talk
Research Papers
Masayuki MizunoTohoku University , Eijiro SumiiTohoku University
16:30 - 17:00
Talk
Research Papers
Kosuke MurataKyushu Institute of Technology , Kento EmotoKyushu Institute of Technology

Tue 3 Dec
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00: Keynote 2Keynote Talks at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
09:00 - 10:00
Talk
Keynote Talks
Nate FosterCornell University
10:30 - 12:00: Language Design and ImplementationResearch Papers at Bali Room
Chair(s): Sandrine BlazyUniv Rennes- IRISA
10:30 - 11:00
Talk
Research Papers
Nada AminHarvard University, William E. ByrdUniversity of Alabama at Birmingham, USA, Tiark RompfPurdue University
11:00 - 11:30
Talk
Research Papers
Daan LeijenMicrosoft Research, USA, Ben ZornMicrosoft, Leonardo De MouraMicrosoft Research, n.n.
11:30 - 12:00
Talk
Research Papers
Yutaka NagashimaData61, Australia
13:00 - 13:30: Poster talk sessionPosters at Bali Room
Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore
13:00 - 13:30
Talk
Posters
13:30 - 15:00: ConcurrencyResearch Papers at Bali Room
Chair(s): Philipp RuemmerUppsala University
13:30 - 14:00
Talk
Research Papers
Taolue ChenBirkbeck, University of London, Jilong HeInstitute of Software, Chinese Academy of Sciences, Yu-Ping WangTsinghua University, China, Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences
14:00 - 14:30
Talk
Research Papers
Thomas DickersonBrown University, Paul GazzilloUniversity of Central Florida, Maurice HerlihyBrown University, USA, Eric KoskinenStevens Institute of Technology
14:30 - 15:00
Talk
Research Papers
Jonathan DiLorenzoCornell University, Kathryn ManciniCornell University, Kathleen FisherTufts University, USA, Nate FosterCornell University
15:30 - 17:15: VerificationResearch Papers at Bali Room
Chair(s): Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
15:30 - 15:45
Talk
Research Papers
Yu-Fang ChenAcademia Sinica, Chang-Yi ChiangGraduate Institute of Information Management, National Taipei University, Taiwan, Lukáš HolíkBrno University of Technology, Wei-Tsung KaoInstitute of Information Science, Academia Sinica, Taiwan, Hsin-Hung LinInstitute of Information Science, Academia Sinica, Taiwan, Yean-Fu WenGraduate Institute of Information Management, National Taipei University, Taiwan, Tomas VojnarBrno University of Technology, Wei-Cheng WuInstitute of Information Science, Academia Sinica, Taiwan
15:45 - 16:15
Talk
Research Papers
Wenbo Zhang, Huan LongShanghai Jiao Tong University, Xian XuEast China University of Science and Technology
16:15 - 16:45
Talk
Research Papers
Makoto TatsutaNational Institute of Informatics, Koji NakazawaGraduate School of Informatics, Nagoya University, Daisuke KimuraToho University
16:45 - 17:15
Talk
Research Papers
Long H. PhamSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Quang Loc LeTeesside University
17:15 - 17:30: PC Chair ReportPC Chair Report at Bali Room

Wed 4 Dec
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00: Keynote 3Keynote Talks at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
09:00 - 10:00
Talk
Keynote Talks
Philipp RuemmerUppsala University
10:30 - 12:00: Logic and AutomataResearch Papers at Bali Room
Chair(s): Peter ThiemannUniversity of Freiburg, Germany
10:30 - 11:00
Talk
Research Papers
Aquinas HoborNational University of Singapore, Singapore, Elaine LiRuntime Verification, Inc., Frank StephanNational University of Singapore
11:00 - 11:30
Talk
Research Papers
Yu-Fang ChenAcademia Sinica, Vojtěch HavlenaBrno University of Technology, Ondrej LengalBrno University of Technology
11:30 - 12:00
Talk
Research Papers
Lukáš HolíkBrno University of Technology, Tomas VojnarBrno University of Technology, Ondrej LengalBrno University of Technology , Lenka TuronovaBrno University of Technology, Margus VeanesMicrosoft Research, Olli Saarikivi

Sun 1 Dec
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Bali Room

Mon 2 Dec
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bali Room

Tue 3 Dec
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

Wed 4 Dec
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change