Profile avatar
notypes.bsky.social
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/). building new languages and compilers to make hardware design fast, fun, and correct
90 posts 897 followers 181 following
Regular Contributor
Active Commenter
Posts 28 Comments 22

SPAA'25 is seeking submissions! Uniquely this year, SPAA seeks a broader set of research areas, including algorithms, systems, PL, applications, quantum, and more. The central theme is parallelism and concurrency. Deadline: Feb 28 Please consider submitting! spaa.acm.org/call-for-pap...

submitted 31 days ago • 0 comments

Well-deserved! Iris is also a really great example of how well-engineered artifacts make it dramatically easier to pursue technically deep research.

submitted 31 days ago • 0 comments

What are people's favorite "core systems" textbooks (OS, Networking, Databases, etc.)?

submitted 31 days ago • 4 comments

using emacs (spacemacs) and enjoying it...i have been corrupted

submitted 36 days ago • 3 comments

Switching to OCaml really makes me appreciate how much effort Rust folks put into good error messages

submitted 41 days ago • 0 comments

What role should Student Research Competitions play in mentoring new researchers? @notypes.bsky.social and @avh.bsky.social argue for a renewed focus on feedback and visibility for SRCs. blog.sigplan.org/2025/01/13/t...

submitted 45 days ago • 1 comment

Mentoring is incredibly important to students and young researchers. @notypes.bsky.social and @avh.bsky.social talk about the "missing mentoring pillar" in our latest PL Perspectives blog post blog.sigplan.org/2025/01/13/t...

submitted 45 days ago • 0 comments

Been thinking about these ideas for a couple of years! Finally time to put them into action and make the SRC an awesome place for junior researchers to get high-quality feedback on ongoing work!

submitted 45 days ago • 0 comments

The paper on Data Race Freedom a la Mode was just awarded a Distinguished Paper award at POPL25! An excellent excuse to read all about a potential future for safe parallel programming in OCaml. richarde.dev/papers/2025/...

submitted 45 days ago • 1 comment

wait does ocaml NOT have global DCE?

submitted 48 days ago • 0 comments

☕️ We’re running LATTE again: our ASPLOS workshop about languages/compilers/tools/whatever for hardware design. Submissions are just little 2-pagers, due on January 31. Plenty of time to throw something together! capra.cs.cornell.edu/latte25/

submitted 49 days ago • 0 comments

Also a classic example of something architects thought would be good (resolving branches take time so lets do something useful in the middle) but didn't really work because compilers and programmers couldn't use it well!

submitted 50 days ago • 1 comment

Okay, I am in NYC for a bit. Where do the cool people (PL / Systems / Architecture) hang out?? I promise food and hot takes.

submitted 51 days ago • 2 comments

If you're working in the general area of languages and/or accelerators, you should absolutely submit a paper! I'm biased of course, but LATTE always has a ton of great people and interesting discussion so I hope to see everyone there :) Submissions close on Jan 31 The workshop is on March 30

submitted 52 days ago • 0 comments

there is an art in writing a one-page long letter of recommendation for a student and still making it compelling. concise, to the point, and hard to ignore.

submitted 53 days ago • 0 comments

SIGPLAN-M and PLTea.github.io continue to fuel my belief that broader, virtual meet-ups are an incredibly important way to grow the research community. Looks like folks at PLDI also agree!!

submitted 54 days ago • 0 comments

Before PLDI 2021, in-person PC meetings were the norm. The steering committee decided to reconsider, 4 years hence, whether to revive them. That bill has come due. We have survey results. blog.sigplan.org/2025/01/02/s...

submitted 54 days ago • 0 comments

Academic LoRs: "This student is fantastic! Let me spend the next 2 pages describing the nuances of their research experience and places for growth......" Industrial LoRs: "The student performed well under my supervision."

submitted 58 days ago • 1 comment

After 6 wonderful years with @samps.phd at Cornell, I have finally defended my PhD, written a 250-page document, and submitted that one NSF survey form Thank you to everyone who was a part of the journey and I am excited for the next chapter!

submitted 62 days ago • 2 comments

waiting for synopsys to release the "Design Transpiler" to make money off of people who tell me transpilers are different from compilers

submitted 62 days ago • 0 comments

We're running our early workshop on building new languages, tools, and techniques for accelerator design (capra.cs.cornell.edu/latte25/) co-located with ASPLOS! It's an awesome crowd of PL, Compilers, and HW design folks all of whom are passionated about making accelerator design better!

submitted 66 days ago • 0 comments

Another recommendation question: any guides/books on reasoning about temporal logics in theorem provers?

submitted 77 days ago • 1 comment

PL/FM people: any recommendations for books on temporal logics? Looking for two kinds: - Overview of various logics (linear, tree, finite, stream, etc.) - In-depth details about the mathematical models used to reason about them

submitted 77 days ago • 1 comment

Who are the new* PL faculty in US? If you / someone you started in as a PL faculty, can you please point me to them? *last two years and starting next year

submitted 79 days ago • 7 comments

PLsky: what are some topics to cover in an "Advanced tools in PL" class? My picks: - Metaprogramming Systems (macros, user-scheduling) - Type systems (Graded modal, dependent, substructural) - Program logics (hoare, incorrectness) What else?

submitted 82 days ago • 8 comments

Since enough of PL twitter seems to have moved on here: Hi I'm Raghav; I'm a PhD candidate at Purdue and I'm on the faculty job market this year! My research lies at the intersection of PL and security; specifically, I like making privacy-preserving programs more efficient and...

submitted 84 days ago • 1 comment

Lindsey Kuper's* group has produced this fantastic zine on choreographic programming that folks should definitely check out: decomposition.al/blog/2024/12... (* can't seem to find Lindsey here but please tag if you know the handle)

submitted 83 days ago • 0 comments

Really enjoyed this post from John (demystifying a Cousot paper)! There is something so satisfying about being able to articulate the relationships between things that seem *just* similar enough.

submitted 83 days ago • 1 comment