Michel Steuwer✓ Add us as a preferred source on Google
🔄 Data last refreshed 8 days ago
🤝
Make a deal with Michel Steuwer
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
248
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 analysisfor 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
Recent posts · likes + reposts
Feb 6latest
27
Avg engagement / post
1–47
Typical post (engagement)
10.9%
Engagement vs followers
31/100
Variable reach
Dec 2022
On Mastodon since
Half of recent posts land between 1 and 47 likes + reposts (median 9) — reach is spiky, driven by the occasional post that pops.
🔥 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.5×
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
Estimated75/100
Good
Credibility score
92%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 92% real, active audience · Low fake-follower risk.
- Engagement (~0.1× of followers engage each post) is around typical for Mastodon.
- 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.
SoulforSale
18%
Typhon Baal Hammon
15%
Rheinpegel in Bonn
13%
P. S. F.
12%
Junge Tüftler*innen
11%
More like this
Find more →
Mastodon
＋
P. S. F.
@prsfalken@mastodon.social
248
Followers
Mastodon
＋
SoulforSale
@soulforsale@dresden.network
248
Followers
Mastodon
＋
Typhon Baal Hammon ✓
@typhon@piaille.fr
248
Followers
Mastodon
＋
Junge Tüftler*innen ✓
@jungetueftler@bildung.social
248
Followers
Mastodon
＋
Rheinpegel in Bonn
@rheinpegelbonn@bonn.social
248
Followers
Mastodon
＋
luna
@luna@fedi.mldchan.dev
248
Followers
Frequently asked questions
How much does Michel Steuwer charge for a sponsorship?
Michel Steuwer hasn't published fixed prices yet. Send a proposal through SocialDB and agree terms directly — your payment is held in escrow until the work is approved.
How do I contact Michel Steuwer for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Michel Steuwer, and once they accept, your payment is held safely in escrow and released when the work is approved. You don't need to track down an email.
How many followers does Michel Steuwer have?
Michel Steuwer has 248 followers on Mastodon.
✉ 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