Those topics are really helpful to me as a new PhD student. Big thanks to all the organizers and speakers!

I am looking for a grad. student or a postdoc to work on our MANTIS project on semantics-driven inductive synthesis. Also happy to consider students for our Discover[i] project on distributed systems. cs.purdue.edu/homes/roopsha/ PL Twitter: Please help spread the word. Thanks!

Indeed!

Isil Dillig, Nadia Polikarpova, & I all seem to be offering program verification &/or synthesis courses this spring! Check back for slides. Isil (logical reasoning): bit.ly/38W9Spj Nadia (synthesis): bit.ly/2LDe4BA Me (verification+synthesis): bit.ly/3sCkP79

I'm preparing for my talk, A Visual Language for Types, at Scala Love ❤️ next week. Here's one of about fifty type diagrams I'm going to talk through. I'll share some more over next few days.

Look at us, enjoying sandwiches under sunshine with cool people! @ChrisWagn3r Nouraldin Jaber Roopsha Samanta

Undergrads who are getting started with research often get stuck because they are unfamiliar with various tools. I now point them to this very useful course: missing.csail.mit.edu

You cannot miss this! KC Sivaramakrishnan, Professor & Hacker, introduces effect handlers in OCaml, walking through several examples that illustrate their utility, describing the retrofitting challenges and how he overcome them without breaking existing #OCaml code: youtu.be/VEhkhxoGJSk

I am on the academic job market this year! I’m a PL researcher working in synthesis and automated verification. I want to create tools that make it easier to write safe, correct programs. My application materials are here: cs.utexas.edu/~amiltner/appl…

I have a research blog now! Here I’m glad to introduce my first blog post: A Trick that Makes Classical E-Matching Faster. Go check it out! effect.systems/blog/ematch-tr…

How to communicate clearly? Majority of our time goes into emails, slack messages, and loads of meetings. Yet, as a student, no one taught me how to communicate well. (I must have annoyed a lot of people along the way ...😬) Here is a template for organizing your message.

And we are done with our #PLDI2022 tutorial! Will share the link to the recording when it’s available. Nouraldin Jaber @ChrisWagn3r (We missed you @JacobsSwen and Milind Kulkarni!)

I am glad to announce that the tutorials and presentations of our first neurosymbolic programming summer school are now available to the public: neurosymbolic.org/summerschool.h… We hope these materials allow researchers to get up to speed in the field, and work with us in advancing it!

Absolutely delighted to announce that two of these works were recognized as distinguished papers! Congrats to Zhe and Yongwei!

It is only made possible with your encouragement and support, especially considering all the bumps it has gone through!! I am truly grateful to have such an amazing advisor in early career. You really deserve the recognition, and I wish the best for any of your future endeavor!