Problems with this page?
Contact the mm-net webmaster
Last modified Tue Dec 21 12:30:32 GMT 2004
| Year | Publication |
| 2005 | Luc Moreau, Peter Dickman, and Richard Jones. Birrell's distributed reference listing revisited. To appear in ACM Transactions on Programming Languages and Systems (TOPLAS), pages 53. |
| Richard Bornat, Cristiano Calcagno, Peter O'Hearn, Matthew Parkinson Permission Accounting in Separation Logic To appear in POPL05 | |
| Cristiano Calcagno, Philippa Gardner, Uri Zarfaty. Context Logic and Tree Update POPL 2005 | |
| 2004 | Richard Jones and Andy King. Collecting the garbage without blocking the traffic. Technical Report 18-04, September 2004 |
| Andy C. King. Removing garbage collector synchronisation. PhD thesis, University of Kent at Canterbury, September 2004. | |
| Toni Cunei Use of pre-emptive program services with optimised native code PhD dissertation. Glasgow | |
| G.J. Michaelson, K. Hammond and J. Sérot, Hume: Programming Resource-Limited Systems using Bounded Automata, Proc. 2004 ACM Symposium on Applied Computing ‹ SAC 2004, Nicosia, Cyprus, February 2004, 8pp. Conference, refereed, intl. co-author | |
| K. Hammond and P. Vasconcelos, Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs, to appear in Proc. Implementation of Functional Languages, Edinburgh, Scotland, Springer-Verlag Lecture Notes in Computer, 2004, 16pp. Nominated for the Peter Landin Prize for best paper. | |
| G.J. Michaelson, K. Hammond, and J. Sérot, The Finite-Stateness of FSM-Hume, to appear in Trends in Functional Programming 4, Intellect, 2004, 16pp. | |
| H.-W. Loidl, K. Hammond, P.W. Trinder et al, A Study of Three Robust Parallel Functional Language Implementations, to appear in J. Symbolic Computation, ISSN 0747-7171 , 2004. | |
| Andrew Cheadle, Tony Field, Simon Marlow, Simon Peyton Jones, Lyndon While. Exploring the Barrier to Entry - Incremental Generational Garbage Collection for Haskell, ISMM, ACM 2004 | |
| Martin T. Vechev and David F. Bacon, Write Barrier Elision for Concurrent Garbage Collectors. ACM ISMM 2004 | |
| Josh Berdine, Cristiano Calcagno, Peter O’Hearn A Decidable Fragment of Separation Logic To Appear in FSTTCS 2004 | |
| Richard Bornat, Cristiano Calcagno, Peter O’Hearn Local Reasoning, Separation and Aliasing In Proc. SPACE 2004. | |
| David Pym, Peter O'Hearn, Hongseok Yang, Possible worlds and resources: The semantics of BI, Theoretical Computer Science 315(1), pp257-305, 2004. | |
| Norcross, S., Morrison, R., Munro, D S., Detmold, H. & Falkner, K., Implementing a Family of Distributed Garbage Collectors, Information Technology (August 2004), 36, 3. pp. 69-88. | |
| Nicholas Nethercote and Jeremy Fitzhardinge. Bounds-Checking Entire Programs Without Recompiling, Second Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE 2004), Venice, Italy, January 2004. | |
| 2003 | Andy C. King. Removing GC synchronisation (extended version). Winner (Graduate Division) ACM Student Research Competition. Also Technical Report 11-03, University of Kent, April 2003. |
| K. Hammond and G.J. Michaelson, Hume: a Domain-Specific Language for Real-Time Embedded Systems, Proc. 2003 Intl. Conf. on Generative Programming and Component Engineering, ‹ GPCE 2003, Erfurt, Germany, September 2003, Springer-Verlag Lecture Notes in Computer Science, ISBN 3-540-20102-5, 2003, pp. 37-56. One of two papers selected for fast-track submission to the ACM Transactions on Software Engineering Methodology. | |
| K. Hammond and G.J. Michaelson Predictable Space Behaviour in FSM-Hume, Proc. Implementation of Functional Languages, Madrid, Spain, Springer-Verlag Lecture Notes in Computer Science no. 2670, ISBN 3-540-40190-3,, 2003, pp. 1-16. | |
| A.J. Rebón Portillo, K. Hammond, H.-W. Loidl and P. Vasconcelos, Cost Analysis using Automatic Size and Time Inference, Proc. Implementation of Functional Languages, Madrid, Spain, Springer-Verlag Lecture Notes in Computer Science, no. 2670 ISBN 3-540-40190-3, 2003, pp. 232-247. | |
| H.-W. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi, U. Klusik, R. Loogen, G.J. Michaelson, R. Peña, S. Priebe, A.J. Rébon Portillo, and P.W. Trinder. Comparing Parallel Functional Languages: Programming and Performance, Higher Order and Symbolic Computation 16(3): 203-251, 2003. | |
| Martin T. Vechev and Peter D. Petrov Class Unloading with a Concurrent Garbage Collector in an Embedded Java VM. In Embedded Systems and Applications 2003 (ESA'03) | |
| Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat Program Logic and Equivalence in the Presence of Garbage Collection In Theoretical Computer Science, vol. 298/3, pp557-581. 2003. | |
| PW O'Hearn, H Yang and JC Reynolds, Separation and Information Hiding, POPL'04, pages 268-280. | |
| S Norcross, Deriving Distributed Garbage Collectors for Distributed Termination Algorithms, PhD thesis, University of St Andrews. | |
| Norcross, S., Morrison, R., Munro, D S., Detmold, H. & Falkner, K., Implementing a Family of Distributed Garbage Collectors, In 26th Australasian Computer Science Conference (ACSC 2003), Adelaide, Australia (2003), pp 161-170.. | |
| Nicholas Nethercote and Julian Seward. Valgrind: A Program Supervision Framework, Third Workshop on Runtime Verification (RV'03), Boulder, Colorado, USA, July 2003. | |
| Nicholas Nethercote and Alan Mycroft. Redux: A Dynamic
Dataflow Tracer. Third Workshop on Runtime Verification (RV'03), Boulder, Colorado, USA, July 2003. |
|
| 2002 | Andy C. King. Removing GC synchronisation. In OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications (Companion)R, SIGPLAN, pages 112-113, Seattle, WA, November 2002. ACM. Winner of the ACM SIGPLAN Student Research Competition 2002. |
| Tony Printezis and Richard Jones. GCspy: An adaptable heap visualisation framework. In Proceedings of OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications, SIGPLAN Notices, Seattle, WA., November 2002. ACM Press. | |
| Stephen M. Blackburn, Richard Jones, Kathryn S. McKinley, and J. Eliot B. Moss. Beltway: Getting around garbage collection gridlock. In Laurie J. Hendren, editor, Proceedings of PLDI'02 Programming Language Design and Implementation, Berlin, June 2002. ACM Press. | |
| Fermin Reig. Compiler Architecture using a Portable Intermediate Language PhD dissertation. Glasgow | |
| T. Printezis and A. Garthwaite. Visualising the Train Garbage Collector. In D. Detlefs, editor, Proceedings of the 2002 International Symposium on Memory Management, pages 50-63, Berlin, Germany, July 2002. | |
| Peter D. Petrov and Martin T. Vechev Embedded JVM Concurrent Garbage Collector Internals. In IASTED Networks, Parallel and Distributed Processing, and Applications (NPDPA'02) | |
| Nicholas Nethercote and Alan Mycroft. The Cache Behaviour of Large Lazy Functional Programs on Stock Hardware. Workshop on Memory System Performance (MSP 2002), pp44-55, Berlin, Germany, July 2002. | |
| Patricia M. Hill and Fausto Spoto. A Foundation of Escape Analysis. 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, St. Gilles les Bains, Reunion Island, France, September 9-13, 2002, vol. 2422 of Lecture Notes in Computer Science, H. Kirchner, C. Ringeissen, Eds., pp. 380--395. | |
| Hans-Wolfgang Loidl. The Virtual Shared Memory Performance of a Parallel Graph Reducer. In CCGrid 2002 - International Symposium on Cluster Computing and the Grid (DSM 2002: International Workshop on Distributed Shared Memory on Clusters), Berlin, pp. 311-318, May 2002. IEEE Press. | |
| Patricia M. Hill and Fausto Spoto. A Refinement of the Escape Property. In Verification, Model Checking and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 2002, Revised Papers. vol. 2294 of Lecture Notes in Computer Science, Agostino Cortesi, Ed., pp 154-166. | |
| TOTAL | 35 papers, 4 PhD theses |
Problems with this page?
Contact the mm-net webmaster
Last modified Tue Dec 21 12:30:32 GMT 2004