2018 European LLVM Developers MeetingTable of ContentsAboutWomen in Compilers and Tools ReceptionScheduleProgramKeynoteThe Cerberus Memory Object Semantics for ISO and De Facto CLLVM x Blockchains = A new Ecosystem of Decentralized ApplicationsTutorialsPointers, Alias & ModRef AnalysesScalar Evolution - DemystifiedBoFsTowards implementing #pragma STDC FENV_ACCESSBuild system integration for interactive toolsClang Static Analyzer BoFLLVM Foundation BoFTalksA Parallel IR in Real Life: Optimizing OpenMPAn Introduction to AMD Optimizing C/C++ CompilerDeveloping Kotlin/Native infrastructure with LLVM/Clang, travel notes.Extending LoopVectorize to Support Outer Loop Vectorization Using VPlanFinding Iterator-related Errors with Clang Static AnalyzerFinding Missed Optimizations in LLVM (and other compilers)Global code completion and architecture of clangdHardening the Standard LibraryImplementing an LLVM based Dynamic Binary Instrumentation frameworkLLVM Greedy Register Allocator – Improving Region Split DecisionsMIR-Canon: Improving Code Diff Through Canonical Transformation.New PM: taming a custom pipeline of Falcon JITOrganising benchmarking LLVM-based compiler: Arm experiencePerformance Analysis of Clang on DOE Proxy AppsPoint-Free TemplatesProtecting the code: Control Flow Enforcement TechnologyLightning TalksC++ Parallel Standard Template LIbrary support in LLVMCan reviews become less of a bottleneck?Clacc: OpenACC Support for Clang and LLVMDragonFFI: Foreign Function Interface and JIT using Clang/LLVMEasy::Jit: Compiler-assisted library to enable Just-In-Time compilation for C++ codesFlang -- Project UpdateLook-Ahead SLP: Auto-vectorization in the Presence of Commutative OperationsLow Cost Commercial Deployment of LLVMMeasuring the User Debugging ExperienceMeasuring x86 instruction latencies with LLVMOpenMP Accelerator Offloading with OpenCL using SPIR-VParallware, LLVM and supercomputingReturning data-flow to asynchronous programming through static analysisRFC: A new divergence analysis for LLVMStatic Performance Analysis with LLVMSupporting the RISC-V Vector Extensions in LLVMUsing Clang Static Analyzer to detect Critical Control FlowPostersAutomatic Profiling for Climate ModelingCross Translation Unit Analysis in Clang Static Analyzer: Qualitative Evaluation on C/C++ projectsEffortless Differential Analysis of Clang Static Analyzer ChangesOffloading OpenMP Target Regions to FPGA Accelerators Using LLVMUsing clang as a Frontend on a Formal Verification ToolStudent Research CompetitionCompile-Time Function Call Interception to Mock Functions in C/C++Improved Loop Execution Modeling in the Clang Static AnalyzerUsing LLVM in a Model Checking WorkflowTravel Grants for StudentsCode of ConductContactConference Dates: April 16-17, 2018Location: Bristol Marriott Hotel City Centre, Bristol, UKEvent Site: https://llvm.org/devmtg/2018-04/AboutThe meeting serves as a forum for LLVM, Clang, LLDB and other LLVM project developers and users to get acquainted, learn how LLVM is used, and exchange ideas about LLVM and its (potential) applications. The conference will be two full days that include technical talks, BoFs, hacker’s lab, tutorials, a poster session and a reception.We believe the event will be of particular interest to the following people:Active developers of projects in the LLVM Umbrella (LLVM core, Clang, LLDB, libc++, compiler_rt, klee, lld, etc).Anyone interested in using these as part of another project.Compiler, programming language, and runtime enthusiasts.Those interested in using compiler and toolchain technology in novel and interesting ways.Please sign up for the LLVM Developers’ Meeting List list for future announcements and to ask questions.Women in Compilers and Tools ReceptionThe LLVM Foundation is excited to announce our second Women in Compilers and Tools Reception to be held in conjuction with the 2018 European LLVM Developers’ Meeting! Tickets are available here.This is an evening reception on April 15th that includes dinner, drinks, and a panel featuring well known women in the field of compilers and tools. The confirmed speakers are Anastasia Stulova and Karine Heydemann. The event will be held at a restaurant called Riverstation.This event aims to connect women in the LLVM community and the field of compilers and tools. It also is open to anyone (men or women) who is intersted in increasing diversity within the LLVM community, their workplace or university.ScheduleView the online schedule.For travel booking purposes:Women in Compilers and Tools: Sunday April 15, 2018 from 6:00 PM to 9:00 PM.Developers meeting: from Monday Apr 16, 2018, 8:00 AM to Tuesday, Apr 17, 2018, 6:30 PMProgramKeynoteThe Cerberus Memory Object Semantics for ISO and De Facto CP. Sewell [Slides]LLVM x Blockchains = A new Ecosystem of Decentralized ApplicationsR. Zhong [Slides] [Video]TutorialsPointers, Alias & ModRef AnalysesA. Sbirlea, N. Lopes [Slides] [Video]Scalar Evolution - DemystifiedJ. Absar [Slides] [Video]BoFsTowards implementing #pragma STDC FENV_ACCESSU. WeigandBuild system integration for interactive toolsI. Biryukov, H. Wu, E. Liu, S. McCallClang Static Analyzer BoFDevin CoughlinLLVM Foundation BoFLLVM Foundation Board of DirectorsTalksA Parallel IR in Real Life: Optimizing OpenMPH. Finkel, J. Doerfert, X. Tian, G. Stelle [Slides] [Video]An Introduction to AMD Optimizing C/C++ CompilerD. Das [Slides] [Video]Developing Kotlin/Native infrastructure with LLVM/Clang, travel notes.N. Igotti [Slides] [Video]Extending LoopVectorize to Support Outer Loop Vectorization Using VPlanD. Caballero, S. Guggilla [Slides] [Video]Finding Iterator-related Errors with Clang Static AnalyzerÁ. Balogh [Slides] [Video]Finding Missed Optimizations in LLVM (and other compilers)G. Barany [Slides] [Video]Global code completion and architecture of clangdE. Liu, H. Wu, I. Biryukov, S. McCall [Slides] [Video]Hardening the Standard LibraryM. Clow [Slides] [Video]Implementing an LLVM based Dynamic Binary Instrumentation frameworkC. Hubain, C. Tessier [Slides] [Video]LLVM Greedy Register Allocator – Improving Region Split DecisionsM. Yatsina [Slides] [Video]MIR-Canon: Improving Code Diff Through Canonical Transformation.P. Lotfi [Slides] [Video]New PM: taming a custom pipeline of Falcon JITF. Sergeev [Video]Organising benchmarking LLVM-based compiler: Arm experienceE. Astigeevich [Video]Performance Analysis of Clang on DOE Proxy AppsH. Finkel, B. Homerding [Slides] [Video]Point-Free TemplatesA. Gozillon, P. Keir [Slides] [Video]Protecting the code: Control Flow Enforcement TechnologyO. Simhon [Slides] [Video]Lightning TalksC++ Parallel Standard Template LIbrary support in LLVMM. Dvorskiy, J. Cownie, A. Kukanov [Slides] [Video]Can reviews become less of a bottleneck?K. Beyls [Slides] [Video]Clacc: OpenACC Support for Clang and LLVMJ. Denny, S. Lee, J. Vetter [Slides] [Video]DragonFFI: Foreign Function Interface and JIT using Clang/LLVMA. Guinet [Slides] [Video]Easy::Jit: Compiler-assisted library to enable Just-In-Time compilation for C++ codesJuan Manuel Martinez Caamaño, J. Fernandez, S. Guelton [Slides] [Video]Flang -- Project UpdateS. Scalpone [Slides] [Video]Look-Ahead SLP: Auto-vectorization in the Presence of Commutative OperationsV. Porpodas, R. Rocha, L. Góes [Slides] [Video]Low Cost Commercial Deployment of LLVMJ. Bennett [Slides] [Video]Measuring the User Debugging ExperienceG. Bedwell [Slides]Measuring x86 instruction latencies with LLVMG. Chatelet, C. Courbet, B. De Backer, O. Sykora [Slides] [Video]OpenMP Accelerator Offloading with OpenCL using SPIR-VD. Schürmann, J. Lucas, B. Juurlink [Slides] [Video]Parallware, LLVM and supercomputingM. Arenaz [Slides] [Video]Returning data-flow to asynchronous programming through static analysisM. Gilbert [Slides] [Video]RFC: A new divergence analysis for LLVMS. Moll, T. Klössner, S. Hack [Slides] [Video]Static Performance Analysis with LLVMC. Courbet, O. Sykora, G. Chatelet, B. De Backer [Slides] [Video]Supporting the RISC-V Vector Extensions in LLVMR. Kruppe, J. Oppermann, A. Koch [Slides] [Video]Using Clang Static Analyzer to detect Critical Control FlowS. Cook [Slides] [Video]PostersAutomatic Profiling for Climate ModelingA. Gerbes, N. Jumah, J. Kunkel [Slides]Cross Translation Unit Analysis in Clang Static Analyzer: Qualitative Evaluation on C/C++ projectsG. Horvath, P. Szecsi, Z. Gera, D. KruppEffortless Differential Analysis of Clang Static Analyzer ChangesG. Horváth, R. Kovács, P. SzécsiOffloading OpenMP Target Regions to FPGA Accelerators Using LLVML. Sommer, J. Oppermann, J. Korinth, A. KochUsing clang as a Frontend on a Formal Verification ToolM. Gadelha, J. Morse, L. Cordeiro, D. NicoleStudent Research CompetitionCompile-Time Function Call Interception to Mock Functions in C/C++G. Márton, Z. Porkoláb [Slides] [Video]Improved Loop Execution Modeling in the Clang Static AnalyzerP. SzécsiUsing LLVM in a Model Checking WorkflowG. Sallai [Slides] [Video]Travel Grants for StudentsThe LLVM Foundation sponsors student travel to attend the LLVM Developers’ Meeting. Travel grants cover some or all of travel related expenses. This program is open to full-time undergraduate and graduate students.Please submit your application by February 26th, 2018 at 5:00 PM PDT. Full details on eligibility and the selection process are provided in the application. Notification of successful travel grant awards will be sent via email by March 2, 2018.Code of ConductThe LLVM Foundation is dedicated to providing an inclusive and safe experience for everyone. We do not tolerate harassment of participants in any form. By registering for this event, we expect you to have read and agree to the LLVM Code of Conduct.ContactTo contact the organizers, Arnaud de Grandmaison and Phillip Power, please email eurollvm-organizers@lists.llvm.org.