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: Saskatchewan, Central America change

09:00 - 09:10: WelcomeResearch Papers at 404
Chair(s): Peng WuHuawei America Research Lab, Sebastian HackSaarland University
09:00 - 09:10
Day opening
Research Papers
Sebastian HackSaarland University, Peng WuHuawei America Research Lab
09:10 - 10:10: KeynoteResearch Papers at 404
Chair(s): Peng WuHuawei America Research Lab
09:10 - 10:10
Talk
Research Papers
Vivek SarkarRice University, USA
10:30 - 12:10: Concurrency & ParallelismResearch Papers at 404
Chair(s): Sebastian HackSaarland University
10:30 - 10:55
Talk
Research Papers
Robin MorissetENS, France, Francesco Zappa NardelliInria, France
DOI
10:55 - 11:20
Talk
Research Papers
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
11:20 - 11:45
Talk
Research Papers
Jun ShirakoRice University, USA, Akihiro HayashiRice University, USA, Vivek SarkarRice University, USA
DOI
11:45 - 12:10
Talk
Research Papers
DOI
13:30 - 15:10: CompilersResearch Papers at 404
13:30 - 13:55
Talk
Research Papers
Arjun SureshOhio State University, USA, Erven RohouInria, France, André SeznecInria, France
DOI
13:55 - 14:20
Talk
Research Papers
Christian Wimmer, Vojin JovanovicOracle Labs, Erik EcksteinOracle Labs, USA, Thomas WuerthingerOracle Labs
DOI
14:20 - 14:45
Talk
Research Papers
Nikita PopovTU Berlin, Germany, Biagio CosenzaTU Berlin, Germany, Ben JuurlinkTU Berlin, Germany, Dmitry StogovZend Technologies, Russia
DOI
14:45 - 15:10
Talk
Research Papers
Richard TownsendColumbia University, USA, Martha A. KimColumbia University, Stephen Edwards
DOI
15:30 - 16:30: TypesResearch Papers at 404
15:30 - 16:00
Talk
Research Papers
Dan BrotherstonUniversity of Waterloo, Canada, Werner DietlUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo, Canada
DOI
16:00 - 16:30
Talk
Research Papers
Rumyana NeykovaImperial College London, UK, Nobuko YoshidaImperial College London
DOI

Mon 6 Feb
Times are displayed in time zone: Saskatchewan, Central America change

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

Sun 5 Feb
Times are displayed in time zone: Saskatchewan, Central America change

Mon 6 Feb
Times are displayed in time zone: Saskatchewan, Central America change