% 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}
}