% gc-us.bib,v 1.24 2005/03/18 14:34:49 a1hloidl Exp % % Bibliography of the proposers' relevant/CV-filling publications % %%%%%%% % C2 @ARTICLE{hofmann:jsl, AUTHOR = "Martin Hofmann", TITLE = "{Safe recursion with higher types and BCK-algebra}", JOURNAL = "Annals of Pure and Applied Logic", YEAR = "2000", note = "to appear"} %% Dave's bit @Article{AspinallCompagnoni01, author = {David Aspinall and Adriana Compagnoni}, title = {Heap Bounded Assembly Language}, journal = {Journal of Automated Reasoning (Special Issue on Proof-Carrying Code)}, year = 2003 volume = {31}, pages = "261--302", } %% actually work in progress @Unpublished{AspinallHofmann01:javacomp, author = {David Aspinall and Martin Hofmann}, title = {Heap Bounded Functional Programming in {Java}}, year = {2001}, note = {Technical report, unpublished}} %% actually work in progress @Unpublished{AspinallHofmann01:readonly, author = {David Aspinall and Martin Hofmann}, title = {Read Only Types and Functional In-place Update}, year = 2001, note = {Technical report, unpublished}} @InProceedings{Aspinall00:powertypes, author = "David Aspinall", title = "Subtyping with Power Types", booktitle = "Proc. Computer Science Logic, CSL 2000, Fischbachau/Munich, Germany", series = "Lecture Notes in Computer Science", publisher = Springer, year = 2000, url = "http://www.dcs.ed.ac.uk/home/da/papers/lambdapower/", } @InProceedings{AspinallCompagnoni96a, author = {David Aspinall and Adriana Compagnoni}, title = {Subtyping Dependent Types}, pages = "86--97", booktitle = {Proceedings, Eleventh Annual IEEE Symposium on Logic in Computer Science}, editor = {E. Clarke}, publisher = {IEEE Computer Society Press}, address = {New Brunswick, New Jersey}, year = 1996, url = "http://www.dcs.ed.ac.uk/home/da/papers/psub/" } %% Martin's papers, grabbed from his bib file. @UNPUBLISHED{hofmann:icc, AUTHOR = "Martin Hofmann", TITLE = "Linear types and non size-increasing polynomial time computation", YEAR = 2000, note = "To appear..." } @ARTICLE{hofmann:sigact, AUTHOR = "Martin Hofmann", TITLE = "Programming languages capturing complexity classes", JOURNAL = "SIGACT News Logic Column", YEAR = "2000", volume = "9", note = "12 pp" } @INPROCEEDINGS{hofmann:csl97, AUTHOR = "Martin Hofmann", TITLE = "{A mixed modal/linear lambda calculus with applications to Bellantoni-Cook safe recursion}", BOOKTITLE = "Proceedings of CSL '97, Aarhus. Springer LNCS 1414", YEAR = "1998", pages = "275--294" } @ARTICLE{hofmann:bsl, AUTHOR = "Martin Hofmann", TITLE = "An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras", JOURNAL = "Bulletin of Symbolic Logic", YEAR = "1997", volume = "3", number = "4", pages = "469--485" } @MISC{hofmann:habil, author = "Martin Hofmann", title = "Typed lambda calculi for polynomial-time computation", note = "{Habilitation thesis, TU Darmstadt, Germany. Edinburgh University LFCS Technical Report, ECS-LFCS-99-406}", year = "1999" } @article{hofmann:esop00, AUTHOR = "Martin Hofmann", TITLE = "A type system for bounded space and functional in-place update", journal = "Nordic Journal of Computing", volume = 7, number = 4, YEAR = "2000", pages = "258--289" } @TechReport{gilmore:dynamicmlTR, author = {Stephen Gilmore and Dilsun {K\i{}rl\i{}} and Chris Walton}, title = {Dynamic {ML} without Dynamic Types}, institution = {Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh}, year = 1997, number = {ECS-LFCS-97-378} } @Article{gilmore:dynamicml, author = {Stephen Gilmore and Dilsun {K\i{}rl\i{}} and Chris Walton}, title = {An Abstract Machine Model of Dynamic Module Replacement}, journal = {Future Generation Computer Systems}, year = 2000, volume = 16, pages = {793--808} } @InProceedings{gilmore:deeptypes, author = {Stephen Gilmore}, title = {Deep type inference for mobile functions}, booktitle = {Trends in Functional Programming (Volume 1)}, year = 2000, editor = {G.~Michaelson, P.~Trinder and H.-W. Loidl}, pages = {40--48} } @InProceedings{gilmore:babylonlite, author = {Stephen Gilmore and Marco Palomino}, title = {{BabylonLite}: Improvements to a {Java}-based Distributed Object System}, booktitle = {Proc.\ 4th CaberNet Plenary Workshop, Pisa}, year = 2001 } @InProceedings{abramsky+:nominalgames, author = {Samson Abramsky and Dan Ghica and Andrzej Murawski and Luke Ong and Ian Stark}, title = {Nominal Games and Full Abstraction for the Nu-Calculus}, booktitle = {Proceedings of the Nineteenth Annual IEEE Symposium on Logic in Computer Science}, pages = {150--159}, year = 2004, publisher = {IEEE Computer Society Press}, url = {http://www.ed.ac.uk/~stark/nominalgames.html}, pdf = {http://www.ed.ac.uk/~stark/nominalgames.pdf} } @InProceedings{lindley/stark:reducibility, author = {Sam Lindley and Ian Stark}, title = {Reducibility and $\top\top$-lifting for Computation Types}, booktitle = {Typed Lambda Calculi and Applications: Proceedings of the Seventh International Conference TLCA~2005}, year = 2005, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, note = {To appear} } @InProceedings{schoepp/stark:names+binding, author = {Ulrich {Sch{\"o}pp} and Ian Stark}, title = {A Dependent Type Theory with Names and Binding}, booktitle = {Computer Science Logic: Proceedings of the 18th International Workshop CSL~2004}, pages = {235--249}, year = 2004, number = 3210, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, url = {http://www.ed.ac.uk/~stark/bunches.html}, pdf = {http://www.ed.ac.uk/~stark/bunches.pdf} } @InProceedings{stark:freamp, author = {Ian Stark}, title = {Free-Algebra Models for the $\pi$-Calculus}, booktitle = {Foundations of Software Science and Computation Structures: Proceedings of FOSSACS 2005}, pages = {155--169}, year = 2005, number = 3441, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, url = {http://www.ed.ac.uk/~stark/freamp.html}, pdf = {http://www.ed.ac.uk/~stark/freamp.pdf} } %%% added by HWL (17/5/05); chron order in this part: @InProceedings{DSM02, author = {H-W. Loidl}, title = {{The Virtual Shared Memory Performance of a Parallel Graph Reducer}}, booktitle = {{CCGrid 2002 --- International Symposium on Cluster Computing and the Grid}}, pages = {311--318}, year = 2002, address = {May 21--24, 2002, Berlin, Germany}, publisher = {IEEE Computer Society}, annote = {not MRG related}, postscript = {http://groups.inf.ed.ac.uk/mrg/publications/other/dsm02.ps.gz}, } @inproceedings{Migration, author = {A. {Rauber Du Bois} and H-W. Loidl and P. Trinder}, title = {{Thread Migration in a Parallel Graph Reducer}}, booktitle = {{IFL'02 --- Intl.\ Workshop on the Implementation of Functional Languages}}, pages = {199--214}, year = 2002, volume = {2670}, address = {Madrid, Spain, September 16--18}, publisher = {Springer-Verlag, LNCS}, annote = {not MRG related}, postscript = {http://groups.inf.ed.ac.uk/mrg/publications/other/Migration-IFL02.ps.gz}, } @InProceedings{IFL02, author = {A.J. {Rebon Portillo} and K. Hammond, and H-W. Loidl and P. Vasconcelos}, title = {{Cost Analysis using Automatic Size and Time Inference}}, booktitle = {{IFL'02 --- Intl.\ Workshop on the Implementation of Functional Languages}}, pages = {232--247}, year = 2002, volume = {2670}, address = {Madrid, Spain, September 16-18}, publisher = {Springer-Verlag, LNCS}, annote = {vaguely MRG related}, postscript = {http://groups.inf.ed.ac.uk/mrg/publications/other/Analysis-IFL02.ps.gz}, } @InProceedings{PAD02, author = {A. {Rauber Du Bois} and R. Pointon and H-W. Loidl and P. Trinder}, title = {{A Declarative Parallel Bottom-Avoiding Choice}}, booktitle = {{SBAC-PAD 2002 - Symposium on Computer Architecture and High Performance Computing}}, year = 2002, address = {Vitoria, Brazil, October 28-30, }, annote = {not MRG related}, postscript = {http://groups.inf.ed.ac.uk/mrg/publications/other/pad02.ps.gz} } @InProceedings{WFLP04, author = {A. {Rauber Du Bois} and P. Trinder and H-W. Loidl}, title = {{Mobile Computation in Haskell}}, booktitle = {{WFLP'03: 12th Int'l Workshop on Functional and (Constraint) Logic Programming}}, year = 2003, address = {Valencia, Spain}, month = jun, annote = {not MRG related}, postscript = {http://groups.inf.ed.ac.uk/mrg/publications/other/wflp03.ps.gz}, } @Article{HOSC, author = {H-W. Loidl and {Rubio Diez}, F. and Scaife, N.R. and Hammond, K. and Klusik, U. and Loogen, R. and Michaelson, G.J. and Horiguchi, S. and {Pena Mari}, R. and Priebe, S.M. and {Rebon Portillo}, A.J. and P. TrinderW.}, title = {{Comparing Parallel Functional Languages: Programming and Performance}}, journal = {Higher-order and Symbolic Computation}, year = 2003, volume = 16, number = 3, pages = {203--251}, annote = {not MRG related}, postscript = {http://groups.inf.ed.ac.uk/mrg/publications/other/HOSC03.ps.gz}, } @InProceedings{CMPP04, author = {A. {Rauber Du Bois} and P. Trinder and H-W. Loidl}, title = {{Towards Mobility Skeletons}}, booktitle = {{CMPP'04 --- Intl. Workshop on Constructive Methods for Parallel Programming}}, year = 2004, address = {Stirling, Scotland}, month = jul, note = {To appear in PPL}, annote = {not MRG related}, postscript = {http://groups.inf.ed.ac.uk/mrg/publications/other/cmpp04.ps.gz}, } @InProceedings{PDMC04, author = {M. Lange, and H-W. Loidl}, title = {{Parallel and Symbolic Model Checking for Fixpoint Logic with Chop}}, booktitle = {PDMC'04: Intl. Workshop on Parallel and Distributed Techniques in Verification}, year = 2004, address = {London, UK}, month = sep, volume = {128}, number = {3}, publisher = {Elsevier, ENTCS}, annote = {not MRG related}, postscript = {http://groups.inf.ed.ac.uk/mrg/publications/other/pdmc04.ps.gz}, } @InProceedings{PAPP05, author = {A. {Al Zain} and P. Trinder and H-W. Loidl and G.J. Michaelson}, title = {{Managing Heterogeneity in a Grid Parallel Haskell}}, booktitle = {{PAPP'05: Second International Workshop on Practical Aspects of High-level Parallel Programming}}, year = 2005, address = {Atlanta, USA, May 22--25}, annote = {not MRG related}, note = {To appear}, postscript = {http://groups.inf.ed.ac.uk/mrg/publications/other/PAPP05.ps.gz}, } @InProceedings{mHaskell, author = {A. {Rauber Du Bois} and P. Trinder and H-W. Loidl}, title = {{mHaskell: Mobile Computation in a Purely Functional Language}}, booktitle = {{SBLP'05: 9th Brazilian Symposium on Programming Languages}}, year = 2005, address = {Recife, Brazil, May 23--25}, annote = {not MRG related}, note = {Submitted}, postscript = {http://groups.inf.ed.ac.uk/mrg/publications/other/mhaskell.ps.gz}, } @InProceedings{CMCS'2004, author = {J. Power and O. Shkaravska}, title = {From Comodels to Coalgebras: State and Arrays}, booktitle = {{CMCS'2004: 7th Intl. Workshop on Coalgebraic Methods in Computer Science}}, year = {2004}, address = {Barcelona, Spain}, month = {March}, publisher = {Elsevier, ENTCS}, volume = {106}, annote = {not MRG related} }