🏳️⚧️ [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
🏳️⚧️ [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
Posts
🏳️⚧️ [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
ugh why is flying to Vienna twice the price as flying to Paris, seriously Québec your franco-favoritism is showing...
🏳️⚧️ [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
Transit card acquired!
🏳️⚧️ [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
holy smokes Ottawa is expensive (compared to mtl)
🏳️⚧️ [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
ottawa has the most insane bus system
🏳️⚧️ [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
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?
🏳️⚧️ [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
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
🏳️⚧️ [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
we should really move njpls to be hybrid, I have so much fomo now that I'm missing it
🏳️⚧️ [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
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 😅
🏳️⚧️ [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
@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
🏳️⚧️ [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
@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 😅
🏳️⚧️ [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
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
🏳️⚧️ [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