Exciting news! I'll be joining IIT Madras as an Asst. Prof. starting May 2024, in the department of Chemical Engineering.

Huge thanks to my incredible mentors, family, and friends for their constant support! ❤️❤️❤️

(1/4)

Super excited to be part of the organizing team of OPLSS 2024 at Boston University! I still remember getting inspired from attending it almost 10 years ago!! Please RT and encourage students to register. Registration deadline: March 30. Details: cs.uoregon.edu/research/summe…

Hi Everyone

NYU is hosting the next iteration of the New Jersey PL and Systems Seminar on May 10 in NYC. Here's a link to the details. njpls.org/may2024.html

Participant registration deadline is May 6.
Talk proposals are due by April 10.

🚀Introducing Nemotron-4 15B by NVIDIA! 🎉 With 15B parameters and trained on 8T tokens, it's impressive in multilingual AI. Outperforms all similarly-sized models and dominates in multilingual tasks, even surpassing models 4x larger! #NVIDIA #Nemotron4
arxiv.org/pdf/2402.16819…

Please retweet :)
Fully funded PhD position - Programming Group, Univ. of St.Gallen, Switzerland
The Programming Group: programming-group.com
Application page: tinyurl.com/2s497wsy
The position will be filled as soon as a suitable candidate is found.

Joomy was a research intern with us at AWS and did some great work on model checking distributed protocols. Congratulations Joomy!

If you're POPL 2024 today, please consider attending our talk in Types 3 session: Parametric Subtyping for Structural Parametric Polymorphism. Paper link: ankushdas.github.io/docs/popl24.pdf
Really missing being there in person!

My 2c: Rust has a very bright future as a systems programming language, which is what it was designed to do. But it's not a smart contract programming language, and when you try to use it as one, the gaps become apparent very quickly. Frameworks like Anchor have done very well in…

a little late to the game, but:

I am on the 2024 job market for tenure-track positions!

My research focuses on parallel programming. Specifically: I want to make it simpler and safer to develop parallel software.

site:
cs.cmu.edu/~swestric/
research:
cs.cmu.edu/~swestric/othe…

I am at #NeurIPS2023 . Thrilled to discuss two of our recent works:

Self-Refine: Iterative Refinement w/ Self-Feedback Aman Madaan, Wed 13 Dec 5pm.
selfrefine.info

SPRING: Studying Papers & Reasoning to play Games Yue Wu, Thu 14 Dec 10.45am. arxiv.org/pdf/2305.15486…

Krishna is an excellent researcher and would make a great advisor! Please consider applying to IIT Madras.

I’m thrilled to announce that I'll be joining IIT Madras as an Assistant Professor in April 2024!

I’m immensely grateful to my amazing mentors, family, and friends for their unwavering support. (1/4)

Apply to work with Ankush! He’ll be a great advisor and is going to work on exciting stuff, like the intersection of large language models, formal verification, and programming languages, among other things!

We are super excited to see daily updates from Terence Tao describing his experience learning Lean. Terence Tao is one of the greatest living mathematicians and a Fields medalist. mathstodon.xyz/@tao/111247716…

I got a research grant to begin the proof of formalising Fermat's Last Theorem in Lean! gow.epsrc.ukri.org/NGBOViewGrant.…

The research buys out my teaching and admin for 5 years, which I suspect will not be enough to get it done, but it will certainly be enough to make a big dent in it.

Join us today to discuss code generation, reasoning, LLMs, self-refinement, and their intersection as we present PaL today at #ICML2023 ! Looking forward to seeing you!

Exhibit Hall 1 @ 2pm local time