Write a Blog >>
CC 2017
Sun 5 - Mon 6 February 2017 Austin, Texas, United States
VenueVenue and Travel Information
Room name404
Floor0
Room number404
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 5 Feb
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

CC-2017-papers
09:00 - 09:10: Research Papers - Welcome at 404
Chair(s): Peng WuHuawei America Research Lab, Sebastian HackSaarland University
CC-2017-papers09:00 - 09:10
Day opening
Sebastian HackSaarland University, Peng WuHuawei America Research Lab
CC-2017-papers
09:10 - 10:10: Research Papers - Keynote at 404
Chair(s): Peng WuHuawei America Research Lab
CC-2017-papers09:10 - 10:10
Talk
Vivek SarkarRice University, USA
CC-2017-papers
10:30 - 12:10: Research Papers - Concurrency & Parallelism at 404
Chair(s): Sebastian HackSaarland University
CC-2017-papers10:30 - 10:55
Talk
Robin MorissetENS, France, Francesco Zappa NardelliInria, France
DOI
CC-2017-papers10:55 - 11:20
Talk
Swarnendu BiswasUniversity of Texas at Austin, Man CaoOhio State University, Minjia ZhangOhio State University, Michael D. BondOhio State University, Benjamin P. WoodWellesley College, USA
DOI
CC-2017-papers11:20 - 11:45
Talk
Jun ShirakoRice University, USA, Akihiro HayashiRice University, USA, Vivek SarkarRice University, USA
DOI
CC-2017-papers11:45 - 12:10
Talk
DOI
CC-2017-papers
13:30 - 15:10: Research Papers - Compilers at 404
CC-2017-papers13:30 - 13:55
Talk
Arjun SureshOhio State University, USA, Erven RohouInria, France, André SeznecInria, France
DOI
CC-2017-papers13:55 - 14:20
Talk
Christian Wimmer, Vojin JovanovicOracle Labs, Erik EcksteinOracle Labs, USA, Thomas WuerthingerOracle Labs
DOI
CC-2017-papers14:20 - 14:45
Talk
Nikita PopovTU Berlin, Germany, Biagio CosenzaTU Berlin, Germany, Ben JuurlinkTU Berlin, Germany, Dmitry StogovZend Technologies, Russia
DOI
CC-2017-papers14:45 - 15:10
Talk
Richard TownsendColumbia University, USA, Martha A. KimColumbia University, Stephen Edwards
DOI
CC-2017-papers
15:30 - 16:30: Research Papers - Types at 404
CC-2017-papers15:30 - 16:00
Talk
Dan BrotherstonUniversity of Waterloo, Canada, Werner DietlUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo, Canada
DOI
CC-2017-papers16:00 - 16:30
Talk
Rumyana NeykovaImperial College London, UK, Nobuko YoshidaImperial College London
DOI

Mon 6 Feb
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

CC-2017-papers
10:20 - 11:45: Research Papers - Program Analysis at 404
Chair(s): Jose Nelson AmaralUniversity of Alberta
CC-2017-papers10:20 - 10:48
Talk
Nouraldin JaberPurdue University, USA, Milind KulkarniPurdue University
DOI
CC-2017-papers10:48 - 11:16
Talk
Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Yi LuOracle, Jingling XueUNSW Australia
DOI
CC-2017-papers11:16 - 11:45
Talk
Alessandro Di FedericoPolitecnico di Milano, Italy, Mathias PayerPurdue University, Giovanni AgostaPolitecnico di Milano, Italy
DOI

Sun 5 Feb
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

Mon 6 Feb
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

Mon 6 Feb
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change