**Abstract**

Recursive call
s over recursive data are widely useful for generating probability distrib
utions\, and probabilistic programming allows computations over these dist
ributions to be expressed in a modular and intuitive way. Exact inference
is also useful\, but unfortunately\, existing probabilistic programming la
nguages do not perform exact inference on recursive calls over recursive d
ata\, forcing programmers to code many applications manually. We introduce
a probabilistic language in which a wide variety of recursion can be expr
essed naturally\, and inference carried out exactly. For instance\, probab
ilistic pushdown automata and their generalizations are easy to express\,
and polynomial-time parsing algorithms for them are derived automatically.
We eliminate recursive data types using program transformations related t
o defunctionalization and refunctionalization. These transformations are a
ssured correct by a linear type system\, and a successful choice of transf
ormations\, if there is one\, is guaranteed to be found by a greedy algori
thm. I will also describe the implementation of this language in two phase
s: first\, compilation to a factor graph grammar\, and second\, computing
the sum-product of the factor graph grammar.

\n
\nDavid Chiang (PhD\, University of Pennsylvania\, 2004) is an assoc
iate professor in the Department of Computer Science and Engineering at th
e University of Notre Dame. His research is on computational models for le
arning human languages\, particularly how to translate from one language t
o another. His work on applying formal grammars and machine learning to tr
anslation has been recognized with two best paper awards (at ACL 2005 and
NAACL HLT 2009). He has received research grants from DARPA\, NSF\, Google
\, and Amazon\, has served on the executive board of NAACL and the editori
al board of Computational Linguistics and JAIR\, and is currently on the e
ditorial board of Transactions of the ACL.

DTSTART;TZID=America/New_York:20221017T120000
DTEND;TZID=America/New_York:20221017T131500
LOCATION:Hackerman Hall B17 @ 3400 N. Charles Street\, Baltimore\, MD 21218
SEQUENCE:0
SUMMARY:David Chiang (University of Notre Dame) “Exact Recursive Probabilis
tic Programming with Colin McDonald\, Darcey Riley\, Kenneth Sible (Notre
Dame) and Chung-chieh Shan (Indiana)”
URL:https://www.clsp.jhu.edu/events/david-chiang-university-of-notre-dame/
X-COST-TYPE:free
X-TAGS;LANGUAGE=en-US:2022\,Chiang\,October
END:VEVENT
END:VCALENDAR