🤝
Make a deal with Michel Steuwer
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
244
Account age
3 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
🧰 Free analysis for Michel Steuwer
Known for
47 views
I am excited to share that I have joined TU Berlin as a full professor and going to lead the Chair of Compilers and Programming Languages.
Anyone from the PL community who fancies a trip to Berlin - give me a shout, I will be happy to host you in Berlin.
9 views
Rudi presented today our ongoing work on Slotted E-Graphs at the EGRAPHS workshop at PLDI.
Slotted E-Graphs add support for bindings to E-Graphs allowing to use them efficiently for many practical languages and applications.
Find out more in our preprint https://michel.steuwer.info/files/publications/2024/EGRAPHS-2024.pdf or reach out if you are interested in trying out Slotted E-Graphs for your a
1 views
An SMT solver selects the set of valid container implementations that satisfy the specified properties. Primrose then ranks the valid implementations based on their runtime performance.
Here is an overview of the process: the developer wants a container where elements are unique. Primrose selects the implementations that satisfy the property and rank them based on their performance.
📊 Post engagement
27
Avg engagement / post
11.1%
Engagement vs followers
Dec 2022
On Mastodon since
🔥 Top post: I am looking for multiple PhD students who are interested in res · 146 likes + reposts
📊 Activity & format
Posting cadence
0.1 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 9 text · 3 image · 0 video.
Follower / following
1.4×
Follows 170 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
You can read more in our paper: https://steuwer.info/files/publications/2025/PLDI-Slotted-E-Graphs.pdf
This contains a formalization of Slotted E-Graphs and our evaluation shows that for some applications we have massive space savings enab…
Slotted E-Graphs are an extension of traditional e-graphs by adding first class support for (bound) variables.
In our experiments with e-graphs we have seen sometimes really aggressive memory growth one due to variables being constantly be…
Excited to be at #PLDI in Seoul 🇰🇷 this week!
Later today, Nicole Heinimann (@SaltyPeppermint) will present our ongoing work on guiding Equality Saturation via Machine Learning: https://pldi25.sigplan.org/details/egraphs-2025-papers/6/Mach…
Are you going to be in Rotterdam on Monday, e.g, for #ASPLOS or #EuroSys?
Come to our Workshop on User-Scheduable Languages https://usl-workshop.github.io/
USLs, as popularized by Halide, provide experts with great control over how to opti…
Rudi presented today our ongoing work on Slotted E-Graphs at the EGRAPHS workshop at PLDI.
Slotted E-Graphs add support for bindings to E-Graphs allowing to use them efficiently for many practical languages and applications.
Find out more …
Excited that our POPL paper “Guided Equality Saturation” (https://michel.steuwer.info/files/publications/2024/POPL-2024-2.pdf) has been selected for the MIT Programming Language Review 2024 (https://plr.csail.mit.edu) that highlights paper…
Leaving Scotland after more than 10 years is bittersweet. I came here as a visiting PhD student in 2012, stayed for a postdoc, and then lectureships at Glasgow and Edinburgh.
I made my career here in Scotland.
I made many friends here.
I m…
I am excited to share that I have joined TU Berlin as a full professor and going to lead the Chair of Compilers and Programming Languages.
Anyone from the PL community who fancies a trip to Berlin - give me a shout, I will be happy to host…
Read more in the paper: https://arxiv.org/pdf/2205.09655.pdf
Attend Xueying's talk at <Programming>: https://2023.programming-conference.org/
Try out our artifact: https://zenodo.org/record/7419588#.Y-DVJC-l1qs
An SMT solver selects the set of valid container implementations that satisfy the specified properties. Primrose then ranks the valid implementations based on their runtime performance.
Here is an overview of the process: the developer wan…
Application developers specify the interface and behavior they want from the container implementation, in the form of syntactic and semantic properties. Syntactic properties are expressed using Traits, and semantic properties using refinem…
Rudi presented today our ongoing work on Slotted E-Graphs at the EGRAPHS workshop at PLDI.
Slotted E-Graphs add support for bindings to E-Graphs allowing to use them efficiently for many practical languages and applications.
Find out more …
Excited that our POPL paper “Guided Equality Saturation” (https://michel.steuwer.info/files/publications/2024/POPL-2024-2.pdf) has been selected for the MIT Programming Language Review 2024 (https://plr.csail.mit.edu) that highlights paper…
Leaving Scotland after more than 10 years is bittersweet. I came here as a visiting PhD student in 2012, stayed for a postdoc, and then lectureships at Glasgow and Edinburgh.
I made my career here in Scotland.
I made many friends here.
I m…
I am excited to share that I have joined TU Berlin as a full professor and going to lead the Chair of Compilers and Programming Languages.
Anyone from the PL community who fancies a trip to Berlin - give me a shout, I will be happy to host…
Read more in the paper: https://arxiv.org/pdf/2205.09655.pdf
Attend Xueying's talk at <Programming>: https://2023.programming-conference.org/
Try out our artifact: https://zenodo.org/record/7419588#.Y-DVJC-l1qs
An SMT solver selects the set of valid container implementations that satisfy the specified properties. Primrose then ranks the valid implementations based on their runtime performance.
Here is an overview of the process: the developer wan…
Application developers specify the interface and behavior they want from the container implementation, in the form of syntactic and semantic properties. Syntactic properties are expressed using Traits, and semantic properties using refinem…
🐘 Community & instance
Home server
mastodon.acm.org
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
✅ Link-verified
Verified link
Proved ownership of a website linked on their profile — Mastodon's green-check verification, a real identity signal rather than a paid badge.
On Mastodon since
Dec 2022
Joined in the Twitter-exodus wave of late 2022 — part of the migration that made Mastodon a real destination.
💡 Facts
🗓️Joined Mastodon in 2022 — 3 years ago.
👁️Averages 27 views per post.
📤Posts about 0.1× per week.
🕵️ Fake follower check
Estimated89/100
Excellent
Credibility score
99%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 99% real, active audience · Low fake-follower risk.
- Strong engagement (~0.1× of followers engage each post) — an active, real audience.
- Verified account.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Professor | Chair of Compilers and Programming Languages at TU Berlin | https://michel.steuwer.info
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Tinana
18%
MaptimeBogota
15%
randomized
14%
peter
13%
Arnfinn Pettersen (NO)
12%
More like this
Find more →
Mastodon
Jennifer R. Povey
@ninjafingers@universeodon.com
244
Followers
Mastodon
randomized
@randomized@masto.bike
244
Followers
Mastodon
peter
@peterdroberts@eldritch.cafe
244
Followers
Mastodon
MaptimeBogota
@maptimebogota@en.osm.town
244
Followers
Mastodon
Arnfinn Pettersen (NO)
@arnfinnp@expressional.social
244
Followers
Mastodon
Tinana ✓
@tina_na@fedibird.com
244
Followers
✉ Message Michel Steuwer
Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.
- ✓ Message any influencer from their listing
- ✓ The influencer gets notified by email
- ✓ Manage every conversation in one inbox
Already Pro? Log in.
🎤 Event / appearance with Michel Steuwer
Booking an event / appearance is a Pro feature. Upgrade to book Michel Steuwer for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Michel Steuwer gets notified by email
- ✓ Fee held in escrow, released after the appearance
Already Pro? Log in.
🚀
You're out of free requests this month
Free accounts get 5 per month. Go Pro for unlimited sponsor pitches, collab requests & sponsorship deals — plus featured placement, the Verified badge, free withdrawals and more.
Upgrade to Pro — $9.95/mo →Your free limit resets on the 1st of next month.
Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove