Thesis (3)
  1. Douglas Gregor. High-level Static Analysis for Generic Libraries. PhD thesis, Rensselaer Polytechnic Institute, May 2004.
    @PhDThesis{Gregor-Thesis,
    author = {Douglas Gregor},
    title = {High-level Static Analysis for Generic Libraries},
    school = {Rensselaer Polytechnic Institute},
    year = {2004},
    month = {May} }


  2. Todd L. Veldhuizen. Active Libraries and Universal Languages. PhD thesis, Indiana University Computer Science, May 2004.
    @phdthesis{Veldhuizen:2004,
    author={Todd L. Veldhuizen},
    title={Active Libraries and Universal Languages},
    year={2004},
    month={May},
    school={Indiana University Computer Science},
    url={http://osl.iu.edu/~tveldhui/papers/2004/dissertation.pdf} }


  3. Jeffrey M. Squyres. A Component Architecture for the Message Passing Interface (MPI): The Systems Service Interface (SSI) of LAM/MPI. PhD thesis, University of Notre Dame, Notre Dame, IN, April 2004.
    @PhdThesis{squyres04:_compon_archit_messag_passin_inter_mpi,
    thanks = {Lilly Endowment and ANI-0330620 and LBL grant},
    author = {Jeffrey M.\ Squyres},
    title = {A Component Architecture for the Message Passing Interface ({MPI}): The Systems Service Interface ({SSI}) of {LAM/MPI}},
    school = {University of Notre Dame},
    year = 2004,
    address = {Notre Dame, IN},
    month = {April} }


Articles in journals or book chapters (13)
  1. Jeffrey M. Squyres. MPI Debugging -- Can You Hear Me Now?. ClusterWorld Magazine, MPI Mechanic Column, 2(12):32--35, December 2004.
    Keywords: MPI.
    @Article{squyres04:_mpi_debug,
    author = {Jeffrey M. Squyres},
    title = {MPI Debugging -- Can You Hear Me Now?},
    journal = {ClusterWorld Magazine, {MPI} Mechanic Column},
    pages = {32--35},
    year = 2004,
    volume = 2,
    number = 12,
    month = {December},
    url = {http://cw.squyres.com/},
    keywords = {MPI} }


  2. Jeffrey M. Squyres. MPI_Reduce: Introducing Open MPI. ClusterWorld Magazine, 2(11):20--28, November 2004.
    Keywords: MPI.
    @Article{squyres04:_mpi_reduc,
    author = {Jeffrey M. Squyres},
    title = {MPI_Reduce: Introducing Open MPI},
    journal = {ClusterWorld Magazine},
    pages = {20--28},
    year = 2004,
    volume = 2,
    number = 11,
    month = {November},
    url = {http://cw.squyres.com/},
    keywords = {MPI} }


  3. Jeffrey M. Squyres. More Joys of Asynchronous Communication. ClusterWorld Magazine, MPI Mechanic Column, 2(10):34--36, October 2004.
    Keywords: MPI.
    @Article{squyres04:_more_joys_async_commun,
    author = {Jeffrey M. Squyres},
    title = {More Joys of Asynchronous Communication},
    journal = {ClusterWorld Magazine, {MPI} Mechanic Column},
    pages = {34--36},
    year = 2004,
    volume = 2,
    number = 10,
    month = {October},
    url = {http://cw.squyres.com/},
    keywords = {MPI} }


  4. Jeffrey M. Squyres. The Joys of Asynchronous Computing. ClusterWorld Magazine, MPI Mechanic Column, 2(9):36--38, September 2004.
    Keywords: MPI.
    @Article{squyres04:_joys_async_comput,
    author = {Jeffrey M. Squyres},
    title = {The Joys of Asynchronous Computing},
    journal = {ClusterWorld Magazine, {MPI} Mechanic Column},
    pages = {36--38},
    year = 2004,
    volume = 2,
    number = 9,
    month = {September},
    url = {http://cw.squyres.com/},
    keywords = {MPI} }


  5. Jeffrey M. Squyres. In Parallel, Everyone Hears You Scream II. ClusterWorld Magazine, MPI Mechanic Column, 2(8):34--36, August 2004.
    Keywords: MPI.
    @Article{squyres04:_in_paral_every_hears_you_scream_ii,
    author = {Jeffrey M. Squyres},
    title = {In Parallel, Everyone Hears You Scream {II}},
    journal = {ClusterWorld Magazine, {MPI} Mechanic Column},
    pages = {34--36},
    year = 2004,
    volume = 2,
    number = 8,
    month = {August},
    url = {http://cw.squyres.com/},
    keywords = {MPI} }


  6. Jeffrey M. Squyres. In Parallel, Everyone Hears You Scream. ClusterWorld Magazine, MPI Mechanic Column, 2(7):36--37, July 2004.
    Keywords: MPI.
    @Article{squyres04:_in_paral_every_hears_you_scream,
    author = {Jeffrey M. Squyres},
    title = {In Parallel, Everyone Hears You Scream},
    journal = {ClusterWorld Magazine, {MPI} Mechanic Column},
    pages = {36--37},
    year = 2004,
    volume = 2,
    number = 7,
    month = {July},
    url = {http://cw.squyres.com/},
    keywords = {MPI} }


  7. Brian W. Barrett. Return of the MPI Datatypes. ClusterWorld Magazine, MPI Mechanic Column, 2(6):34--36, June 2004.
    Keywords: MPI.
    @Article{barrett04:_retur_mpi_datat,
    author = {Brian W. Barrett},
    title = {Return of the {MPI} Datatypes},
    journal = {ClusterWorld Magazine, {MPI} Mechanic Column},
    pages = {34--36},
    year = 2004,
    volume = 2,
    number = 6,
    month = {June},
    url = {http://cw.squyres.com/},
    keywords = {MPI} }


  8. Jeffrey M. Squyres. How to Succeed in Datatypes Without Really Trying. ClusterWorld Magazine, MPI Mechanic Column, 2(5):32--34, May 2004.
    Keywords: MPI.
    @Article{squyres04:_how_succeed_datat_without_reall_tryin,
    author = {Jeffrey M. Squyres},
    title = {How to Succeed in Datatypes Without Really Trying},
    journal = {ClusterWorld Magazine, {MPI} Mechanic Column},
    pages = {32--34},
    year = 2004,
    volume = 2,
    number = 5,
    month = {May},
    url = {http://cw.squyres.com/},
    keywords = {MPI} }


  9. Jeffrey M. Squyres. Everything You Wanted to Know About Groups and Communicators. ClusterWorld Magazine, MPI Mechanic Column, 2(4):32--34, 48, April 2004.
    Keywords: MPI.
    @Article{squyres04:_every_you_wanted_know_about_group_commun,
    author = {Jeffrey M. Squyres},
    title = {Everything You Wanted to Know About Groups and Communicators},
    journal = {ClusterWorld Magazine, {MPI} Mechanic Column},
    pages = {32--34, 48},
    year = 2004,
    volume = 2,
    number = 4,
    month = {April},
    url = {http://cw.squyres.com/},
    keywords = {MPI} }


  10. Jeffrey M. Squyres. Zen and the Art of MPI Collectives. ClusterWorld Magazine, MPI Mechanic Column, 2(3):32--34, March 2004.
    Keywords: MPI.
    @Article{squyres04:_zen_art_mpi_collec,
    author = {Jeffrey M. Squyres},
    title = {Zen and the Art of {MPI} Collectives},
    journal = {ClusterWorld Magazine, {MPI} Mechanic Column},
    pages = {32--34},
    year = 2004,
    volume = 2,
    number = 3,
    month = {March},
    url = {http://cw.squyres.com/},
    keywords = {MPI} }


  11. Jeffrey M. Squyres. What Really Happens During MPI_INIT. ClusterWorld Magazine, MPI Mechanic Column, 2(2):26--28, 46, February 2004.
    Keywords: MPI.
    @Article{squyres04:_what_reall_happen_durin_mpi_init,
    author = {Jeffrey M. Squyres},
    title = {What Really Happens During {MPI_INIT}},
    journal = {ClusterWorld Magazine, {MPI} Mechanic Column},
    pages = {26--28, 46},
    year = 2004,
    volume = 2,
    number = 2,
    month = {February},
    url = {http://cw.squyres.com/},
    keywords = {MPI} }


  12. Jiangtao Cheng, J. P. Morris, John Tran, Andrew Lumsdaine, N. J. Giordano, and L. J. Pyrak-Nolte. Single Phase Flow in a Fracture: Micro-Model Experiments & Network Flow Simulation. International Journal of Rock Mechanics, 41(4):687--693, 2004.
    @Article{cheng04:_single_phase_flow,
    author = {Jiangtao Cheng and J. P. Morris and John Tran and Andrew Lumsdaine and N. J. Giordano and L. J. Pyrak-Nolte},
    title = {Single Phase Flow in a Fracture: Micro-Model Experiments \& Network Flow Simulation},
    journal = {International Journal of Rock Mechanics},
    year = 2004,
    volume = 41,
    number = 4,
    pages = {687--693} }


  13. Jeffrey M. Squyres. Processes, Processors, and MPI, Oh My!. ClusterWorld Magazine, MPI Mechanic Column, 2(1), January 2004.
    Keywords: MPI.
    @Article{squyres04:_proces_proces_mpi_oh_my,
    author = {Jeffrey M. Squyres},
    title = {Processes, Processors, and {MPI}, Oh My!},
    journal = {ClusterWorld Magazine, {MPI} Mechanic Column},
    year = 2004,
    volume = 2,
    number = 1,
    month = {January},
    url = {http://cw.squyres.com/},
    keywords = {MPI} }


Conference articles (16)
  1. T. Hoefler. Remote Network Analysis. In 21C3 Proceedings, pages 33-37, 12 2004.
    @inproceedings{hoefler-21c3-04,
    author={T. Hoefler},
    title={{Remote Network Analysis}},
    journal={21. Chaos Communication Congress},
    year={2004},
    month={12},
    pages={33-37},
    booktitle={21C3 Proceedings},
    location={Berlin, Germany},
    isbn={3-934636-02-0},
    url={http://www.ccc.de/congress/2004/fahrplan/files/54-verdeckte-netzwerkanalyse-paper.pdf},
    url={http://www.unixer.de/~htor/publications/},
    }


  2. M. Swany. Improving Throughput for Grid Applications with Network Logistics. In , Pittsburg, PA, November 2004.
    @Inproceedings{swany_Inproceedings_SC2004,
    Address = {Pittsburg, PA},
    Author = {M. Swany },
    Date-Added = {2016-06-10 14:58:48 +0000},
    Date-Modified = {2016-06-10 15:02:03 +0000},
    Journal = {Proceedings of IEEE/ACM Conference on High-Performance Computing and Networking (SC2004)},
    Month = {November},
    Title = {Improving Throughput for Grid Applications with Network Logistics },
    Year = {2004} }


  3. Edgar Gabriel, Graham E. Fagg, George Bosilca, Thara Angskun, Jack J. Dongarra, Jeffrey M. Squyres, Vishal Sahay, Prabhanjan Kambadur, Brian Barrett, Andrew Lumsdaine, Ralph H. Castain, David J. Daniel, Richard L. Graham, and Timothy S. Woodall. Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation. In Proceedings, 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, pages 97--104, September 2004.
    @InProceedings{gabriel04:_open_mpi,
    thanks = {Lilly Endowment and NSF grants 0116050, EIA-0202048, ANI-0330620},
    author = {Edgar Gabriel and Graham E. Fagg and George Bosilca and Thara Angskun and Jack J. Dongarra and Jeffrey M. Squyres and Vishal Sahay and Prabhanjan Kambadur and Brian Barrett and Andrew Lumsdaine and Ralph H. Castain and David J. Daniel and Richard L. Graham and Timothy S. Woodall },
    title = {Open {MPI}: Goals, Concept, and Design of a Next Generation MPI Implementation},
    booktitle = {Proceedings, 11th European PVM/MPI Users' Group Meeting},
    year = 2004,
    pages = {97--104},
    address = {Budapest, Hungary},
    month = {September} }


  4. T.S. Woodall, R.L. Graham, R.H. Castain, D.J. Daniel, M.W. Sukalski, G.E. Fagg, E. Gabriel, G. Bosilca, T. Angskun, J.J. Dongarra, J.M. Squyres, V. Sahay, P. Kambadur, B. Barrett, and A. Lumsdaine. TEG: A High-Performance, Scalable, Multi-Network Point-to-Point Communications Methodology. In Proceedings, 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, pages 303--310, September 2004.
    @InProceedings{woodall04:_teg,
    thanks = {Lilly Endowment and NSF grants 0116050, EIA-0202048, ANI-0330620},
    author = {T.S. Woodall and R.L. Graham and R.H. Castain and D.J. Daniel and M.W. Sukalski and G.E. Fagg and E. Gabriel and G. Bosilca and T. Angskun and J.J. Dongarra and J.M. Squyres and V. Sahay and P. Kambadur and B. Barrett and A. Lumsdaine},
    title = {{TEG}: A High-Performance, Scalable, Multi-Network Point-to-Point Communications Methodology},
    booktitle = {Proceedings, 11th European PVM/MPI Users' Group Meeting},
    year = 2004,
    pages = {303--310},
    address = {Budapest, Hungary},
    month = {September} }


  5. T.S. Woodall, R.L. Graham, R.H. Castain, D.J. Daniel, M.W. Sukalski, G.E. Fagg, E. Gabriel, G. Bosilca, T. Angskun, J.J. Dongarra, J.M. Squyres, V. Sahay, P. Kambadur, B. Barrett, and A. Lumsdaine. Open MPI's TEG Point-to-Point Communications Methodology: Comparison to Existing Implementations. In Proceedings, 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, pages 105--111, September 2004.
    @InProceedings{woodall04:_open_teg_point_point_commun_method,
    thanks = {Lilly Endowment and NSF grants 0116050, EIA-0202048, ANI-0330620},
    author = {T.S. Woodall and R.L. Graham and R.H. Castain and D.J. Daniel and M.W. Sukalski and G.E. Fagg and E. Gabriel and G. Bosilca and T. Angskun and J.J. Dongarra and J.M. Squyres and V. Sahay and P. Kambadur and B. Barrett and A. Lumsdaine},
    title = {Open {MPI}'s {TEG} Point-to-Point Communications Methodology: Comparison to Existing Implementations},
    booktitle = {Proceedings, 11th European PVM/MPI Users' Group Meeting},
    year = 2004,
    address = {Budapest, Hungary},
    pages = {105--111},
    month = {September} }


  6. Jeffrey M. Squyres and Andrew Lumsdaine. The Component Architecture of Open MPI: Enabling Third-Party Collective Algorithms. In Vladimir Getov and Thilo Kielmann, editors, Proceedings, 18th ACM International Conference on Supercomputing, Workshop on Component Models and Systems for Grid Applications, St. Malo, France, pages 167--185, July 2004. Springer.
    @InProceedings{squyres04:_compon_archit_open_mpi,
    thanks = {Lilly Endowment and NSF grant 0116050.},
    author = {Jeffrey M.\ Squyres and Andrew Lumsdaine},
    title = {The Component Architecture of Open {MPI}: Enabling Third-Party Collective Algorithms},
    booktitle = {Proceedings, 18th ACM International Conference on Supercomputing, Workshop on Component Models and Systems for Grid Applications},
    year = 2004,
    address = {St.\ Malo, France},
    month = {July},
    pages = {167--185},
    editor = {Vladimir Getov and Thilo Kielmann},
    publisher = {Springer} }


  7. Jaakko Järvi, Andrew Lumsdaine, Douglas Gregor, M. Kulkarni, David Musser, and Sibylle Schupp. Generic Programming and High-Performance Libraries. In Workshop on Next Generation Software at IPDPS 2004, Santa Fe, New Mexico, April 2004.
    @inproceedings{jarvi:04:ipdps_ngs,
    author = {Jaakko J\"arvi and Andrew Lumsdaine and Douglas Gregor and M. Kulkarni and David Musser and Sibylle Schupp},
    title = "Generic Programming and High-Performance Libraries",
    booktitle = "Workshop on Next Generation Software at IPDPS 2004, Santa Fe, New Mexico",
    year = 2004,
    month = April,
    }


  8. Jaakko Järvi, Jeremiah Willcock, and Andrew Lumsdaine. Algorithm specialization and concept constrained genericity. In Concepts: a Linguistic Foundation of Generic Programming at Adobe Tech Summit, San Jose, CA, April 2004. Adobe Systems.
    @InProceedings{jarvi04:algorithm_specialization,
    author = {Jaakko J\"arvi and Jeremiah Willcock and Andrew Lumsdaine},
    title = {Algorithm specialization and concept constrained genericity},
    booktitle = {Concepts: a Linguistic Foundation of Generic Programming at Adobe Tech Summit, San Jose, CA},
    year = 2004,
    month = apr,
    publisher = {{Adobe Systems}} }


  9. Jeremy Siek and Andrew Lumsdaine. Modular Generics. In Concepts: a Linguistic Foundation of Generic Programming, April 2004. Adobe Systems.
    Annotation: This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light of the past decade of generic library research and development. Based on this analysis we propose and evaluate relevant language design decisions for G. Generic programming is concerned with the construction of libraries of reusable software components and is inherently about programming ``in the large.'' Thus, the design of G places its greatest emphasis on modularity and safety, while also providing run-time efficiency and programmer convenience. This paper focuses on name scoping and type checking for generic functions, support for dispatching to algorithm specializations, support for type associations among abstractions, and separate compilation. The resulting design for G includes three novel aspects: scoped models declarations, nested types in concepts, and optional type constraints on generic functions.

    @InProceedings{siek04:_modular_generics,
    author = {Jeremy Siek and Andrew Lumsdaine},
    title = {Modular Generics},
    booktitle = {Concepts: a Linguistic Foundation of Generic Programming},
    year = 2004,
    month = {April},
    organization = {{Adobe Systems}},
    annote = {This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light of the past decade of generic library research and development. Based on this analysis we propose and evaluate relevant language design decisions for G. Generic programming is concerned with the construction of libraries of reusable software components and is inherently about programming ``in the large.'' Thus, the design of G places its greatest emphasis on modularity and safety, while also providing run-time efficiency and programmer convenience. This paper focuses on name scoping and type checking for generic functions, support for dispatching to algorithm specializations, support for type associations among abstractions, and separate compilation. The resulting design for G includes three novel aspects: scoped models declarations, nested types in concepts, and optional type constraints on generic functions. } }


  10. Jeremiah Willcock, Jaakko Järvi, Andrew Lumsdaine, and David Musser. A Formalization of Concepts for Generic Programming. In Concepts: a Linguistic Foundation of Generic Programming at Adobe Tech Summit, April 2004. Adobe Systems.
    @InProceedings{willcock04:_formal_concep_gener_progr,
    author = {Jeremiah Willcock and Jaakko J{\"a}rvi and Andrew Lumsdaine and David Musser},
    title = {A Formalization of Concepts for Generic Programming},
    booktitle = {Concepts: a Linguistic Foundation of Generic Programming at Adobe Tech Summit},
    conflocation = "San Jose, CA",
    year = 2004,
    month = apr,
    publisher = {{Adobe Systems}},
    thanks = {NSF grant EIA-0131354, Lilly Endowment, Department of Energy High Performance Computer Science Fellowship} }


  11. Peter Gottschling, Martin Gaber, and Ralf Müller. Finite Difference Calculation of Degassing from Glass Powders (in German). In 78th Conference of German Society of Glass Technology, Nürnberg, 2004.
    @INPROCEEDINGS{pg_nuernberg,
    author = {Peter Gottschling and Martin Gaber and Ralf M{\"{u}}ller},
    title = {Finite Difference Calculation of Degassing from Glass Powders (in German)},
    booktitle = {78th Conference of German Society of Glass Technology, N{\"{u}}rnberg},
    year = {2004} }


  12. Peter Gottschling. ANGEL -- An Extensible Library for Jacobian Accumulation. In 4th International Conference on Automatic Differentiation, Chicago, 2004.
    @INPROCEEDINGS{pg_angel,
    author = {Peter Gottschling},
    title = {{ANGEL} -- An Extensible Library for Jacobian Accumulation},
    booktitle = {4th International Conference on Automatic Differentiation, Chicago},
    year = {2004} }


  13. Ralf Müller, Martin Gaber, and Peter Gottschling. Volatile Concentration and Diffusivity Determined by Vacuum Hot Extraction. In 20th International Congress on Glass, Kyoto, 2004.
    @INPROCEEDINGS{pg_kyoto,
    author = {Ralf M{\"{u}}ller and Martin Gaber and Peter Gottschling},
    title = {Volatile Concentration and Diffusivity Determined by Vacuum Hot Extraction},
    booktitle = {20th International Congress on Glass, Kyoto},
    year = {2004} }


  14. Sibylle Schupp, Marcin Zalewski, and Kyle Ross. Rapid Performance Prediction for Library Components. In Proc. 4th. ACM Workshop on Software and Performance, pages 73--69, 2004. ACM Press.
    @inproceedings{schupp_rapid_2004,
    title = {Rapid Performance Prediction for Library Components},
    doi = {http://dx.doi.org/10.1145/974044.974054},
    booktitle = {Proc. 4th. {ACM} Workshop on Software and Performance},
    publisher = {{ACM} Press},
    author = {Sibylle Schupp and Marcin Zalewski and Kyle Ross},
    year = 2004,
    pages = {73--69} }


  15. J. Squyres, V. Sahay, P. Kambadur, B.Barett, A. Lumsdaine, R. Castain, D. Daniel, R. Graham, T. Woodall, M. Sukalski, T. Angskun, G. Bosilca, G. Fagg, E. Gabriel, and J. Dongarra. A Component Architecture for Message Passing Middleware. In IEEE Cluster, 2004.
    @InProceedings{lumsdaine04:_component,
    author = {J. Squyres and V. Sahay and P. Kambadur and B.Barett and A. Lumsdaine and R. Castain and D. Daniel and R. Graham and T. Woodall and M. Sukalski and T. Angskun and G. Bosilca and G. Fagg and E. Gabriel and J. Dongarra},
    title = {A Component Architecture for Message Passing Middleware},
    booktitle = {IEEE Cluster},
    year = 2004 }


  16. Todd L. Veldhuizen. Guaranteed Optimization for Domain-Specific Programming. In Christian Lengauer and Don Batory, editors, Domain-Specific Program Generation, volume 3016 of Lecture Notes in Computer Science, pages 306-324, 2004. Springer-Verlag.
    @inproceedings{Veldhuizen:LNCS:2004,
    author = "Todd L. Veldhuizen",
    title = "Guaranteed Optimization for Domain-Specific Programming",
    url = "http://springerlink.metapress.com/link.asp?id=2bydh3w0b05h321g",
    booktitle = "Domain-Specific Program Generation",
    publisher = "Springer-Verlag",
    year = "2004",
    pages = "306-324",
    volume = "3016",
    conflocation = "Schloss Dagstuhl, Germany",
    conftitle = "Dagstuhl Seminar No 03131",
    series = "Lecture Notes in Computer Science",
    editors = "Christian Lengauer and Don Batory" }


Internal reports (3)
  1. Jaakko Järvi, Jeremiah Willcock, and Andrew Lumsdaine. Associated Types and Constraint Propagation for Mainstream Object-Oriented Generics. Technical report 2004-12-3, Texas A&M University, Computer Science, December 2004.
    Note: Http://www.cs.tamu.edu/research/tr.
    @TechReport{jarvi04:tamu,
    author = {Jaakko J\"arvi and Jeremiah Willcock and Andrew Lumsdaine},
    title = {Associated Types and Constraint Propagation for Mainstream Object-Oriented Generics},
    institution = {Texas A\&M University, Computer Science},
    year = {2004},
    number = {2004-12-3},
    month = dec,
    note = {{http://www.cs.tamu.edu/research/tr}},
    thanks = {NSF EIA-0131354, Lilly Endowment, DOE HPCSF},
    }


  2. Jeremy Siek and Andrew Lumsdaine. Essential Language Support for Generic Programming: Formalization Part 1. Technical report 605, Indiana University, December 2004.
    Annotation: ``Concepts'' are an essential language feature needed to support generic programming in the large. Concepts allow for succinct expression of bounds on type parameters of generic algorithms, enable systematic organization of problem domain abstractions, and make generic algorithms easier to use. In this paper we formalize the design of a type system and semantics for concepts that is suitable for non-type-inferencing languages. Our design shares much in common with the type classes of Haskell, though our primary influence is from best practices in the \C pp{} community, where concepts are used to document type requirements for templates in generic libraries. The technical development in this paper defines an extension to System F and a type-directed translation from the extension back to System F. The translation is proved sound; the proof is written in the human readable but machine checkable Isar language and has been automatically verified by the Isabelle proof assistant. This document was generated directly from the Isar theory files using Isabelle's support for literate proofs.

    @TechReport{siek04:_fg1,
    author = {Jeremy Siek and Andrew Lumsdaine},
    title = {Essential Language Support for Generic Programming: Formalization Part 1},
    institution = {Indiana University},
    year = 2004,
    number = 605,
    month = {December},
    url = {http://www.cs.indiana.edu/cgi-bin/techreports/TRNNN.cgi?trnum=TR605},
    annote = {``Concepts'' are an essential language feature needed to support generic programming in the large. Concepts allow for succinct expression of bounds on type parameters of generic algorithms, enable systematic organization of problem domain abstractions, and make generic algorithms easier to use. In this paper we formalize the design of a type system and semantics for concepts that is suitable for non-type-inferencing languages. Our design shares much in common with the type classes of Haskell, though our primary influence is from best practices in the \Cpp{} community, where concepts are used to document type requirements for templates in generic libraries. The technical development in this paper defines an extension to System F and a type-directed translation from the extension back to System F. The translation is proved sound; the proof is written in the human readable but machine checkable Isar language and has been automatically verified by the Isabelle proof assistant. This document was generated directly from the Isar theory files using Isabelle's support for literate proofs.} }


  3. Andrew Lumsdaine. OSL 2004 Bibliography. Technical report OSL-BIB-04-01, Open Systems Lab, Bloomington, IN, USA, January 2004.
    @TechReport{lums04:_allbib,
    author = {Andrew Lumsdaine},
    title = {OSL 2004 Bibliography},
    institution = {Open Systems Lab},
    year = 2004,
    number = {OSL-BIB-04-01},
    address = {Bloomington, IN, USA},
    month = {January} }


Posters and Presentations (1)
  1. R. Heiland, C. Moad, and S. Mooney. Python-based Tools and Web Services for Structural Bioinformatics. Presentation at SciPy Conference, CalTech, September 2004.
    @Misc{heiland04:_scipy04,
    author = {R. Heiland and C. Moad and S. Mooney},
    title = {Python-based Tools and Web Services for Structural Bioinformatics},
    howpublished = {Presentation at SciPy Conference, CalTech},
    pdf = {http://mypage.iu.edu/\~{}heiland/docs/SciPy04-PTL-CCBB.pdf},
    month = {September},
    year = 2004 }



BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.




Last modified: Wed Sep 27 08:25:15 2017
Author: apache.


This document was translated from BibTEX by bibtex2html