ESP: A Language for Programmable Devices. - Sanjeev Kumar; Yitzhak Mandelbaum; Xiang Yu; Kai Li 001 (PLDI, 2001)

An effective theory of type refinements. - Yitzhak Mandelbaum; David Walker 001; Robert Harper 001 (ICFP, 2003)

Dynamic Typing with Dependent Types. - Xinming Ou; Gang Tan; Yitzhak Mandelbaum; David Walker (IFIP TCS, 2004)

LAUNCHPADS: A System for Processing Ad Hoc Data. - Mark Daly; Mary F. Fernández; Kathleen Fisher; Yitzhak Mandelbaum; David Walker 001 (PLAN-X, 2006)

PADX: Querying Large-scale Ad Hoc Data with XQuery. - Mary F. Fernández; Kathleen Fisher; Robert Gruber; Yitzhak Mandelbaum (PLAN-X, 2006)

PADS: an end-to-end system for processing ad hoc data. - Mark Daly; Yitzhak Mandelbaum; David Walker 001; Mary F. Fernández; Kathleen Fisher; Robert Gruber; Xuan Zheng (SIGMOD Conference, 2006)

PADS/ML: a functional data description language. - Yitzhak Mandelbaum; Kathleen Fisher; David Walker 001; Mary F. Fernández; Artem Gleyzer (POPL, 2007)

A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. - Mary F. Fernández; Kathleen Fisher; J. Nathan Foster; Michael Greenberg 002; Yitzhak Mandelbaum (PADL, 2008)

Language support for processing distributed ad hoc data. - Kenny Qili Zhu; Daniel S. Dantas; Kathleen Fisher; Limin Jia 001; Yitzhak Mandelbaum; Vivek S. Pai; David Walker 001 (PPDP, 2009)

Efficient Earley Parsing with Regular Right-hand Sides. - Trevor Jim; Yitzhak Mandelbaum (LDTA, 2009)

Semantics and algorithms for data-dependent grammars. - Trevor Jim; Yitzhak Mandelbaum; David Walker 001 (POPL, 2010)

The next 700 data description languages. - Kathleen Fisher; Yitzhak Mandelbaum; David Walker 001 (J. ACM, 2010)

A New Method for Dependent Parsing. - Trevor Jim; Yitzhak Mandelbaum (ESOP, 2011)

Delayed semantic actions in Yakker. - Trevor Jim; Yitzhak Mandelbaum (LDTA, 2011)