Houshmand F, Lesani M and Vora K. (2021). Grafs: declarative graph analytics. Proceedings of the ACM on Programming Languages. 5:ICFP. (1-32). Online publication date: 22-Aug-2021.

Dhulipala L, Blelloch G and Shun J. Low-latency graph streaming using compressed purely-functional trees. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. (918-934).

Pai S and Pingali K. (2016). A compiler for throughput optimization of graph algorithms on GPUs. ACM SIGPLAN Notices. 51:10. (1-19). Online publication date: 5-Dec-2016.

https://doi.org/10.1145/3022671.2984015

Pai S and Pingali K. A compiler for throughput optimization of graph algorithms on GPUs. Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. (1-19).

https://doi.org/10.1145/2983990.2984015

Smith C and Albarghouthi A. (2016). MapReduce program synthesis. ACM SIGPLAN Notices. 51:6. (326-340). Online publication date: 1-Aug-2016.

https://doi.org/10.1145/2980983.2908102

Smith C and Albarghouthi A. MapReduce program synthesis. Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. (326-340).

https://doi.org/10.1145/2908080.2908102

Lenharth A, Nguyen D and Pingali K. (2016). Parallel graph analytics. Communications of the ACM. 59:5. (78-87). Online publication date: 26-Apr-2016.

https://doi.org/10.1145/2901919

Zhao W, Cao Y, Buneman P, Li J and Ntarmos N. (2024). Automating Vectorized Distributed Graph Computation. Proceedings of the ACM on Management of Data. 2:6. (1-27). Online publication date: 18-Dec-2024.

https://doi.org/10.1145/3698833

IWASAKI H, EMOTO K, MORIHATA A, MATSUZAKI K and HU Z. (2022). Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. Journal of Functional Programming. 10.1017/S0956796821000277. 32.

https://www.cambridge.org/core/product/identifier/S0956796821000277/type/journal_article

Wheatman B and Burns R. (2021). Streaming Sparse Graphs using Efficient Dynamic Sets 2021 IEEE International Conference on Big Data (Big Data). 10.1109/BigData52589.2021.9671836. 978-1-6654-3902-2. (284-294).

https://ieeexplore.ieee.org/document/9671836/

Pandey P, Wheatman B, Xu H and Buluc A. Terrace: A Hierarchical Graph Container for Skewed Dynamic Graphs. Proceedings of the 2021 International Conference on Management of Data. (1372-1385).

https://doi.org/10.1145/3448016.3457313

Dhulipala L, Blelloch G and Shun J. Low-latency graph streaming using compressed purely-functional trees. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. (918-934).

https://doi.org/10.1145/3314221.3314598

Henriksen T, Thorøe F, Elsman M and Oancea C. Incremental flattening for nested data parallelism. Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming. (53-67).

https://doi.org/10.1145/3293883.3295707

Zhang Y, Yang M, Baghdadi R, Kamil S, Shun J and Amarasinghe S. (2018). GraphIt: a high-performance graph DSL. Proceedings of the ACM on Programming Languages. 2:OOPSLA. (1-30). Online publication date: 24-Oct-2018.

https://doi.org/10.1145/3276491

Gill G, Dathathri R, Hoang L, Lenharth A and Pingali K. (2018). Abelian: A Compiler for Graph Analytics on Distributed, Heterogeneous Platforms. Euro-Par 2018: Parallel Processing. 10.1007/978-3-319-96983-1_18. (249-264).

https://link.springer.com/10.1007/978-3-319-96983-1_18

Morihata A, Emoto K, Matsuzaki K, Hu Z and Iwasaki H. (2018). Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. Functional and Logic Programming. 10.1007/978-3-319-90686-7_11. (166-181).

http://link.springer.com/10.1007/978-3-319-90686-7_11

Shashidhar G and Nasre R. (2017). LightHouse: An Automatic Code Generator for Graph Algorithms on GPUs. Languages and Compilers for Parallel Computing. 10.1007/978-3-319-52709-3_18. (235-249).

http://link.springer.com/10.1007/978-3-319-52709-3_18

Samak M, Tripp O and Ramanathan M. (2016). Directed synthesis of failing concurrent executions. ACM SIGPLAN Notices. 51:10. (430-446). Online publication date: 5-Dec-2016.

https://doi.org/10.1145/3022671.2984040

Pai S and Pingali K. (2016). A compiler for throughput optimization of graph algorithms on GPUs. ACM SIGPLAN Notices. 51:10. (1-19). Online publication date: 5-Dec-2016.

https://doi.org/10.1145/3022671.2984015

Samak M, Tripp O and Ramanathan M. Directed synthesis of failing concurrent executions. Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. (430-446).

https://doi.org/10.1145/2983990.2984040

Pai S and Pingali K. A compiler for throughput optimization of graph algorithms on GPUs. Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. (1-19).

https://doi.org/10.1145/2983990.2984015

Jeffrey M, Subramanian S, Abeydeera M, Emer J and Sanchez D. Data-centric execution of speculative parallel programs. The 49th Annual IEEE/ACM International Symposium on Microarchitecture. (1-13).

/doi/10.5555/3195638.3195644