David Broman
@DavidKarlBroman
Followers
76
Following
4
Statuses
38
Tips and thoughts on research and technology in general, and computer science in particular.
Stockholm, Sweden
Joined April 2014
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.
0
1
7
RT @lateinteraction: 🚨Announcing the largest study focused on *how* to optimize the prompts within LM programs, a key DSPy challenge. Shou…
0
126
0
If you are interested in programming language theory and large language models, check out our new open and exciting PhD position:
0
0
0
Check out a great guest lecture in our course Interactive Theorem Proving, "Introduction to Agda", by Jeremy Siek via @YouTube
0
0
0
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.).
0
0
0
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:
0
0
4
Check out our new paper, "Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers", presented at GPCE, Splash last week!
0
0
1
RT @QuantaMagazine: What is a mathematical proof? What we tend to think of as an eternal, immutable truth, is perhaps better understood as…
0
122
0
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:
0
0
6
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: #compilers, #MachineLearning , #programminglanguages, #bayesian
0
0
3
Today my Ph.D. student Viktor Palmkvist made an excellent presentation of our paper on Statically Resolvably Ambiguity at POPL 2023 in Boston, I'm really proud of the work and Viktor's results. See the open access version:
0
2
4
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
0
0
0
Check out this new video where I explain the basics of the lambda calculus and the fundamentals of type checking via @YouTube
0
0
1
A new educational video: Parsing using Menhir - constructing an abstract syntax tree (AST) via @YouTube
0
0
0
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: Welcome! #kth #programming
0
1
3
