Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Staged Parser Combinators for Efficient Data Processing
 
research article

Staged Parser Combinators for Efficient Data Processing

Jonnalagedda, Manohar  
•
Coppey, Thierry
•
Stucki, Sandro  
Show more
2014
Acm Sigplan Notices

Parsers are ubiquitous in computing, and many applications depend on their performance for decoding data efficiently. Parser combinators are an intuitive tool for writing parsers: tight integration with the host language enables grammar specifications to be interleaved with processing of parse results. Unfortunately, parser combinators are typically slow due to the high overhead of the host language abstraction mechanisms that enable composition. We present a technique for eliminating such overhead. We use staging, a form of runtime code generation, to dissociate input parsing from parser composition, and eliminate intermediate data structures and computations associated with parser composition at staging time. A key challenge is to maintain support for input dependent grammars, which have no clear stage distinction. Our approach applies to top-down recursive-descent parsers as well as bottom-up nondeterministic parsers with key applications in dynamic programming on sequences, where we auto-generate code for parallel hardware. We achieve performance comparable to specialized, hand-written parsers.

  • Details
  • Metrics
Type
research article
DOI
10.1145/2714064.2660241
Web of Science ID

WOS:000348907400036

Author(s)
Jonnalagedda, Manohar  
Coppey, Thierry
Stucki, Sandro  
Rompf, Tiark  
Odersky, Martin  
Date Issued

2014

Publisher

Assoc Computing Machinery

Published in
Acm Sigplan Notices
Volume

49

Issue

10

Start page

637

End page

653

Subjects

Parser combinators

•

multi-stage programming

•

algebraic dynamic programming

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LAMP1  
Available on Infoscience
April 13, 2015
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/113119
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés