| Webpage | https://www.seas.gwu.edu/~gparmer/ |
| Youtube | https://www.youtube.com/channel/UC8-zle4WDSKZx6yUUWdExvA |
| Github | https://github.com/gparmer |
| @__gparmer |
How does one find a weekend to un-jankify their emacs configuration?
I crap you not, I have a ton of cruft in there from before useful versions of use-package and melpa exist. Now it is Frankenstein monstered in with more modern approaches.
Sigh. If only time grew on trees.
I don't know of any research that the pl community has done to make ebpf programming actually good.
There's a massively deployed jit/verified execution environment that is integral to most modern infrastructure, and programming it sucks.
Seems like low-hanging fruit.
Am I missing existing work?
It has been really encouraging to see so many of the other students at UW stand up for the women of the systems lab.
@krismicinski I guess I'm wrong with all of this as the MS transformation also serializes execution through rules, to ensure that the constants prune out unneeded execution. Inlining + constant prop wouldn't prune as they don't transform the execution order.
Sorry, guess I had to talk this all through on my own.
Is there a reason that we shouldn't just think of the magic sets transformation as applying inlining + constant propagation? Maybe adding the body terms is semantically different, but I can't grok how.
There's a lot of pomp and circumstance around magic sets, but I'm guessing it is mainly historical.
Am I missing anything?
I am delighted to announce that I'll be joining MIT as a tenure-track assistant professor in the 2025-26 academic year!
MIT has an incredible history of connecting programming languages with computer architecture and I could not imagine a better place to pursue my work!
Very broadly, I'm excited to continue building real systems that democratize the *design* and *use* of specialized hardware! There are tons of challenges and opportunities in the space that can only be addressed with a full-stack view of the problem: https://rachit.pl
There are tons of more details to come but the really important one is this: I am recruiting PhD students THIS FALL!
if you're excited to build awesome languages, compilers, and tools for high-performance hardware, come build awesome stuff with me at MIT!!
Dan Ports
Irene Zhang
Rachit