Filter Program
Conference Dates
Conference Dates are in time zone (GMT-06:00) Saskatchewan, Central America, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Conference DaySun 5 FebDisplayed time zone: Saskatchewan, Central America change
Conference Day
Sun 5 FebDisplayed 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 10mDay opening | Welcome Research Papers | ||
09:10 - 10:10 | |||
09:10 60mTalk | Keynote: Why the End-Game for Moore’s Law will be driven by a Compiler Renaissance Research Papers Vivek SarkarRice University, USA | ||
10:30 - 12:10 | |||
10:30 25mTalk | Partially Redundant Fence Elimination for x86, ARM, and Power Processors Research Papers DOI | ||
10:55 25mTalk | 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 25mTalk | 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 25mTalk | Optimization Space Pruning without Regrets Research Papers Ulysse Beaugnon, Antoine PouilleENS, France, Marc Pouzet, Jacques PienaarGoogle, USA, Albert CohenINRIA DOI | ||
13:30 - 15:10 | |||
13:30 25mTalk | Compile-Time Function Memoization Research Papers DOI | ||
13:55 25mTalk | One Compiler: Deoptimization to Optimized Code Research Papers Christian Wimmer, Vojin JovanovicOracle Labs, Erik EcksteinOracle Labs, USA, Thomas WuerthingerOracle Labs DOI | ||
14:20 25mTalk | 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 25mTalk | From Functional Programs to Pipelined Dataflow Circuits Research Papers DOI | ||
15:30 - 16:30 | |||
15:30 30mTalk | 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 30mTalk | Let It Recover: Multiparty Protocol-Induced Recovery Research Papers DOI | ||
18:00 - 20:00 | |||
18:00 2hSocial Event | Welcome Reception and Poster Session Event | ||
Conference DayMon 6 FebDisplayed time zone: Saskatchewan, Central America change
Conference Day
Mon 6 FebDisplayed time zone: Saskatchewan, Central America change
07:30 - 08:30 | |||
07:30 60mBreak | Breakfast Catering | ||
08:45 - 09:55 | |||
08:45 70mTalk | It's time for a new old language Keynote Guy L. Steele Jr.Oracle Labs Pre-print | ||
10:20 - 11:45 | |||
10:20 28mTalk | Data Structure–Aware Heap Partitioning Research Papers DOI | ||
10:48 28mTalk | 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 28mTalk | 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 | ||