Back To Schedule
Tuesday, April 9 • 9:00am - 10:00am
Poster Session

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Clava: C/C++ source-to-source from CMake using LARA

Safely Optimizing Casts between Pointers and Integers
Juneyoung Lee (Seoul National University, Korea), Chung-Kil Hur (Seoul National University, Korea), Ralf Jung (MPI-SWS, Germany), Zhengyang Liu (University of Utah, USA), John Regehr (University of Utah, USA), Nuno P. Lopes (Microsoft Research, UK)

Scalar Evolution Canon: Click! Canonicalize SCEV and validate it by Z3 SMT solver! 
Lin-Ya Yu (Xilinx), Alexandre Isoard (Xilinx)

Splendid GVN: Partial Redundancy Elimination for Algebraic Simplification
Li-An Her (National Tsing Hua University), Jenq-Kuen Lee (National Tsing Hua University)

An alternative OpenMP Backend for Polly 
Michael Halkenhäuser (TU Darmstadt)

Does the win32 clang compiler executable really need to be over 21MB in size? 
Russell Gallop (SN Systems), G Bedwell (SN Systems)

Enabling Multi- and Cross-Language Verification with LLVM 
Jack J. Garzella (University of Utah), Marek Baranowski (University of Utah), Shaobo He (University of Utah), Zvonimir Rakamaric (University of Utah)

Instruction Tracing and dynamic codegen analysis to identify unique llvm performance issues.
Biplob (IBM)

Handling all Facebook requests with JITed C++ code 
Huapeng Zhou (Facebook), Yuhan Guo (Facebook)

Implementing SPMD control flow in LLVM using reconverging CFGs 
Fabian Wahlster (Technische Universität München), Nicolai Hähnle (Advanced Micro Devices)

LLVM for the Apollo Guidance Computer
Lewis Revill (University of Bath)

LLVM Miner: Text Analytics based Static Knowledge Extractor
Hameeza Ahmed (NED University of Engineering and Technology), Muhammad Ali Ismail (NED University of Engineering and Technology)

Function Merging by Sequence Alignment 
Rodrigo Rocha (University of Edinburgh), Pavlos Petoumenos (University of Edinburgh), Zheng Wang (Lancaster University), Murray Cole (University of Edinburgh), Hugh Leather (University of Edinburgh)

Compilation and optimization with security annotations
Son Tuan Vu (LIP6), Karine Heydemann (LIP6), Arnaud de Grandmaison (ARM), Albert Cohen (Google)

Cross translation unit test case reduction
Réka Kovács (Eötvös Loränd University)

Leveraging Polyhedral Compilation in Chapel Compiler
Sahil Yerawar (IIT Hyderabad), Siddharth Bhat (IIIT Hyderabad), Michael Ferguson (Cray Inc.), Philip Pfaffe (Karlsruhe Institute of Technology), Ramakrishna Upadrasta (IIT Hyderabad)

LLVM on AVR - textual IR as a powerful tool for making "impossible" compilers
Carl Peto (Swift for Arduino/Petosoft)

Vectorizing Add/Sub Expressions with SLP
Vasileios Porpodas (Intel Corporation, USA), Rodrigo C. O. Rocha (University of Edinburgh, UK), Evgueni Brevnov (Intel Corporation, USA), Luís F. W. Góes (PUC Minas, Brazil), Timothy Mattson (Intel Corporation, USA)

Adding support for C++ contracts to Clang
Javier López-Gómez (University Carlos III of Madrid), J. Daniel García (University Carlos III of Madrid)

Optimizing Nondeterminacy: Exploiting Race Conditions in Parallel Programs
William S. Moses (MIT CSAIL)

Tuesday April 9, 2019 9:00am - 10:00am CEST