Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

amelia

@miado@discuss.systems
  • Open on discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼

PhD Candidate working on Hardware Compilers
--> this is a hybrid academic/silly personal account

Currently based in Paris 🥖🥐🇫🇷
Currently employed by Princeton and YosysHQ

125 Followers
120 Following
13 Posts
Joined January 16, 2025
languages:
🇨🇭🇫🇷 | 🇬🇧 | 🇵🇹 | 🇩🇪 | 🇯🇵 | 🇩🇰
past affiliations:
SiFive | UC Berkeley | USI (Lugano) | ETH Zürich | DTU | EPFL
academic webpage:
https://cs.princeton.edu/~ad4048
git places:
https://github.com/dobios https://gitlab.com/Dobios https://codeberg.org/miado

Posts

Open post
miado
amelia @miado@discuss.systems · Jul 23, 2026
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems
Boosted by Furbland's Very Family-Friendly Account™ @GroupNebula563@mastodon.social
Replying to @zzt@mas.to
@zzt@mas.to if you hear someone say that their local bakery has the best bread and said person is not french, then they are wrong.
0
0
1
0
Open post
miado
amelia @miado@discuss.systems · Jun 01, 2026
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems

ugh why is flying to Vienna twice the price as flying to Paris, seriously Québec your franco-favoritism is showing...

0
0
0
0
Open post
miado
amelia @miado@discuss.systems · May 27, 2026
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems

Transit card acquired!

1
1
0
0
Open post
miado
amelia @miado@discuss.systems · May 27, 2026
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems

holy smokes Ottawa is expensive (compared to mtl)

0
0
0
0
Open post
miado
amelia @miado@discuss.systems · May 27, 2026
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems

ottawa has the most insane bus system

1
1
0
0
Open post
miado
amelia @miado@discuss.systems · May 27, 2026
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems

going to Ottawa today, excited to do some Canadian tourism 🇨🇦

Any of the Canadians here have any recommendations for things to see, food to eat, or coffee to drink?

1
0
0
0
Open post
miado
amelia @miado@discuss.systems · May 24, 2026
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems

oh btw Canada is really amazing (at least Quebec is) it's like most things I hated about society just aren't a thing here

3
1
0
0
Open post
miado
amelia @miado@discuss.systems · May 22, 2026
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems

we should really move njpls to be hybrid, I have so much fomo now that I'm missing it

7
1
0
0
Open post
miado
amelia @miado@discuss.systems · Mar 08, 2026
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems

anyone here going to LATTE and/or APLOS this year? I'm guessing @javathunderman@discuss.systems and potentially @thezoq2@mastodon.social ?

I would also be fun to hang out with anyone here who's in Pittsburgh for other reasons too 😅

2
0
2
0
Open post
miado
amelia @miado@discuss.systems · Mar 08, 2026
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems
Replying to @CanLehmann@mastodon.social

@CanLehmann@mastodon.social I mean there's already an existing pipeline that goes from the core dialects to LLVM IR through arcilator, so in theory this dialect can be used for that too, and as I briefly mentioned in the paper, lc can also very much be used to encode software, so if someone wants to they could pretty straightforwardly write a direct lowering to LLVM IR

1
0
0
0
Open post
miado
amelia @miado@discuss.systems · Mar 08, 2026
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems
Replying to @CanLehmann@mastodon.social

@CanLehmann@mastodon.social hmmm interesting, thanks for the pointer! Glancing at it, it seems quite interesting but also like they're trying to encode a different set of constructs, and don't seem to mention recursion or adts anywhere, so it's unclear how it could model something like Haskell?

There are a couple of dialects that attempted to encode something close to lambda calculus in mlir, most notable one that actually partially upstreamed is rise, but they tended to not want to deal with recursion of higher order functions and their design was really focused around making it easier to target llvm ir, so that's why we opted for making a more recursion focused, hardware oriented one.

It's a very fun space to work it because so many people have different views of what is important to keep in the ir to make the lowering easier, I'm excited to see how much we'll have to change lc when we try to upstream it 😅

0
1
0
0
Open post
miado
amelia @miado@discuss.systems · Mar 08, 2026
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems

We will be presenting at LATTE in a couple of weeks during ASPLOS in Pittsburgh! Our talk will be on our ongoing work on porting the @ClashHDL@fosstodon.org compiler to CIRCT. It's a super fun project where we get to explore some neat optimizations and cool IR design. If you're interested in learning more about it you can read our short LATTE paper here:
https://www.cs.princeton.edu/~ad4048/pdfs/latte-2026-submission-14.pdf

12
2
7
0
Open post
miado
amelia @miado@discuss.systems · Nov 05, 2025
amelia
@miado@discuss.systems

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼 PhD Candidate working on Hardware Compilers --> this is a hybrid academic/silly personal account Currently based in Paris 🥖🥐🇫🇷 Currently employed by Princeton and YosysHQ

discuss.systems
Replying to @adistuder@mstdn.social
@adistuder @timonsku it's because it's objectively the best (also lol wut since when 😂)
3
0
0
0

Remote instance

discuss.systems
Open on original server

Media

313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 22:34:54 UTC