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... - ThreadSky

r4ghav.bsky.social • 84 days ago

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...

Comments

r4ghav.bsky.social•84 days ago

...easier to write. You can also read more at my website (https://raghav198.github.io), but:

Multiparty computation (MPC) is cool because it lets us write programs that manipulate private inputs without revealing those inputs, but it comes with a really nonintuitive programming model, so writing good...

r4ghav.bsky.social•84 days ago

...MPC programs takes a lot of cryptographic know-how. My work thinks about building compilers and languages that “bake this in”, to allow nonexperts to write MPC programs that are just as good! Feel free to reach out to me if you have any questions or just want to chat; I’d be happy to!

mvsamuel.bsky.social•83 days ago

Very cool.

Would your work be easier if it was possible to define things, like types with behaviour, that are ubiquitously available in all the PLs used in a distributed system?

r4ghav.bsky.social•83 days ago

I think so? There’s certainly some cool work that uses fancy types to do stuff like protocol selection, but I’d be interested in seeing how much further we can go!

mvsamuel.bsky.social•83 days ago

Cool. I'm baking some demos on how ubiquitous, shared definitional elements simplify some aspects of systems design and testing. I'll ping you when they're baked.

Does your slice of the privacy world make use of "Protection in Programming Languages" mechanisms at all: sealers and trademarks?

r4ghav.bsky.social•83 days ago

I’d be curious to see them! And not directly, although at a glance these seem similar to information flow types?

sebastianprehn.dk•82 days ago

Very interesting! Do you have any papers available for those interested, or any nice recommendations for articles or books about the topic?

r4ghav.bsky.social•82 days ago

Like PLs for MOC? I’ve got a couple papers and preprints on my website, that mostly specialize to the case of homomorphic encryption (a particular style of MPC). For a broader class of MPC I think my favorite example is Viaduct (https://www.cs.cornell.edu/andru/papers/viaduct/viaduct.pdf) but there’s plenty of others!

sebastianprehn.dk•82 days ago

Thanks! I had somehow missed the arxiv links on your website 😅 Your field of research sounded very interesting, so I wanted to give it a curious read, and I see that I have plenty of reading material to check out!

r4ghav.bsky.social•82 days ago

Yeah I really need to reorganize it 🥲

rolando-sgarcia.bsky.social•83 days ago

ASU has multiple openings, including in PL. you should apply! :)

https://apply.interfolio.com/157464

r4ghav.bsky.social•83 days ago

Thanks! I did! :)

Comments

Posting Rules

Reply