1 |
1 |
2 @article{moore1965cramming, |
2 @article{moore1965cramming, |
3 title={{Cramming More Components onto Integrated Circuits}}, |
3 title={{Cramming More Components onto Integrated Circuits}}, |
4 author={Moore, Gordon E}, |
4 author={Moore, Gordon E.}, |
5 year={1965}, |
5 year={1965}, |
6 journal={Electronics}, |
6 journal={Electronics}, |
7 pages = {114--117}, |
7 pages = {114--117}, |
8 month = {apr}, |
8 month = {apr}, |
9 day = {19}, |
9 day = {19}, |
49 publisher = {ACM}, |
49 publisher = {ACM}, |
50 address = {New York, NY, USA}, |
50 address = {New York, NY, USA}, |
51 } |
51 } |
52 |
52 |
53 @book{burge1975recursive, |
53 @book{burge1975recursive, |
54 title={Recursive programming techniques}, |
54 title={Recursive Programming Techniques}, |
55 author={Burge, William H}, |
55 author={Burge, William H.}, |
56 year={1975}, |
56 year={1975}, |
57 publisher={Addison-Wesley Reading} |
57 isbn = {0201144506}, |
|
58 publisher={Addison-Wesley}, |
|
59 |
58 } |
60 } |
59 |
61 |
60 @book{paulson1994isabelle, |
62 @book{paulson1994isabelle, |
61 author = {Lawrence C. Paulson}, |
63 author = {Lawrence C. Paulson}, |
62 title = {Isabelle - A Generic Theorem Prover}, |
64 title = {Isabelle - A Generic Theorem Prover}, |
345 address = {New York, NY, USA}, |
347 address = {New York, NY, USA}, |
346 } |
348 } |
347 |
349 |
348 @article{moore2008multicore, |
350 @article{moore2008multicore, |
349 title={Multicore is bad news for supercomputers}, |
351 title={Multicore is bad news for supercomputers}, |
350 author={Moore, Samuel K}, |
352 author={Moore, Samuel K.}, |
351 journal={Spectrum, IEEE}, |
353 journal={Spectrum, IEEE}, |
352 volume={45}, |
354 volume={45}, |
353 number={11}, |
355 number={11}, |
354 pages={15}, |
356 pages={15}, |
355 year={2008}, |
357 year={2008}, |
453 address = {New York, NY, USA}, |
455 address = {New York, NY, USA}, |
454 keywords = {change propagation, dynamic dependency graphs, fork-join programs, parallel change propagation, parallelism, self-adjusting computation, series-parallel programs}, |
456 keywords = {change propagation, dynamic dependency graphs, fork-join programs, parallel change propagation, parallelism, self-adjusting computation, series-parallel programs}, |
455 } |
457 } |
456 |
458 |
457 @inproceedings{nocker1991concurrent, |
459 @inproceedings{nocker1991concurrent, |
458 author = {N\"{o}cker, E. G. J. M. H. and Smesters, J. E. W. and van Eekelen, M. C. J. D. and Plasmeijer, M. J.}, |
460 author = {N\"{o}cker, Eric and Smesters, J. E. W. and van Eekelen, M. C. J. D. and Plasmeijer, M. J.}, |
459 title = {Concurrent Clean}, |
461 title = {Concurrent Clean}, |
460 booktitle = {Proceedings on Parallel Architectures and Languages Europe: Volume II: Parallel Languages}, |
462 booktitle = {Proceedings on Parallel Architectures and Languages Europe: Volume II: Parallel Languages}, |
461 series = {PARLE '91}, |
463 series = {PARLE '91}, |
462 year = {1991}, |
464 year = {1991}, |
463 isbn = {0-387-54152-7}, |
465 isbn = {0-387-54152-7}, |
574 ee = {http://doi.acm.org/10.1145/4472.4478}, |
576 ee = {http://doi.acm.org/10.1145/4472.4478}, |
575 bibsource = {DBLP, http://dblp.uni-trier.de} |
577 bibsource = {DBLP, http://dblp.uni-trier.de} |
576 } |
578 } |
577 |
579 |
578 @inproceedings{matthews2010efficient, |
580 @inproceedings{matthews2010efficient, |
579 author = {Matthews, David C.J. and Wenzel, Makarius}, |
581 author = {Matthews, David C. J. and Wenzel, Makarius}, |
580 title = {Efficient Parallel Programming in Poly/ML and Isabelle/ML}, |
582 title = {Efficient Parallel Programming in Poly/ML and Isabelle/ML}, |
581 booktitle = {Proceedings of the 5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming}, |
583 booktitle = {Proceedings of the 5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming}, |
582 series = {DAMP '10}, |
584 series = {DAMP '10}, |
583 year = {2010}, |
585 year = {2010}, |
584 isbn = {978-1-60558-859-9}, |
586 isbn = {978-1-60558-859-9}, |
670 address = {New York, NY, USA}, |
672 address = {New York, NY, USA}, |
671 } |
673 } |
672 |
674 |
673 @patent{zhang2010software, |
675 @patent{zhang2010software, |
674 title={Software Transaction Commit Order and Conflict Management}, |
676 title={Software Transaction Commit Order and Conflict Management}, |
675 author={Zhang, L. and Grover, V.K. and Magruder, M.M. and Detlefs, D. and Duffy, J.J. and Graefe, G.}, |
677 author={Zhang, Lingli and Grover, Vinod K. and Magruder, Michael M. and Detlefs, David and Duffy, John J. and Graefe, Goetz}, |
676 url={http://www.google.co.in/patents/US7711678}, |
678 url={http://www.google.co.in/patents/US7711678}, |
677 year={2010}, |
679 year={2010}, |
678 month={5}, |
680 month={5}, |
679 number={US 7711678} |
681 number={US 7711678} |
680 } |
682 } |
765 pages = {I-IX, 1-144}, |
767 pages = {I-IX, 1-144}, |
766 bibsource = {DBLP, http://dblp.uni-trier.de} |
768 bibsource = {DBLP, http://dblp.uni-trier.de} |
767 } |
769 } |
768 |
770 |
769 @article{agha1997foundation, |
771 @article{agha1997foundation, |
770 author = {Gul Agha and |
772 author = {Gul A. Agha and |
771 Ian A. Mason and |
773 Ian A. Mason and |
772 Scott F. Smith and |
774 Scott F. Smith and |
773 Carolyn L. Talcott}, |
775 Carolyn L. Talcott}, |
774 title = {A Foundation for Actor Computation}, |
776 title = {A Foundation for Actor Computation}, |
775 journal = {Journal of Functional Programming}, |
777 journal = {Journal of Functional Programming}, |
788 howpublished={Paper for Seminar Software Systems Engineering, Universität zu Lübeck}, |
790 howpublished={Paper for Seminar Software Systems Engineering, Universität zu Lübeck}, |
789 url={http://media.itm.uni-luebeck.de/teaching/ws2012/sem-sse/martin-thurau-akka.io.pdf} |
791 url={http://media.itm.uni-luebeck.de/teaching/ws2012/sem-sse/martin-thurau-akka.io.pdf} |
790 } |
792 } |
791 |
793 |
792 @inproceedings{karmani2009actor, |
794 @inproceedings{karmani2009actor, |
793 author = {Karmani, Rajesh K. and Shali, Amin and Agha, Gul}, |
795 author = {Karmani, Rajesh K. and Shali, Amin and Agha, Gul A.}, |
794 title = {Actor Frameworks for the JVM Platform: A Comparative Analysis}, |
796 title = {Actor Frameworks for the JVM Platform: A Comparative Analysis}, |
795 booktitle = {Proceedings of the 7th International Conference on Principles and Practice of Programming in Java}, |
797 booktitle = {Proceedings of the 7th International Conference on Principles and Practice of Programming in Java}, |
796 series = {PPPJ '09}, |
798 series = {PPPJ '09}, |
797 year = {2009}, |
799 year = {2009}, |
798 isbn = {978-1-60558-598-7}, |
800 isbn = {978-1-60558-598-7}, |
821 bibsource = {DBLP, http://dblp.uni-trier.de} |
823 bibsource = {DBLP, http://dblp.uni-trier.de} |
822 } |
824 } |
823 |
825 |
824 @article{panwar1994methodology, |
826 @article{panwar1994methodology, |
825 author = {Rajendra Panwar and |
827 author = {Rajendra Panwar and |
826 Gul Agha}, |
828 Gul A. Agha}, |
827 title = {A Methodology for Programming Scalable Architectures}, |
829 title = {A Methodology for Programming Scalable Architectures}, |
828 journal = {Journal of Parallel and Distributed Computing}, |
830 journal = {Journal of Parallel and Distributed Computing}, |
829 volume = {22}, |
831 volume = {22}, |
830 number = {3}, |
832 number = {3}, |
831 year = {1994}, |
833 year = {1994}, |
1140 } |
1142 } |
1141 |
1143 |
1142 @online{matthews2014documentation, |
1144 @online{matthews2014documentation, |
1143 url={http://polyml.org/Doc.html}, |
1145 url={http://polyml.org/Doc.html}, |
1144 title={Documentation}, |
1146 title={Documentation}, |
1145 author={Matthews, David C.J.}, |
1147 author={Matthews, David C. J.}, |
1146 year={2014-05-15} |
1148 year={2014-05-15} |
1147 } |
1149 } |
1148 |
1150 |
1149 @techreport{matthews1995papers, |
1151 @techreport{matthews1995papers, |
1150 author = {Matthews, David CJ}, |
1152 author = {Matthews, David C. J.}, |
1151 title = {{Papers on Poly/ML}}, |
1153 title = {{Papers on Poly/ML}}, |
1152 year = {1989}, |
1154 year = {1989}, |
1153 month = {feb}, |
1155 month = {feb}, |
1154 institution = {Computer Laboratory, University of Cambridge} |
1156 institution = {Computer Laboratory, University of Cambridge} |
1155 } |
1157 } |
1156 |
1158 |
1157 @techreport{matthews1991distributed, |
1159 @techreport{matthews1991distributed, |
1158 title={A Distributed Concurrent Implementation of Standard ML}, |
1160 title={A Distributed Concurrent Implementation of Standard ML}, |
1159 author={Matthews, David CJ}, |
1161 author={Matthews, David C. J.}, |
1160 year={1991}, |
1162 year={1991}, |
1161 institution={LFCS, Department of Computer Science, University of Edinburgh} |
1163 institution={LFCS, Department of Computer Science, University of Edinburgh} |
1162 } |
1164 } |
1163 |
1165 |
1164 @inproceedings{reppy1993concurrent, |
1166 @inproceedings{reppy1993concurrent, |
1527 address = {London, UK, UK}, |
1529 address = {London, UK, UK}, |
1528 } |
1530 } |
1529 |
1531 |
1530 @book{simon1965shape, |
1532 @book{simon1965shape, |
1531 address = {New York}, |
1533 address = {New York}, |
1532 author = {Simon, H. A.}, |
1534 author = {Simon, Herbert A.}, |
1533 publisher = {Harper \& Row}, |
1535 publisher = {Harper \& Row}, |
1534 title = {{The Shape of Automation for Men and Management}}, |
1536 title = {{The Shape of Automation for Men and Management}}, |
1535 year = {1965} |
1537 year = {1965} |
1536 } |
1538 } |
1537 |
1539 |
1538 @book{gordon1993introduction, |
1540 @book{gordon1993introduction, |
1539 title={Introduction to HOL: A theorem proving environment for higher-order logic}, |
1541 title={Introduction to HOL: A theorem proving environment for higher-order logic}, |
1540 author={Gordon, Michael JC and Melham, Tom F}, |
1542 author={Michael J. C. Gordon and Melham, Tom F.}, |
1541 year={1993}, |
1543 year={1993}, |
1542 publisher={Cambridge University Press} |
1544 publisher={Cambridge University Press}, |
|
1545 isbn={0521441897} |
1543 } |
1546 } |
1544 |
1547 |
1545 @online{harrison2014hol, |
1548 @online{harrison2014hol, |
1546 author={Harrison, John}, |
1549 author={Harrison, John}, |
1547 title={HOL Light}, |
1550 title={HOL Light}, |
1565 editor={Lagarias, Jeffrey C.}, |
1568 editor={Lagarias, Jeffrey C.}, |
1566 doi={10.1007/978-1-4614-1129-1_3}, |
1569 doi={10.1007/978-1-4614-1129-1_3}, |
1567 title={Historical Overview of the Kepler Conjecture}, |
1570 title={Historical Overview of the Kepler Conjecture}, |
1568 url={http://dx.doi.org/10.1007/978-1-4614-1129-1_3}, |
1571 url={http://dx.doi.org/10.1007/978-1-4614-1129-1_3}, |
1569 publisher={Springer New York}, |
1572 publisher={Springer New York}, |
1570 author={Hales, ThomasC.}, |
1573 author={Hales, Thomas C.}, |
1571 pages={65-82}, |
1574 pages={65-82}, |
1572 language={English} |
1575 language={English} |
1573 } |
1576 } |
1574 |
1577 |
1575 @techreport{sharangpani1994statistical, |
1578 @techreport{sharangpani1994statistical, |
1576 title={Statistical Analysis of Floating Point Flaw in the Pentium Processor}, |
1579 title={Statistical Analysis of Floating Point Flaw in the Pentium Processor}, |
1577 author={Sharangpani, HP and Barton, ML}, |
1580 author={Sharangpani, H. P. and Barton, M. L.}, |
1578 institution={Intel Corporation}, |
1581 institution={Intel Corporation}, |
1579 year={1994} |
1582 year={1994} |
1580 } |
1583 } |
1581 |
1584 |
1582 @online{intel1997intel, |
1585 @online{intel1997intel, |