diff --git a/data/desc.txt b/data/desc.txt index db74feb..58e9371 100644 --- a/data/desc.txt +++ b/data/desc.txt @@ -1,3 +1,3 @@ -Interval Parsing Grammars for File Format Parsing -Zhang, Jialun, et al. “Interval Parsing Grammars for File Format Parsing.” Proceedings of the ACM on Programming Languages, vol. 7, no. PLDI, June 2023, pp. 1073–95. Crossref, https://doi.org/10.1145/3591264. -File formats specify how data is encoded for persistent storage. They cannot be formalized as context-free grammars since their specifications include context-sensitive patterns such as the random access pattern and the type-length-value pattern. We propose a new grammar mechanism called Interval Parsing Grammars IPGs) for file format specifications. An IPG attaches to every nonterminal/terminal an interval, which specifies the range of input the nonterminal/terminal consumes. By connecting intervals and attributes, the context-sensitive patterns in file formats can be well handled. In this paper, we formalize IPGs' syntax as well as its semantics, and its semantics naturally leads to a parser generator that generates a recursive-descent parser from an IPG. In general, IPGs are declarative, modular, and enable termination checking. We have used IPGs to specify a number of file formats including ZIP, ELF, GIF, PE, and part of PDF; we have also evaluated the performance of the generated parsers. \ No newline at end of file +UniRec: a unimodular-like framework for nested recursions and loops +Sundararajah, Kirshanthan, et al. “UniRec: A Unimodular-like Framework for Nested Recursions and Loops.” Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA2, Oct. 2022, pp. 1264–90. Crossref, https://doi.org/10.1145/3563333. +Scheduling transformations reorder operations in a program to improve locality and/or parallelism. There are mature loop transformation frameworks such as the polyhedral model for composing and applying instance-wise scheduling transformations for loop nests.In recent years, there have been efforts to build frameworks for composing and applying scheduling transformations for nested recursion and loops, but these frameworks cannot employ the full power of transformations for loop nests since they have overly-restrictive representations. This paper describes a new framework, UniRec, that not only generalizes prior frameworks for reasoning about transformations on recursion, but also generalizes the unimodular framework, and hence unifies reasoning about perfectly-nested loops and recursion. \ No newline at end of file diff --git a/data/history.txt b/data/history.txt index 9602fa9..b53eba1 100644 --- a/data/history.txt +++ b/data/history.txt @@ -8,4 +8,5 @@ https://doi.org/10.1145/3571204 https://doi.org/10.1145/3571211 https://doi.org/10.1145/3547652 https://doi.org/10.1145/3314221.3314607 -https://doi.org/10.1145/3591264 \ No newline at end of file +https://doi.org/10.1145/3591264 +https://doi.org/10.1145/3563333 \ No newline at end of file diff --git a/data/next.txt b/data/next.txt index 6ea531f..49509dd 100644 --- a/data/next.txt +++ b/data/next.txt @@ -1 +1 @@ -https://doi.org/10.1145/3591264 \ No newline at end of file +https://doi.org/10.1145/3563333 \ No newline at end of file diff --git a/data/past.txt b/data/past.txt index 83a84ea..0fb1051 100644 --- a/data/past.txt +++ b/data/past.txt @@ -1,3 +1,4 @@ https://doi.org/10.1145/3314221.3314607 -https://doi.org/10.1145/3591264 \ No newline at end of file +https://doi.org/10.1145/3591264 +https://doi.org/10.1145/3563333 \ No newline at end of file diff --git a/docs/next.md b/docs/next.md index 79a5732..ff3eb6b 100644 --- a/docs/next.md +++ b/docs/next.md @@ -1 +1 @@ -Zhang, Jialun, et al. “Interval Parsing Grammars for File Format Parsing.” Proceedings of the ACM on Programming Languages, vol. 7, no. PLDI, June 2023, pp. 1073–95. Crossref, https://doi.org/10.1145/3591264. \ No newline at end of file +Sundararajah, Kirshanthan, et al. “UniRec: A Unimodular-like Framework for Nested Recursions and Loops.” Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA2, Oct. 2022, pp. 1264–90. Crossref, https://doi.org/10.1145/3563333. \ No newline at end of file diff --git a/docs/papers.md b/docs/papers.md index 3b18e43..a44765c 100644 --- a/docs/papers.md +++ b/docs/papers.md @@ -1,2 +1,3 @@ -1. Zhang, Jialun, et al. “Interval Parsing Grammars for File Format Parsing.” Proceedings of the ACM on Programming Languages, vol. 7, no. PLDI, June 2023, pp. 1073–95. Crossref, https://doi.org/10.1145/3591264. -2. Liao, Kevin, et al. “ILC: A Calculus for Composable, Computational Cryptography.” Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2019. Crossref, https://doi.org/10.1145/3314221.3314607. \ No newline at end of file +1. Sundararajah, Kirshanthan, et al. “UniRec: A Unimodular-like Framework for Nested Recursions and Loops.” Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA2, Oct. 2022, pp. 1264–90. Crossref, https://doi.org/10.1145/3563333. +2. Zhang, Jialun, et al. “Interval Parsing Grammars for File Format Parsing.” Proceedings of the ACM on Programming Languages, vol. 7, no. PLDI, June 2023, pp. 1073–95. Crossref, https://doi.org/10.1145/3591264. +3. Liao, Kevin, et al. “ILC: A Calculus for Composable, Computational Cryptography.” Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2019. Crossref, https://doi.org/10.1145/3314221.3314607. \ No newline at end of file