Zhang J, Morrisett G and Tan G.
(2023). Interval Parsing Grammars for File Format Parsing. Proceedings of the ACM on Programming Languages. 10.1145/3591264. 7:PLDI. (1073-1095). Online publication date: 6-Jun-2023.
Evgin A, Solovev M and Padaryan V.
(2022). A Model and Declarative Language for Specifying Binary Data Formats. Programming and Computer Software. 10.1134/S0361768822070040. 48:7. (469-483). Online publication date: 1-Dec-2022.
Laurent N and Mens K. Taming context-sensitive languages with principled stateful parsing. Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering. (15-27).
Reis L, Bigonha R, Di Iorio V and Amorim L.
(2014). The formalization and implementation of Adaptable Parsing Expression Grammars. Science of Computer Programming. 96:P2. (191-210). Online publication date: 15-Dec-2014.
Erdweg S, Rendel T, Kästner C and Ostermann K.
(2013). Layout-Sensitive Generalized Parsing. Software Language Engineering. 10.1007/978-3-642-36089-3_14. (244-263).
Liu J, Zhu F and He F.
(2023). Automated Ambiguity Detection in Layout-Sensitive Grammars. Proceedings of the ACM on Programming Languages. 7:OOPSLA2. (1150-1175). Online publication date: 16-Oct-2023.
M. Cardoso E, De Paula R, Pereira D, Reis L and Ribeiro R. Type-based Termination Analysis for Parsing Expression Grammars. Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. (1372-1379).
Mishra A and Jagannathan S.
(2022). Specification-guided component-based synthesis from effectful libraries. Proceedings of the ACM on Programming Languages. 6:OOPSLA2. (616-645). Online publication date: 31-Oct-2022.
Eichholz M, Campbell E, Krebs M, Foster N and Mezini M.
(2022). Dependently-typed data plane programming. Proceedings of the ACM on Programming Languages. 6:POPL. (1-28). Online publication date: 16-Jan-2022.
Debnath J, Chau S and Chowdhury O. On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees. Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. (1388-1404).
Chida N, Kawakoya Y, Ikarashi D, Takahashi K and Sen K. Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms. Proceedings of the 29th International Conference on Compiler Construction. (155-166).
Saikunas A. Just-in-time Parsing with Scannerless Earley Virtual Machines. Proceedings of the 3rd International Conference on Vision, Image and Signal Processing. (1-10).
Amorim L, Steindorfer M, Erdweg S and Visser E. Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages. Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering. (3-15).
Kuramitsu K. A symbol-based extension of parsing expression grammars and context-sensitive packrat parsing. Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. (26-37).
Bos J. Sustainable automated data recovery: a research roadmap. Proceedings of the 1st ACM SIGSOFT International Workshop on Software Engineering and Digital Forensics. (6-9).
Dijk R, Creeten C, Ham J and Bos J. Model-driven software engineering in practice: privacy-enhanced filtering of network traffic. Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. (860-865).
Kuramitsu K. Nez: practical open grammar language. Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. (29-42).
Brachthäuser J, Rendel T and Ostermann K. Parsing with first-class derivatives. Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. (588-606).
Afroozeh A and Izmaylova A. Iguana: a practical data-dependent parsing framework. Proceedings of the 25th International Conference on Compiler Construction. (267-268).
Afroozeh A and Izmaylova A. Operator precedence for data-dependent grammars. Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. (13-24).
Izmaylova A, Afroozeh A and Storm T. Practical, general parser combinators. Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. (1-12).
Afroozeh A and Izmaylova A. One parser to rule them all. 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!). (151-170).
Parr T, Harwell S and Fisher K. Adaptive LL(*) parsing. Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. (579-598).
Silkensen E and Siek J. Well-Typed Islands Parse Faster. Proceedings of the 2012 Conference on Trends in Functional Programming - Volume 7829. (69-84).
Affeldt R, Nowak D and Oiwa Y. Formal network packet processing with minimal fuss. Proceedings of the sixth workshop on Programming languages meets program verification. (27-36).
van den Bos J and van der Storm T. Bringing domain-specific languages to digital forensics. Proceedings of the 33rd International Conference on Software Engineering. (671-680).
Jim T and Mandelbaum Y. A new method for dependent parsing. Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software. (378-397).
Jim T and Mandelbaum Y. Delayed semantic actions in Yakker. Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications. (1-8).