diff --git a/mlsys.bib b/mlsys.bib index 46d6fe9..b581186 100644 --- a/mlsys.bib +++ b/mlsys.bib @@ -498,12 +498,6 @@ series = {ADKDD'14} year={2018} } -@misc{2020MLIR, - title={MLIR: A Compiler Infrastructure for the End of Moore's Law}, - author={ Lattner, C. and Amini, M. and Bondhugula, U. and Cohen, A. and Davis, A. and Pienaar, J. and Riddle, R. and Shpeisman, T. and Vasilache, N. and Zinenko, O. }, - year={2020}, -} - @book{2007Engineering, title={Engineering a Compiler}, author={ Cooper, Keith D. and Torczon, Linda }, @@ -511,139 +505,6 @@ series = {ADKDD'14} year={2007}, } -@misc{2007Compilers, - title={Compilers: Principles, Techniques, and Tools (Rental), 2nd Edition}, - author={ Aho, A. V. and Lam, M. S. and Ullman, J. D. and Sethi, R. }, - year={2007}, -} - -@inproceedings{2004LLVM, - title={LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation}, - author={ Lattner, C. and Adve, V. }, - booktitle={Code Generation and Optimization, 2004. CGO 2004. International Symposium on}, - year={2004}, -} - -@article{Richard1995A, - title={A correspondence between continuation passing style and static single assignment form}, - author={Richard and A. and Kelsey}, - journal={Acm Sigplan Notices}, - year={1995}, -} - -@article{2010C, - title={C++ lambda expressions and closures}, - author={ Jaervi, Jaakko and Freeman, J. }, - journal={Science of Computer Programming}, - volume={75}, - number={9}, - pages={762-772}, - year={2010}, -} - -@article{spuler1994compiler, - title={Compiler detection of function call side effects}, - author={Spuler, David A and Sajeev, A Sayed Muhammed}, - journal={Informatica}, - volume={18}, - number={2}, - pages={219--227}, - year={1994}, - publisher={Citeseer} -} - -@book{10.5555/1455489, - author = {Griewank, Andreas and Walther, Andrea}, - title = {Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation}, - year = {2008}, - isbn = {0898716594}, - publisher = {Society for Industrial and Applied Mathematics}, - address = {USA}, - edition = {Second}, -} - -@article{2015Automatic, - title={Automatic Differentiation in Machine Learning: a Survey}, - author={ Pearlmutter, B. A. }, - journal={computer science}, - number={February}, - year={2015}, -} - -@article{2015Numerical, - title={Numerical Analysis}, - author={ Burden, R. L. and Faires, Jdd }, - journal={Journal of the Royal Statistical Society}, - volume={71}, - number={1}, - pages={48-50}, - year={2015}, -} - -@book{2003Computer, - title={Computer Algebra Handbook: Foundations * Applications * Systems}, - author={ Grabmeier, J. and Kaltofen, E. and Weispfenning, V. }, - publisher={Computer algebra handbook : foundations, applications, systems}, - year={2003}, -} - -@inbook{10.5555/60181.60188, -author = {Corliss, George F.}, -title = {Applications of Differentiation Arithmetic}, -year = {1988}, -isbn = {0125056303}, -publisher = {Academic Press Professional, Inc.}, -address = {USA}, -booktitle = {Reliability in Computing: The Role of Interval Methods in Scientific Computing}, -pages = {127–148}, -numpages = {22} -} - -@article{2000An, - title={An introduction to automatic differentiation}, - author={ Verma, A. }, - journal={Siam Computational Differentiation Techniques Applications & Tools}, - volume={78}, - number={7}, - pages={804-807}, - year={2000}, -} - -@inproceedings{2006The, - title={The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation}, - author={ Dauvergne, B. and L Hascoët}, - booktitle={Computational Science-iccs, International Conference, Reading, Uk, May}, - year={2006}, -} - -@article{2017Divide, - title={Divide-and-Conquer Checkpointing for Arbitrary Programs with No User Annotation}, - author={ Siskind, Jeffrey Mark and Pearlmutter, Barak A. }, - journal={Optimization Methods and Software}, - volume={33}, - number={4-6}, - year={2017}, -} - -@article{1969The, - title={The Principal Type-Scheme of an Object in Combinatory Logic}, - author={ Hindley, R. }, - journal={Transactions of the American Mathematical Society}, - volume={146}, - pages={29-60}, - year={1969}, -} - -@article{1978A, - title={A theory of type polymorphism in programming}, - author={ Milner, R. }, - journal={Journal of Computer and System Sciences}, - volume={17}, - number={3}, - pages={348-375}, - year={1978}, -} - @article{ragan2013halide, title={Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines}, author={Ragan-Kelley, Jonathan and Barnes, Connelly and Adams, Andrew and Paris, Sylvain and Durand, Fr{\'e}do and Amarasinghe, Saman}, diff --git a/references/frontend.bib b/references/frontend.bib index e69de29..0fa5ad2 100644 --- a/references/frontend.bib +++ b/references/frontend.bib @@ -0,0 +1,150 @@ +@misc{2007Compilers, + title={Compilers: Principles, Techniques, and Tools (Rental), 2nd Edition}, + author={ Aho, A. V. and Lam, M. S. and Ullman, J. D. and Sethi, R. }, + year={2007}, +} + +@inproceedings{2004LLVM, + title={LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation}, + author={ Lattner, C. and Adve, V. }, + booktitle={Code Generation and Optimization, 2004. CGO 2004. International Symposium on}, + year={2004}, +} + +@article{Richard1995A, + title={A correspondence between continuation passing style and static single assignment form}, + author={Richard and A. and Kelsey}, + journal={Acm Sigplan Notices}, + year={1995}, +} + +@article{2010C, + title={C++ lambda expressions and closures}, + author={ Jaervi, Jaakko and Freeman, J. }, + journal={Science of Computer Programming}, + volume={75}, + number={9}, + pages={762-772}, + year={2010}, +} + +@misc{2020MLIR, + title={MLIR: A Compiler Infrastructure for the End of Moore's Law}, + author={ Lattner, C. and Amini, M. and Bondhugula, U. and Cohen, A. and Davis, A. and Pienaar, J. and Riddle, R. and Shpeisman, T. and Vasilache, N. and Zinenko, O. }, + year={2020}, +} + +@article{spuler1994compiler, + title={Compiler detection of function call side effects}, + author={Spuler, David A and Sajeev, A Sayed Muhammed}, + journal={Informatica}, + volume={18}, + number={2}, + pages={219--227}, + year={1994}, + publisher={Citeseer} +} + +@book{10.5555/1455489, + author = {Griewank, Andreas and Walther, Andrea}, + title = {Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation}, + year = {2008}, + isbn = {0898716594}, + publisher = {Society for Industrial and Applied Mathematics}, + address = {USA}, + edition = {Second}, +} + +@article{2015Automatic, + title={Automatic Differentiation in Machine Learning: a Survey}, + author={ Pearlmutter, B. A. }, + journal={computer science}, + number={February}, + year={2015}, +} + +@article{2015Numerical, + title={Numerical Analysis}, + author={ Burden, R. L. and Faires, Jdd }, + journal={Journal of the Royal Statistical Society}, + volume={71}, + number={1}, + pages={48-50}, + year={2015}, +} + +@book{2003Computer, + title={Computer Algebra Handbook: Foundations * Applications * Systems}, + author={ Grabmeier, J. and Kaltofen, E. and Weispfenning, V. }, + publisher={Computer algebra handbook : foundations, applications, systems}, + year={2003}, +} + +@inbook{10.5555/60181.60188, +author = {Corliss, George F.}, +title = {Applications of Differentiation Arithmetic}, +year = {1988}, +isbn = {0125056303}, +publisher = {Academic Press Professional, Inc.}, +address = {USA}, +booktitle = {Reliability in Computing: The Role of Interval Methods in Scientific Computing}, +pages = {127–148}, +numpages = {22} +} + +@article{2000An, + title={An introduction to automatic differentiation}, + author={ Verma, A. }, + journal={Siam Computational Differentiation Techniques Applications & Tools}, + volume={78}, + number={7}, + pages={804-807}, + year={2000}, +} + +@inproceedings{2006The, + title={The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation}, + author={ Dauvergne, B. and L Hascoët}, + booktitle={Computational Science-iccs, International Conference, Reading, Uk, May}, + year={2006}, +} + +@article{2017Divide, + title={Divide-and-Conquer Checkpointing for Arbitrary Programs with No User Annotation}, + author={ Siskind, Jeffrey Mark and Pearlmutter, Barak A. }, + journal={Optimization Methods and Software}, + volume={33}, + number={4-6}, + year={2017}, +} + +@article{1969The, + title={The Principal Type-Scheme of an Object in Combinatory Logic}, + author={ Hindley, R. }, + journal={Transactions of the American Mathematical Society}, + volume={146}, + pages={29-60}, + year={1969}, +} + +@article{1978A, + title={A theory of type polymorphism in programming}, + author={ Milner, R. }, + journal={Journal of Computer and System Sciences}, + volume={17}, + number={3}, + pages={348-375}, + year={1978}, +} + +@article{van2018Automatic, + title={Automatic differentiation in ML: Where we are and where we should be going}, + author={van Merriënboer, Bart and Breuleux, Olivier and Bergeron, Arnaud and Lamblin, Pascal }, + year={2018}, +} + +@article{1982Principal, + title={Principal Type Schemes for Functional Programming Languages}, + author={ Damas, L. and Milner, R. }, + year={1982}, +}