Publications of Yitzhak Mandelbaum

• Semantics and Algorithms for Data-dependent Grammars
  T. Jim, Y. Mandelbaum, D. Walker.
  September 2009. Accepted to POPL 2010.
  Technical Report: (pdf).
• Language Support for Processing Distributed Ad Hoc Data
  K. Zhu, D. S. Dantas, K. Fisher, L. Jia, Y. Mandelbaum, V. Pai, D. Walker.
  PPDP 2009.
  Paper: (pdf).
• The Next 700 Data Description Languages
  K. Fisher, Y. Mandelbaum, D. Walker.
  Journal of the ACM, to appear.
  Extended version of POPL 2006 paper of the same name.
  Paper: (pdf).
• Efficient Earley Parsing with Regular Right-hand Sides
  T. Jim and Y. Mandelbaum.
  LDTA 2009.
  Paper: (pdf).
• Adaptive Parsing of Router Configuration Languages
  D. Caldwell, S. Lee, Y. Mandelbaum.
  INM 2008.
  Paper: (pdf).
  Technical Report (extended, earlier version): (pdf).
• A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers
  M. Fernandez, K. Fisher, J.N. Foster, M. Greenberg, and Y. Mandelbaum.
  PADL 2008.
  Paper: (pdf).
• A Dual Semantics for the Data Description Calculus (Extended Abstract)
  Y. Mandelbaum, K. Fisher, D. Walker.
  TFP 2007.
  Paper: (pdf).
• PADS/ML: A Functional Data Description Language
  Y. Mandelbaum, K. Fisher, D. Walker, M. Fernandez, and A. Gleyzer.
  POPL 2007.
  Paper: (pdf).
• PADS/ML: A Functional Data Description Language
  Y. Mandelbaum, K. Fisher, D. Walker, M. Fernandez, and A. Gleyzer.
  Technical Report.
• The Theory and Practice of Data Description
  Yitzhak Mandelbaum.
  Ph.D. Thesis.
• PADS: An End-to-end System for Processing Ad Hoc Data.
  M. Daly, M. Fernandez, K. Fisher, R. Gruber, Y. Mandelbaum, D. Walker, and X. Zheng.
  SIGMOD 2006 demo.
  Paper: (pdf).
• LAUNCHPADS: A System for Processing Ad Hoc Data.
  Mark Daly, Mary Fernandez, Kathleen Fisher, Yitzhak Mandelbaum and David Walker.
  PLAN-X 2006 demo.
  Paper:(pdf).
• PADX: Querying Large-scale Ad Hoc Data with XQuery.
  Mary Fernandez, Kathleen Fisher, Robert Gruber, Yitzhak Mandelbaum.
  PLAN-X 2006.
  Paper: (pdf).
• PADS/T: A Language for Describing and Transforming Ad Hoc Data.
  M. Fernandez, K. Fisher, Y. Mandelbaum, and D. Walker.
  Technical Report.
• The Next 700 Data Description Languages
  K. Fisher, Y. Mandelbaum, and D. Walker.
  POPL 2006.
  Paper: (pdf).
• Dynamic Typing with Dependent Types (extended abstract).
  X. Ou, G. Tan, Y. Mandelbaum, and D. Walker.
  TCS 2004.
  Paper: (pdf)
• An Effective Theory of Type Refinements.
  Y. Mandelbaum, D. Walker, R. Harper.
  ICFP 2003.
  Paper: (pdf)
• ESP: A Language for Programmable Devices.
  S. Kumar, Y. Mandelbaum, X. Yu, K. Li.
  PLDI 2001.