Publications of Yitzhak Mandelbaum

• 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).
• Learning to Talk Cisco IOS: Inferring the IOS Command Language from Router Configuration Data
  D. Caldwell, S. Lee, and Y. Mandelbaum.
  AT&T Technical Report, 2007 (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.