Useful guide to help understanding your American colleagues and friends. :-)

Good to know!

On June 1 and June 7, I will give a short course/tutorial on Bayesian inference and probabilistic programming (beginner's course, free of charge, at KTH in Stockholm or via Zoom). Information and details on how to register: digitalfutures.kth.se/event/2-day-co… Welcome! #kth #programming

A new educational video: Parsing using Menhir - constructing an abstract syntax tree (AST) youtu.be/ly7yvyaDj08 via YouTube

Check out this new video where I explain the basics of the lambda calculus and the fundamentals of type checking youtu.be/LY3JyT5lSuQ via YouTube

Are you interested in compilers and programming languages? Have you ever wanted to create your own small domain-specific language? Welcome to the first Miking workshop on December 14! For info and how to register, see miking.org/workshop-2022

Today my Ph.D. student Viktor Palmkvist made an excellent presentation of our paper on Statically Resolvably Ambiguity at POPL 2023 in Boston, popl23.sigplan.org. I'm really proud of the work and Viktor's results. See the open access version: doi.org/10.1145/3571251

Last week, my excellent Ph.D. student Daniel Lundén successfully defended his Ph.D. thesis. If you are interested in probabilistic machine learning or compilers, please have a look: lnkd.in/drAd6rvV #compilers, #MachineLearning , #programminglanguages, #bayesian

Yesterday evening in Paris, we received the great news that our ESOP paper "Automatic Alignment in Higher-Order Probabilistic Programming Languages" received the best ETAPS paper award on programming languages and systems (the EAPLS Award). Paper link: link.springer.com/chapter/10.100…

What is a mathematical proof? What we tend to think of as an eternal, immutable truth, is perhaps better understood as a social construct, number theorist Andrew Granville explains. Jordana Cepelewicz reports: quantamagazine.org/why-mathematic…

Check out our new paper, "Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers", presented at GPCE, Splash last week! dl.acm.org/doi/10.1145/36…

Are you interested in compilers and programming languages? Have you ever wanted to create your own small domain-specific language? Welcome to the 2023 Miking workshop on Nov 23! Free of charge. In-person in Stockholm or Zoom. Program and registration: miking.org/workshop-2023

Short educational video on Liveness Analysis and Interference Graphs youtu.be/eeXk_ec1n6g?si… via YouTube

Another educational video on Register Allocation using Graph Coloring youtu.be/eWp_-XCwN1A?si… via YouTube

Check out a great guest lecture in our course Interactive Theorem Proving, "Introduction to Agda", by Jeremy Siek youtu.be/0GEHHxjfqV4?si… via YouTube

If you are interested in programming language theory and large language models, check out our new open and exciting PhD position: kth.se/lediga-jobb/72…

🚨Announcing the largest study focused on *how* to optimize the prompts within LM programs, a key DSPy challenge. Should we use LMs to… Craft instructions? Self-generate examples? Handle credit assignment? Specify a Bayesian model? By Krista Opsahl-Ong* Michael Ryan* &team🧵

Are you interested in the intersection of programming languages and large language models? Are you thinking of starting a PhD next year? Please check out this new position at KTH Royal Institute of Technology in Sweden. Application deadline: December 18. kth.se/lediga-jobb/76…