Tobias Grosser
@tobias_grosser
Associate Professor. Compilers, Constraint Programming, Performance Programming, Hardware Design.
mastodon.social/@grosser
ID: 759063904421109760
http://grosser.science 29-07-2016 16:31:52
446 Tweet
2,2K Followers
4,4K Following
Join us tomorrow (24/01) at 4pm Cambridge Computer Science for Menna El-Assady's talk "Visual, Interactive, and Explainable Human-AI Collaboration". talks.cam.ac.uk/talk/index/211…
Are you an undergraduate student? Interested in AI? Curious about Research? Join us Cambridge Computer Science in July/August for a DeepMind Research Summer Internship! I offer topics around AI for systems, interactive theorem proving, and more. cst.cam.ac.uk/news/research-…
On Wed Feb 7, I talk about **The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification** Cambridge Computer Science. Right after, we will host a Compiler Social: grosser.science/compiler-socia… Join us! #mlir #circt LLVM Weekly llvm.org
Great to be Cambridge University today for xDSL project meeting. Lots of interesting discussions and great to see Tobias Grosser and his group, along with Gerard Gorman and Paul Kelly and the imperial #xDSL team too
Our paper "A shared compilation stack for distributed-memory parallelism in stencil DSLs" has been accepted to ASPLOS next month, arxiv.org/pdf/2404.02218…, a collaboration between Tobias Grosser @MichelSteuwer Nick Brown George Bisbas Paul Kelly and others
Join us for the Compiler Social Cambridge Cambridge Computer Science → 19 June 2024! 🍕🍹 💻 Join us for a relaxed chat about compilers, while socializing over snacks and refreshments. grosser.science/compiler-socia… llvm.org LLVM Weekly
Interested in Verified EDA Compilation? Yann Herklotz's Tech-Talk "Hyperblock Scheduling for Verified High-Level Synthesis" will kick off our compiler social on Wed, Jun 19th. Join us to chat about compilers while enjoying Italian food & refreshments Cambridge Computer Science!
Today we had visitors from Cambridge - Tobias_Grosser, Markus Böck Markus Böck & Sasha Lopoukhine Sasha Lopoukhine who gave a talk on Quidditch github.com/opencompl/quid…, their MLIR-based & xDSL-based xdsl.dev deep learning compilers targeting Occamy. Here is us at lunch😀.
Ever wondered why eels are essential for computer scientists? Atalanta Xanthe will hold a *Drawing-based workshop on information and eels* at the Cambridge Computer Science next Tuesday. Join us if you are in town: app.youform.com/forms/colm20c6 instagram.com/atalantaxanthe/
We are sharing a couple of photos from Luca's recent visit to the MLIR (Un)School in Cambridge mlir-school.github.io by Tobias Grosser. Below Luca Colagrande enjoying inspiring interactions & hacking together with Sasha Lopoukhine on Snitch's MLIR-based compiler backend.
The ACM SIGPLAN International Conference on Compiler Construction (CC) 2026 is inviting papers in areas capturing modern compiler design/construction, and its adjacent areas. For more information: conf.researchr.org/track/CC-2026/… CC 2026 will be held in Sydney, Australia, 31-Jan, 1-Feb.