Adriana Compagnoni's Publications List

Adriana Compagnoni's Publications List

BibTex entries

PhD Thesis

Adriana Compagnoni. Higher-Order Subtyping with Intersection Types (ps) or dvi. Front cover (ps). PhD thesis, University of Nijmegen, The Netherlands, January 1995. ISBN 90-9007860-6. Supervisors: Prof. Henk Barendregt and Prof. Mariangiola Dezani-Ciancaglini.

In Journals

  1. Adriana Compagnoni, Elsa L. Gunter, and Philippe Bidinger, Role-based Access Control for Boxed Ambients . To appear in Theoretical Computer Science, October 2007. Festschrift in Honor of Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca.

  2. Pablo Garralda, Eduardo Bonelli, Adriana Compagnoni, and Mariangiola Dezani-Ciancaglini. Boxed Ambients with Communication Interfaces (.pdf). Mathematical Structures in Computer Science, Volume 17, Issue 04, Aug 2007, pp 587-645.

  3. Eduardo Bonelli, Adriana Compagnoni, and Elsa Gunter. Correspondence Assertions for Process Synchronization in Concurrent Communications(.pdf) (.ps). Journal of Functional Programming Journal of Functional Programming 15(2) pages 219-147. April 2004. Cambridge University Press. Special issue on Language-Based Security.

  4. Adriana Compagnoni and Healfdene Goguen. Anti-Symmetry of Higher-Order Subtyping and Equality by Subtyping(.pdf). September 2004. Mathematical Structures in Computer Science, Volume 16, Issue 01, February 2006, pp 41-65. Published online by Cambridge University Press 21 Feb 2006.

  5. Eduardo Bonelli, Adriana Compagnoni, and Elsa Gunter. Typechecking Safe Process Synchronization(.pdf) (.ps). February 2004. Submitted for journal publication.

  6. Adriana Compagnoni. Higher-Order Subtyping And Its Decidability(.pdf)(.ps) Revised version July 2003. Information and Computation. Volume 191, issue 1, pages 41-113. May 2004. This paper combines the contents of Subject Reduction and Minimal Types for Higher Order Subtyping and Decidable Higher Order Subtyping.

  7. David Aspinall and Adriana Compagnoni. Heap Bounded Assembly Language(.ps) (.pdf). March 2001. Journal of Automated Reasoning, 2003, vol. 31, iss. 3-4, pp. 261-302(42). Kluwer Academic Publishers. Special issue on Proof-Carrying Code.

  8. Adriana Compagnoni and Healfdene Goguen. Typed Operational Semantics for Higher Order Subtyping(.pdf). (.ps). In Information and Computation, Volume 184, Issue 2, Pages 242-297 (1 August 2003).

  9. David Aspinall and Adriana Compagnoni. Subtyping dependent types. Theoretical Computer Science, Volume 266, pp 273-309, September 2001.

  10. Adriana Compagnoni and Benjamin C. Pierce. Higher Order Intersection Types and Multiple Inheritance. Mathematical Structures in Computer Science, October, 1996, volume 6, pp 469-501.

In Conferences and Workshops

  1. Eduardo Bonelli and Adriana Compagnoni Multipoint Session Types for a Distributed Calculus. In Proceedings of Trustworthy Global Computing 2007. November 2007. Lecture Notes in Computer Science.

  2. Philippe Bidinger and Adriana Compagnoni. Pict Correctness Revisited. In Proceedings of the 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 07). Paphos, Cyprus, 05-08 June 2007. Lecture Notes in Computer Science, Issue 4468/2007, pages 206-220. Springer.

  3. Pablo Garralda, Adriana Compagnoni, and Mariangiola Dezani-Ciancaglini. BASS: Boxed Ambients with Safe Sessions. In the Proceedings of The Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06). Venice, Italy, 10-12 July 2006. Pages: 61 - 72. 2006. ISBN:1-59593-388-3. ACM Press. New York, NY, USA.

  4. Ricardo Medel, Adriana Compagnoni and Eduardo Bonelli. A Typed Assembly Language for Non-Interference(.ps) (.pdf). ICTCS 2005 Ninth Italian Conference on Theoretical Computer Science Certosa di Pontignano (Siena), Italy, 12-14 October 2005. LNCS 3701, pp 360-374. Supersedes our paper in the informal proceedings of FCS'05.

  5. Pablo Garralda and Adriana Compagnoni. Splitting Mobility and Communication in Boxed Ambients(.ps) (.pdf). In the Proceedings the International Workshop on Developments in Computational Models (DCM 2005) Lisbon, Portugal - 10 July, 2005. A satellite event of ICALP 2005. Electronic Notes in Theoretical Computer Science, Volume 135, Issue 3, Pages 61--71. March 2006.

  6. Ricardo Medel, Adriana Compagnoni and Eduardo Bonelli. Non-Interference for a Typed Assembly Language. LICS'05 Affiliated Workshop on Foundations of Computer Security (FCS'05) Chicago, IL, June 30 - July 1, 2005.

  7. Adriana Compagnoni and Elsa Gunter. Role-Based Access Control in a Mobile Environment. Symposium on Trustworthy Global Computing (TGC 2005). Edinburgh, UK, April 7-9, 2005. R. De Nicola and D. Sangiorgi (Eds.) LNCS 3705, pages 75-97 2005 Types for Security in a Mobile World(.ps) (.pdf). Springer-Verlag Berlin Heidelberg 2005.

  8. Eduardo Bonelli, Adriana Compagnoni, and Ricardo Medel. Information-Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. CASSIS 2005: Constructiona and Analysis of Safe, Secure and Interoperable Smart Devices. Nice, France. March 8-11 2005. Accepted for Publication in LNCS postworkshop proceedings (.ps) (.pdf)

  9. Eduardo Bonelli, Adriana Compagnoni, and Elsa Gunter. Typechecking Safe Process Synchronization(.pdf) (.ps). Electronic Notes in Theoretical Computer Science Copyright © 2005 Elsevier B.V. All rights reserved. Volume 138, issue 1, pages 3-22 (9 September 2005). Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004) 03-04 September 2004. Edited by J. Rathke.

  10. Eduardo Bonelli, Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, and Pablo Garralda. Boxed Ambients with Communication Interfaces (BACI) (.pdf). In the Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science (MFCS 2004). Prague, Czech Republic, Europe . August 22-27, 2004. LNCS 3153, pages 119-148, Springer Verlag.

  11. Eduardo Bonelli, Adriana Compagnoni, and Elsa Gunter. Correspondence Assertions for Process Synchronization in Concurrent Communications(.pdf) (.ps). April 2003. In Proceedings of FOCLASA 2003 2nd International Workshop on Foundations of Coordination Languages and Software Architecture. 2 September 2003. Marseille, France. Electronic Notes in Theoretical Computer Science(ENTCS), Volume 97, pages 175-195. 2004. Submitted for journal publication.

  12. Ricardo Medel, Matthieu Lucotte and Adriana Compagnoni. Implementing a Typed Assembly Language and its Machine Model (postscript format) in Proceedings of the CACIC'02 (Argentinean Conference of Computer Science), Buenos Aires, Argentina. October 2002.

  13. Adriana Compagnoni and Healfdene Goguen. Anti-Symmetry of Higher-Order Subtyping(.ps), (pdf.), slides. In J. Flum and M. Rodrguez-Artalejo, editors, Proceedings of the 8th Annual Conference on Computer Science Logic (CSL'99), Madrid, Spain, September 1999. Springer-Verlag LNCS 1683, pages 420--438.

  14. Dominic Duggan and Adriana Compagnoni. Subtyping for Object Type Constructors. October 1998. In FOOL 6 workshop.

  15. Adriana Compagnoni and Maribel Fernández. An object calculus with algebraic rewriting (ps). April 1997. In Proceedings of the 9th International Symposium PLILP'97, Southampton, UK, September 3-5, 1997. Number 1292 in Lecture Notes in Computer Science. Pages 17 -- 31. Springer-Verlag.

  16. David Aspinall and Adriana Compagnoni. Subtyping dependent types(.ps) or small ps for small-memory printers. July 1995. In Proceedings of the eleventh IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey, USA.

  17. Adriana Compagnoni. Decidability of higher-order subtyping with intersection types. In Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL'94, Kazimierz, Poland, number 933 in Lecture Notes in Computer Science. Springer-Verlag, June 1995. Preliminary version available as University of Edinburgh technical report ECS-LFCS-94-281, January 1994, under the title: Subtyping in F-omega-meet is decidable.

  18. Adriana Compagnoni and Veronica Gaspes. A type theory for ML. In Proceedings of the Tenth International Conference of the Chilean Computer Science Society. Ed. Dr. David Fuller. Pontificia Universidad Catolica de Chile, 1990.

Technical Reports and Unpublished Manuscripts

  1. Adriana Compagnoni and Healfdene Goguen. Subtyping a la Church. December 2007. Festschrift in Honor of Henk Barendregt. Radboud University Nijmegen. Unrefereed contribution.

  2. Eduardo Bonelli, Adriana Compagnoni, and Elsa Gunter. Typechecking Safe Process Synchronization Stevens Institute of Technology, Computer Science Department, Technical Report CS-2004-3 (.ps) . February 2004. Submitted for journal publication.

  3. Eduardo Bonelli, Adriana Compagnoni, and Ricardo Medel< Bonelli, Adriana Compagnoni, and Ricardo Medel. SIFTAL: A Typed Assembly Language for Secure Information Flow Analysis. February 2004. Draft.

  4. Eduardo Bonelli, Adriana Compagnoni, and Elsa Gunter. Correspondence Assertions for Process Synchronization in Concurrent Communications(.pdf). Stevens Institute of Technology, Computer Science Department, Technical Report CS-2003-8. September 2003.

  5. Adriana Compagnoni. Higher-Order Subtyping And Its Decidability(.pdf)(.ps) Stevens Institute of Technology, Computer Science Department, Technical Report CS-2004-2.

  6. Adriana Compagnoni and Healfdene Goguen. Decidability of Higher-Order Subtyping via Logical Relations (.ps). December 1997.

  7. Adriana Compagnoni. Decidable Higher Order Subtyping. University of Edinburgh, LFCS report ECS-LFCS-97-365. September 1997.

  8. Adriana Compagnoni. Subject Reduction and Minimal Types for Higher Order Subtyping. University of Edinburgh, LFCS report ECS-LFCS-97-363. August 1997.

  9. Adriana Compagnoni and Healfdene Goguen. Typed Operational Semantics for Higher Order Subtyping(.pdf). (.ps) Revised version of University of Edinburgh, LFCS report ECS-LFCS-97-361. April 1997.

  10. Adriana Compagnoni, Ole Jensen, James Leifer, and Peter Sewell. Action calculus semantics for a functional programming language with mutable store. Technical report, University of Cambridge, Computer Laboratory, 1997.

  11. David Aspinall and Adriana Compagnoni. Subtyping dependent types LFCS report ECS-LFCS-97-370. October 1997.

  12. Adriana Compagnoni. Decidability of higher-order subtyping with intersection types. In Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL'94, Kazimierz, Poland, number 933 in Lecture Notes in Computer Science. Springer-Verlag, June 1995. Preliminary version available as University of Edinburgh technical report ECS-LFCS-94-281, January 1994, under the title: Subtyping in F-omega-meet is decidable.

  13. Adriana Compagnoni and Benjamin C. Pierce. Multiple inheritance via intersection types as University of Edinburgh technical report ECS-LFCS-93-275 and Catholic University Nijmegen computer science technical report 93-18., Aug. 1993.

The documents contained in these pages are included to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
Adriana Compagnoni
Last modified: Wed Aug 2 15:34:08 EDT 2006