Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
VenueHotel Meliá Bali
Room nameBali Room
Floor1
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 1 Dec

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

Mon 2 Dec

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

Tue 3 Dec

aplas-2019-Tool-and-system-paper
09:00 - 10:00: Keynote Talks - Keynote 2 at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
aplas-2019-Tool-and-system-paper09:00 - 10:00
Talk
Nate FosterCornell University
aplas-2019-papers
10:30 - 12:00: Research Papers - Language Design and Implementation at Bali Room
Chair(s): Sandrine BlazyUniv Rennes- IRISA
aplas-2019-papers10:30 - 11:00
Talk
Nada AminHarvard University, William E. ByrdUniversity of Alabama at Birmingham, USA, Tiark RompfPurdue University
aplas-2019-papers11:00 - 11:30
Talk
Daan LeijenMicrosoft Research, USA, Ben ZornMicrosoft, Leonardo De MouraMicrosoft Research, n.n.
aplas-2019-papers11:30 - 12:00
Talk
Yutaka NagashimaData61, Australia
aplas-2019-posters
13:00 - 13:30: Posters - Poster talk session at Bali Room
Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore
aplas-2019-posters13:00 - 13:30
Talk
aplas-2019-papers
13:30 - 15:00: Research Papers - Concurrency at Bali Room
Chair(s): Philipp RuemmerUppsala University
aplas-2019-papers13:30 - 14:00
Talk
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
aplas-2019-papers14:00 - 14:30
Talk
Thomas DickersonBrown University, Paul GazzilloUniversity of Central Florida, Maurice HerlihyBrown University, USA, Eric KoskinenStevens Institute of Technology
aplas-2019-papers14:30 - 15:00
Talk
Jonathan DiLorenzoCornell University, Kathryn ManciniCornell University, Kathleen FisherTufts University, USA, Nate FosterCornell University
aplas-2019-papers
15:30 - 17:15: Research Papers - Verification at Bali Room
Chair(s): Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
aplas-2019-papers15:30 - 15:45
Talk
Yu-Fang ChenAcademia Sinica, Chang-Yi ChiangGraduate Institute of Information Management, National Taipei University, Taiwan, Lukas HolikBrno 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
aplas-2019-papers15:45 - 16:15
Talk
Wenbo Zhang, Huan LongShanghai Jiao Tong University, Xian XuEast China University of Science and Technology
aplas-2019-papers16:15 - 16:45
Talk
Makoto TatsutaNational Institute of Informatics, Koji NakazawaGraduate School of Informatics, Nagoya University, Daisuke KimuraToho University
aplas-2019-papers16:45 - 17:15
Talk
Long H. PhamSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Quang Loc LeTeesside University
aplas-2019-pc-chair-report
17:15 - 17:30: PC Chair Report - PC Chair Report at Bali Room

Wed 4 Dec

aplas-2019-Tool-and-system-paper
09:00 - 10:00: Keynote Talks - Keynote 3 at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
aplas-2019-Tool-and-system-paper09:00 - 10:00
Talk
Philipp RuemmerUppsala University
aplas-2019-papers
10:30 - 12:00: Research Papers - Logic and Automata at Bali Room
Chair(s): Peter ThiemannUniversity of Freiburg, Germany
aplas-2019-papers10:30 - 11:00
Talk
Aquinas HoborNational University of Singapore, Singapore, Elaine LiRuntime Verification, Inc., Frank StephanNational University of Singapore
aplas-2019-papers11:00 - 11:30
Talk
Yu-Fang ChenAcademia Sinica, Vojtěch HavlenaBrno University of Technology, Ondrej LengalBrno University of Technology
aplas-2019-papers11:30 - 12:00
Talk
Lukas HolikBrno 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 2019

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Bali Room
10:30 - 12:00
13:30 - 15:00
15:30 - 17:00

Mon 2 Dec 2019

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

Tue 3 Dec 2019

Wed 4 Dec 2019

Room9:003010:003011:003012:0030
Bali Room