1. Gilbert Bernstein Michael Mara Tzu-Mao Li Dougal Maclaurin and Jonathan Ragan-Kelley. 2020. Differentiating a Tensor Language. arXiv preprint arXiv:2008.11256(2020). Gilbert Bernstein Michael Mara Tzu-Mao Li Dougal Maclaurin and Jonathan Ragan-Kelley. 2020. Differentiating a Tensor Language. arXiv preprint arXiv:2008.11256(2020).
2. Christian Bischof , Niels Guertler , Andreas Kowarz , and Andrea Walther . 2008. Parallel Reverse Mode Automatic Differentiation for OpenMP Programs with ADOL-C . In Advances in Automatic Differentiation, Christian H. Bischof, H. Martin Bücker, Paul D. Hovland, Uwe Naumann, and J. Utke (Eds.) . Springer , 163–173. https://doi.org/10.1007/978-3-540-68942-3_15 10.1007/978-3-540-68942-3_15 Christian Bischof, Niels Guertler, Andreas Kowarz, and Andrea Walther. 2008. Parallel Reverse Mode Automatic Differentiation for OpenMP Programs with ADOL-C. In Advances in Automatic Differentiation, Christian H. Bischof, H. Martin Bücker, Paul D. Hovland, Uwe Naumann, and J. Utke (Eds.). Springer, 163–173. https://doi.org/10.1007/978-3-540-68942-3_15
3. Polyhedral Optimizations of Explicitly Parallel Programs
4. Shiyi Chen and Gary D Doolen . 1998. Lattice Boltzmann method for fluid flows. Annual review of fluid mechanics 30, 1 ( 1998 ), 329–364. Shiyi Chen and Gary D Doolen. 1998. Lattice Boltzmann method for fluid flows. Annual review of fluid mechanics 30, 1 (1998), 329–364.
5. Z3: An Efficient SMT Solver