Write a Blog >>
CC 2017
Sun 5 - Mon 6 February 2017 Austin, Texas, United States
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

07:30 - 08:30: BreakfastCatering at 6th floor
07:30 - 08:30
Break
Breakfast
Catering
09:00 - 09:10: WelcomeResearch Papers at 404
Chair(s): Peng WuHuawei America Research Lab, Sebastian HackSaarland University
09:00 - 09:10
Day opening
Welcome
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
Keynote: Why the End-Game for Moore’s Law will be driven by a Compiler Renaissance
Research Papers
Vivek SarkarRice University, USA
10:10 - 10:30: BreakCatering at 6th floor
10:10 - 10:30
Coffee break
Break
Catering
10:30 - 12:10: Concurrency & ParallelismResearch Papers at 404
Chair(s): Sebastian HackSaarland University
10:30 - 10:55
Talk
Partially Redundant Fence Elimination for x86, ARM, and Power Processors
Research Papers
Robin MorissetENS, France, Francesco Zappa NardelliInria, France
DOI
10:55 - 11:20
Talk
Lightweight Data Race Detection for Production Runs
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
Optimized Two-Level Parallelization for GPU Accelerators using the Polyhedral Model
Research Papers
Jun ShirakoRice University, USA, Akihiro HayashiRice University, USA, Vivek SarkarRice University, USA
DOI
11:45 - 12:10
Talk
Optimization Space Pruning without Regrets
Research Papers
DOI
12:10 - 13:30: LunchCatering at 6th floor
12:10 - 13:30
Lunch
Lunch
Catering
13:30 - 15:10: CompilersResearch Papers at 404
13:30 - 13:55
Talk
Compile-Time Function Memoization
Research Papers
Arjun SureshOhio State University, USA, Erven RohouInria, France, André SeznecInria, France
DOI
13:55 - 14:20
Talk
One Compiler: Deoptimization to Optimized Code
Research Papers
Christian Wimmer, Vojin JovanovicOracle Labs, Erik EcksteinOracle Labs, USA, Thomas WuerthingerOracle Labs
DOI
14:20 - 14:45
Talk
Static Optimization in PHP 7
Research Papers
Nikita PopovTU Berlin, Germany, Biagio CosenzaTU Berlin, Germany, Ben JuurlinkTU Berlin, Germany, Dmitry StogovZend Technologies, Russia
DOI
14:45 - 15:10
Talk
From Functional Programs to Pipelined Dataflow Circuits
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
Granullar: Gradual Nullable Types for Java
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
Let It Recover: Multiparty Protocol-Induced Recovery
Research Papers
Rumyana NeykovaImperial College London, UK, Nobuko YoshidaImperial College London
DOI
18:00 - 20:00: ReceptionEvent at Salon H
18:00 - 20:00
Social Event
Welcome Reception and Poster Session
Event

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

07:30 - 08:30: BreakfastCatering at Salon H - Prefunction
07:30 - 08:30
Break
Breakfast
Catering
08:45 - 09:55: CGO/PPoPP KeynoteKeynote at Salon H
08:45 - 09:55
Talk
It's time for a new old language
Keynote
Pre-print
10:20 - 11:45: Program AnalysisResearch Papers at 404
Chair(s): Jose Nelson AmaralUniversity of Alberta
10:20 - 10:48
Talk
Data Structure–Aware Heap Partitioning
Research Papers
Nouraldin JaberPurdue University, USA, Milind KulkarniPurdue University
DOI
10:48 - 11:16
Talk
Dynamic Symbolic Execution for Polymorphism
Research Papers
Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Yi LuOracle, Jingling XueUNSW Australia
DOI
11:16 - 11:45
Talk
rev.ng: A Unified Binary Analysis Framework to Recover CFGs and Function Boundaries
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

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
Session Calendar (ical)
Detailed Event Calendar (ical)