LLVM Social @ Cambridge

Date: June 5th 2025
Time: 15:00 (Talk), 16:00-20:00 (Social)
Location: William Gates Building, 15 JJ Thomson Ave, Cambridge CB3 0FD
Rooms: LT1 (Talk), The Street (Social)
Hosts: Emma Urquhart, Luisa Cicolini, Tobias Grosser


Join us for a relaxed chat about compilers, while socializing over refreshments. Our social is open to students, academics, professional developers and really anyone interested in compilation. We welcome beginners as well as experts. Our social is an unguided space offered for you to get to know people, try out some new ideas, get feedback on your code, or pair-program on a difficult program. Come with just a paper notebook or bring your laptop to hack on some in-progress patches.

This social is traditionally organized by the LLVM community, but is open to all (potential) compiler enthusiasts.


Keynote Talk: Translation Validation for LLVM's AArch64 Backend

Alive2 is a practical oracle for determining whether a transformation on LLVM IR is a refinement -- that is, whether it is valid under the rules for LLVM optimizations. In this talk I'll describe an analogous translation validation solution for LLVM's AArch64 backend that we've used to find 42 miscompilation bugs, many of which were in architecture-neutral code and hence could have also affected other backends. Our tool, arm-tv, reuses Alive2 as a source of LLVM semantics and offers a choice of two AArch64 semantics, one that we wrote by hand and the other derived from ARM's machine readable specification of their ISA.


John Regehr is a computer science professor at the University of Utah, USA. He liked to build tools for compiler developers to use, and then write papers about them.

Sign in to Google to save your progress. Learn more
Attendance
Which parts of the event do you want to participate in? *
Required
Personal Information
Name
 *
Surname
 *
Email *
Affiliation
 *
Can we store your contact information to inform you, e.g., about these socials?
 *
At this event, photography, audio, and video recording may occur. 
 *
Dietary Requirements
 *
Required
Networking
To facilitate networking at the compiler social we gather data on your interest and use this to connect you with other attendees (e.g., via labels on our badges or by sharing a list of attendees).

While networking information may help you to connect with others, just attending is also very welcome.
What are you interested in?
Hiring
Would you like to give a talk in one of our next socials? If so, please propose a title!
Can we share your networking information? *
Experiment: Personal Statement (Optional)


To enable new community members to understand the background of our attendees, we additionally offer you the option to share a personal statement, which we will distribute.

Check out the statements of other attendees (who agreed to sharing) for inspiration.

Some examples:
  • I am a PhD student interested in the formal verification of RTL-level circuits, working at the intersection of CIRCT and Lean. I would love to discuss model-checking algorithms.

  • I am an engineer currently translating ML kernels from TOSA to high-performance micro-kernels on ARM. I use MLIR, TOSA, and am particularly interested in ISA-level abstractions in MLIR.

  • I am currently developing quantum compilers using MLIR/xDSL and am particularly interested in modeling and optimizing these circuits under noise. I am maintaining https://github.com/my-quantum-compiler/project.

  • I am new to compilers and just want to connect. I heard about xDSL and would love a short introduction to it.


Personal Statement
Submit
Clear form
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google. - Terms of Service - Privacy Policy

Does this form look suspicious? Report

Google Forms