Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 5 FebDisplayed time zone: Saskatchewan, Central America change
Sun 5 Feb
Displayed time zone: Saskatchewan, Central America change
09:00 - 09:10 | WelcomeResearch Papers at 404 Chair(s): Sebastian Hack Saarland University, Peng Wu Huawei America Research Lab | ||
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 Sarkar Rice 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 Biswas University of Texas at Austin, Man Cao Ohio State University, Minjia Zhang Ohio State University, Michael D. Bond Ohio State University, Benjamin P. Wood Wellesley College, USA DOI | ||
11:20 25mTalk | Optimized Two-Level Parallelization for GPU Accelerators using the Polyhedral Model Research Papers Jun Shirako Rice University, USA, Akihiro Hayashi Rice University, USA, Vivek Sarkar Rice University, USA DOI | ||
11:45 25mTalk | Optimization Space Pruning without Regrets Research Papers Ulysse Beaugnon , Antoine Pouille ENS, France, Marc Pouzet , Jacques Pienaar Google, USA, Albert Cohen INRIA 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 Jovanovic Oracle Labs, Erik Eckstein Oracle Labs, USA, Thomas Wuerthinger Oracle Labs DOI | ||
14:20 25mTalk | Static Optimization in PHP 7 Research Papers Nikita Popov TU Berlin, Germany, Biagio Cosenza TU Berlin, Germany, Ben Juurlink TU Berlin, Germany, Dmitry Stogov Zend 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 Brotherston University of Waterloo, Canada, Werner Dietl University of Waterloo, Canada, Ondřej Lhoták University 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 | ||
Mon 6 FebDisplayed time zone: Saskatchewan, Central America change
Mon 6 Feb
Displayed 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 Li Institute of Computing Technology at Chinese Academy of Sciences, China, Yi Lu Oracle, Jingling Xue UNSW Australia DOI | ||
11:16 28mTalk | rev.ng: A Unified Binary Analysis Framework to Recover CFGs and Function Boundaries Research Papers Alessandro Di Federico Politecnico di Milano, Italy, Mathias Payer Purdue University, Giovanni Agosta Politecnico di Milano, Italy DOI | ||