APLAS 2019 (series) /
APLAS 2019 Program
Conference Dates
Conference Dates are in time zone (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Sun 1 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Sun 1 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
| 10:30 - 11:00 Talk | APLAS NIER | ||
| 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 - 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:00 - 15:30: Coffee BreakCatering | |||
| 15:00 - 15:30 Coffee break | Catering | ||
| 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 | ||
| 16:30 - 17:00 Talk | APLAS NIER Florian ZulegerTU Vienna | ||
Mon 2 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 2 Dec
Times are displayed in time zone: 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 | ||
10:00 - 10:30: Coffee BreakCatering | |||
| 10:30 - 11:00 Talk | Research Papers Pre-print | ||
| 11:00 - 11:30 Talk | Research Papers Pre-print | ||
| 11:30 - 12:00 Talk | Research Papers | ||
13:30 - 15:00: Program AnalysisResearch Papers at Bali Room Chair(s): Annabelle McIverMacquarie University | |||
| 13:30 - 14:00 Talk | Research Papers Graeme Gange, Jorge A. NavasSRI International, Peter Schachte, Harald Sondergaard, Peter J. StuckeyMonash University | ||
| 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:00 - 15:30: Coffee BreakCatering | |||
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 | ||
| 16:30 - 17:00 Talk | Research Papers | ||
18:00 - 20:00: Poster sessionPosters at Puri Bali Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore | |||
Tue 3 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 3 Dec
Times are displayed in time zone: 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:00 - 10:30: Coffee BreakCatering | |||
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 | ||
| 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 - 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:00 - 15:30: Coffee BreakCatering | |||
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, Tomáš 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 | ||
Wed 4 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 4 Dec
Times are displayed in time zone: 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:00 - 10:30: Coffee BreakCatering | |||
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, Ondřej LengálBrno University of Technology | ||
| 11:30 - 12:00 Talk | Research Papers Lukáš HolíkBrno University of Technology, Tomáš VojnarBrno University of Technology, Ondřej LengálBrno University of Technology , Lenka TuroňováBrno University of Technology, Margus VeanesMicrosoft Research, Olli Saarikivi | ||
Sun 1 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Sun 1 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Mon 2 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 2 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 3 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 3 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Wed 4 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 4 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Sun 1 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Sun 1 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Bali Room | 11:00 - 11:30 | 11:30 - 12:00 | 13:30 - 14:00 | 15:30 - 16:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| El Patio Restaurant | 12:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Mon 2 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 2 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Bali Room | 16:30 - 17:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Tue 3 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 3 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Bali Room | 13:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format