Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Karen Chung

dblp:364/4612 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2026
0009-0008-9993-7675ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Compilers and program optimization · 56% Programming languages and type systems · 44%
Artificial intelligence
1 paper
Probabilistic and Bayesian machine learning · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Machine learning › Probabilistic and Bayesian machine learning
probabilistic programming
1.012026
Probabilistic Programming with Vectorized Programmable Inference · Proc. ACM Program. Lang. 2026
Programming languages and type systems › probabilistic programming
probabilistic programming language
1.012026
Probabilistic Programming with Vectorized Programmable Inference · Proc. ACM Program. Lang. 2026
Compilers and program optimization
program transformation
1.012026
Probabilistic Programming with Vectorized Programmable Inference · Proc. ACM Program. Lang. 2026
Compilers and program optimization › program transformation
source-to-source transformation
0.312026
Probabilistic Programming with Vectorized Programmable Inference · Proc. ACM Program. Lang. 2026

Methods — techniques the papers use, named apart from their topics

vectorizing map · 2.0automatic differentiation · 2.0
YearPublicationVenuePosition
2026 Probabilistic Programming with Vectorized Programmable Inference
abstract
We present GenJAX, a new language and compiler for vectorized programmable probabilistic inference. GenJAX integrates the vectorizing map (vmap) operation from array programming frameworks such as JAX into the programmable inference paradigm, enabling compositional vectorization of features such as probabilistic program traces, stochastic branching (for expressing mixture models), and programmable inference interfaces for writing custom probabilistic inference algorithms. We formalize vectorization as a source-to-source program transformation on a core calculus for probabilistic programming ( λ GEN ), and prove that it correctly vectorizes both modeling and inference operations. We have implemented our approach in the GenJAX language and compiler, and have empirically evaluated this implementation on several benchmarks and case studies. Our results show that our implementation supports a wide and expressive set of programmable inference patterns and delivers performance comparable to hand-optimized JAX code.
McCoy R. Becker, Mathieu Huot, George Matheos, Karen Chung, Sam Ritchie, Rif A. Saurous, Alexander K. Lew, Martin C. Rinard, Vikash Mansinghka 0001
Proc. ACM Program. Lang.5