David Broman

A new educational video: Writing an interpreter for arithmetic and let expressions (in OCaml) youtu.be/UjH1yn7Cx5M?si… via @YouTube

A new educational video: Writing an interpreter with lambdas and closures youtu.be/fCExlQIiGH4?si…

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…

🚨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 @kristahopsalong* @michaelryan207* &team🧵

@lateinteraction Congrats Omar. Fantastic!

I'm excited to share that I will be joining MIT EECS as an assistant professor in Fall 2025! I'll be recruiting PhD students from the December 2024 application pool. Indicate interest if you'd like to work with me on NLP, IR, or ML Systems! Stay tuned for more about my new lab.

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…

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

I agree; this is a very interesting place to live in. The cost of living is definitely an issue, especially for people without well-paying jobs in the high-tech industry (nurses, teachers, etc.).

Is Silicon Valley a modern society? In my first vlog post after moving to California, I reflect on the contrasts between the innovation hub of Palo Alto and infrastructure challenges. Check it out! youtube.com/watch?v=2yXtc2…

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

Short educational video on Liveness Analysis and Interference Graphs youtu.be/eeXk_ec1n6g?si… 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 2023 Miking workshop on Nov 23! Free of charge. In-person in Stockholm or Zoom. Program and registration: miking.org/workshop-2023

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…

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. @jordanacep reports: quantamagazine.org/why-mathematic…

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…

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

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

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

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

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