EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1B. De Fraine, E. Ernst, M. Südholt.

    Essential AOP: The A Calculus, in: ACM Transactions on Programming Languages and Systems (TOPLAS), December 2012.

    http://hal.inria.fr/hal-00676082
  • 2I. Figueroa, T. Schrijvers, N. Tabareau, É. Tanter.

    Compositional Reasoning About Aspect Interference, in: Modularity'14: 13th International Conference on Modularity, Lugano, Switzerland, April 2014.

    https://hal.inria.fr/hal-00919935
  • 3G. Jaber, N. Tabareau, M. Sozeau.

    Extending Type Theory with Forcing, in: LICS'12 : Logic In Computer Science, Dubrovnik, Croatia, June 2012.

    http://hal.inria.fr/hal-00685150
  • 4Y. Kouki, F. Alvares De Oliveira Jr., S. Dupont, T. Ledoux.

    A Language Support for Cloud Elasticity Management, in: CCGrid'14: IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Chicago, United States, May 2014, pp. 1-8.

    https://hal.archives-ouvertes.fr/hal-00941945
  • 5J. Pastor, M. Bertier, F. Desprez, A. Lebre, F. Quesnel, C. Tedeschi.

    Locality-aware Cooperation for VM Scheduling in Distributed Clouds, in: Euro-Par'14, Porto, Portugal, August 2014.

    https://hal.inria.fr/hal-00991530
  • 6F. Quesnel, A. Lebre, M. Südholt.

    Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS, in: Concurrency and Computation: Practice and Experience, December 2012.

    http://hal.inria.fr/hal-00675315
  • 7M. Sozeau, N. Tabareau.

    Universe Polymorphism in Coq, in: ITP'14: Interactive Theorem Proving, Vienna, Austria, July 2014.

    https://hal.inria.fr/hal-00974721
  • 8N. Tabareau, M. Südholt, É. Tanter.

    Aspectual Session Types, in: Modularity'14 - 13th International Conference on Modularity, Lugano, Switzerland, April 2014.

    https://hal.inria.fr/hal-00872791
  • 9R. Toledo, A. Núñez, É. Tanter, J. Noyé.

    Aspectizing Java Access Control, in: IEEE Transactions on Software Engineering, January 2011.

    http://hal.inria.fr/inria-00567489/en
  • 10J. Van Ham, G. Salvaneschi, M. Mezini, J. Noyé.

    JEScala: Modular Coordination with Declarative Events and Joins, in: Modularity'14 - 13th International Conference on Modularity, Lugano, Switzerland, E. Ernst (editor), April 2014.

    https://hal.inria.fr/hal-00862332
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 16I. Figueroa, N. Tabareau, É. Tanter.

    Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice, in: Transactions on Aspect-Oriented Software Development, 2014.

    https://hal.inria.fr/hal-00872782
  • 17M. Sellami, P. De Vettor, M. Mrissa, D. Benslimane, B. Defude.

    DMaaS : Syntactic, Structural and Semantic Mediation for Service Composition, in: International Journal of Autonomous and Adaptive Communications Systems, 2014.

    https://hal.inria.fr/hal-00937178
  • 18É. Tanter, I. Figueroa, N. Tabareau.

    Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications, in: Science of Computer Programming, February 2014, vol. 80, no 1, pp. 311-342. [ DOI : 10.1016/j.scico.2013.09.002 ]

    https://hal.inria.fr/hal-00872786

International Conferences with Proceedings

  • 19W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami, M. Azraoui, K. Elkhiyaoui, M. Önen, A. Santana De Oliveira, K. Bernsmed.

    A Cloud Accountability Policy Representation Framework, in: CLOSER - 4th International Conference on Cloud Computing and Services Science, Barcelone, Spain, April 2014.

    https://hal.inria.fr/hal-00941872
  • 20W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami, K. Bernsmed, A. Santana De Oliveira.

    Abstract Accountability Language, in: IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Singapore, Trust Management VIII - 8th IFIP WG 11.11 International Conference, July 2014, vol. 430, pp. 229–236.

    https://hal.inria.fr/hal-00973399
  • 21W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami.

    Accountability for Abstract Component Design, in: EUROMICRO DSD/SEAA 2014, Verona, Italy, August 2014.

    https://hal.inria.fr/hal-00987165
  • 22R.-A. Cherrueau, M. Südholt.

    Enforcing Expressive Accountability Policies, in: WETICE - IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Parma, Italy, Sumitra Reddy, June 2014, pp. 333–338. [ DOI : 10.1109/WETICE.2014.71 ]

    https://hal.inria.fr/hal-00967398
  • 23R. Douence, N. Tabareau.

    Lazier Imperative Programming, in: Principles and Practice of Declarative Programming (PPDP), Canterbury, United Kingdom, September 2014.

    https://hal.inria.fr/hal-01016565
  • 24I. Figueroa, T. Schrijvers, N. Tabareau, É. Tanter.

    Compositional Reasoning About Aspect Interference, in: 13th International Conference on Modularity (Modularity'14), Lugano, Switzerland, April 2014.

    https://hal.inria.fr/hal-00919935
  • 25I. Figueroa, N. Tabareau, É. Tanter.

    Effect Capabilities For Haskell, in: Brazilian Symposium on Programming Languages (SBLP), Maceio, Brazil, September 2014.

    https://hal.inria.fr/hal-01038053
  • 26M. S. Hasan, Y. Kouki, T. Ledoux, J.-L. Pazat.

    Cloud Energy Broker: Towards SLA-driven Green Energy Planning for IaaS Providers, in: HPCC - IEEE Internatonal Conference on High Performance Computing and Communications, France, August 2014, pp. 1-8.

    https://hal.archives-ouvertes.fr/hal-01015811
  • 27Y. Kouki, F. Alvares De Oliveira Jr., S. Dupont, T. Ledoux.

    A Language Support for Cloud Elasticity Management, in: CCGrid - IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Chicago, United States, May 2014, pp. 1-8.

    https://hal.archives-ouvertes.fr/hal-00941945
  • 28A. Lebre, G. Bervian Brand.

    GBFS: Efficient Data-Sharing on Hybrid Platforms. Towards adding WAN-Wide elasticity to DFSes. , in: WPBA Workshop in Proceedings of 26th International Symposium on Computer Architecture and High Performance Computing, Paris, France, IEEE, October 2014.

    https://hal.inria.fr/hal-01085233
  • 29J. Pastor, M. Bertier, F. Desprez, A. Lèbre, F. Quesnel, C. Tedeschi.

    Locality-aware Cooperation for VM Scheduling in Distributed Clouds, in: Euro-Par 2014, Porto, Portugal, August 2014.

    https://hal.inria.fr/hal-00991530
  • 30M. Sellami, J.-C. Royer, W. Benghabrit.

    Accountability for Data Protection, in: International Workshop on Computational Intelligence for Multimedia Understanding, Paris, France, November 2014.

    https://hal.archives-ouvertes.fr/hal-01084890
  • 31M. Sozeau, N. Tabareau.

    Universe Polymorphism in Coq, in: Interactive Theorem Proving, Vienna, Austria, July 2014.

    https://hal.inria.fr/hal-00974721
  • 32N. Tabareau, M. Südholt, É. Tanter.

    Aspectual Session Types, in: Modularity - 13th International Conference on Modularity, Lugano, Switzerland, April 2014. [ DOI : 10.1145/2577080.2577085 ]

    https://hal.inria.fr/hal-00872791
  • 33J. Van Ham, G. Salvaneschi, M. Mezini, J. Noyé.

    JEScala: Modular Coordination with Declarative Events and Joins, in: Modularity '14 - 13th International Conference on Modularity, Lugano, Switzerland, E. Ernst (editor), April 2014.

    https://hal.inria.fr/hal-00862332

Scientific Books (or Scientific Book chapters)

  • 34H. Arboleda, R. Casallas, J. Chavarriaga, J.-C. Royer.

    Software Architecture for Product Lines, in: Software Architecture 1, M. Oussalah (editor), Wiley-ISTE, April 2014, pp. 171-210.

    https://hal.archives-ouvertes.fr/hal-00997673
  • 35A. Lèbre, J. Pastor, M. Bertier, F. Desprez, J. Rouzaud-Cornabas, C. Tedeschi, A.-C. Orgerie, F. Quesnel, G. Fedak.

    Beyond The Clouds, How Should Next Generation Utility Computing Infrastructures Be Designed?, in: Cloud Computing: Challenges, Limitations and R&D Solutions, Z. Mahmood (editor), Springer, November 2014.

    https://hal.inria.fr/hal-01067888

Internal Reports

Other Publications

  • 37J. Fabry, T. Dinkelaker, J. Noyé, É. Tanter.

    A Taxonomy of Domain-Specific Aspect Languages, October 2014, Accepted for publication in ACM Computing Surveys.

    https://hal.inria.fr/hal-01085063
References in notes
  • 38M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors)

    Aspect-Oriented Software Development, Addison-Wesley Professional, September 2004.
  • 39C. Allan, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, J. Tibble.

    Adding trace matching with free variables to AspectJ, in: ACM Conference on Object-Oriented Programming, Systems and Languages (OOPSLA), R. P. Gabriel (editor), ACM Press, 2005.
  • 40R. Allen, D. Garlan.

    A Formal Basis for Architectural Connection, in: ACM Transactions on Software Engineering and Methodology, July 1997, vol. 6, no 3, pp. 213–49.
  • 41J. H. Andrews.

    Process-Algebraic Foundations of Aspect-Oriented Programming, in: Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Lecture Notes in Computer Science, 2001, vol. 2192, pp. 187–209.
  • 42T. H. Austin, C. Flanagan.

    Multiple facets for dynamic information flow, in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, New York, USA, POPL '12, ACM, 2012, pp. 165–178.

    http://doi.acm.org/10.1145/2103656.2103677
  • 43L. D. Benavides Navarro, M. Südholt, W. Vanderperren, B. De Fraine, D. Suvée.

    Explicitly distributed AOP using AWED, in: Aspect-Oriented Software Development (AOSD), ACM Press, March 2006, pp. 51-62.
  • 44G. S. Blair, G. Coulson, P. Robin, M. Papathomas.

    An architecture for next generation middleware, in: Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Springer-Verlag, 1998.
  • 45A. Braccialia, A. Brogi, C. Canal.

    A formal approach to component adaptation, in: Journal of Systems and Software, 2005.
  • 46S. Capecchi, I. Castellani, M. Dezani-Ciancaglini, T. Rezk.

    Session Types for Access and Information Flow Control, in: CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings, P. Gastin, F. Laroussinie (editors), Lecture Notes in Computer Science, Springer, 2010, vol. 6269, pp. 237–252.

    http://dx.doi.org/10.1007/978-3-642-15375-4_17
  • 47E. M. Clarke, O. Grumberg, D. A. Peled.

    Model Checking, The MIT Press, Cambridge, Massachusetts, 1999.
  • 48A. Colyer, A. Clement.

    Large-scale AOSD for Middleware, in: Proceedings of the 3rd ACM Int. Conf. on Aspect-Oriented Software Development (AOSD), Lancaster, K. Lieberherr (editor), ACM Press, 2004, pp. 56–65.
  • 49F. DeRemer, H. H. Kron.

    Programming-in-the-large versus programming-in-the-small, in: IEEE Transactions on Software Engineering, 1976, vol. SE-2, no 2, pp. 80-86.
  • 50G. Decker, O. Kopp, F. Leymann, M. Weske.

    BPEL4Chor: Extending BPEL for Modeling Choreographies, in: IEEE International Conference on Web Services (ICWS 2007), IEEE Computer Society, 2007, pp. 296–303.
  • 51E. W. Dijkstra.

    On the role of scientific thought, in: Selected Writings on Computing: A Personal Perspective, Springer-Verlag, 1974, pp. 60–66, Published in 1982.
  • 52R. Douence, P. Fradet, M. Südholt.

    A framework for the detection and resolution of aspect interactions, in: Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02), Lecture Notes in Computer Science, Springer-Verlag, October 2002, vol. 2487, pp. 173–188.

    http://hal.inria.fr/inria-00072153
  • 53R. Douence, P. Fradet, M. Südholt.

    Trace-Based Aspects, in: Aspect-Oriented Software Development, M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors), Addison-Wesley, 2004, pp. 201-218.
  • 54R. Douence, O. Motelet, M. Südholt.

    A formal definition of crosscuts, in: Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Lecture Notes in Computer Science, Springer-Verlag, 2001, vol. 2192, pp. 170–186.
  • 55R. Douence, D. Le Botlan, J. Noyé, M. Südholt.

    Concurrent Aspects, in: Proc. of the Int. ACM Conf. on Generative Programming and Component Engineering (GPCE), ACM Press, October 2006, pp. 79-88.
  • 56H. Foster, S. Uchitel, J. Magee, J. Kramer.

    Model-based Verification of Web Service Compositions, in: Proceedings of the 18th IEEE Int. Conf. on Automated Software Engineering (ASE'03), IEEE Computer Society, 2003, pp. 152–163.
  • 57A. Fuggetta, G. P. Picco, G. Vigna.

    Understanding Code Mobility, in: IEEE Transactions on Software Engineering, May 1998, vol. 24, no 5, pp. 342–361.
  • 58K. Honda, N. Yoshida, M. Carbone.

    Multiparty asynchronous session types, in: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, G. C. Necula, P. Wadler (editors), ACM, 2008, pp. 273–284.

    http://www.doc.ic.ac.uk/~yoshida/multiparty/multiparty.pdf
  • 59G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W. G. Griswold.

    An Overview of AspectJ, in: ECOOP 2001 — Object-Oriented Programming 15th European Conference, Budapest Hungary, Berlin, J. L. Knudsen (editor), Lecture Notes in Computer Science, Springer-Verlag, June 2001, vol. 2072, pp. 327–353.

    http://www.eclipse.org/aspectj/
  • 60G. Kiczales.

    Aspect Oriented Programming, in: Proc. of the Int. Workshop on Composability Issues in Object-Orientation (CIOO'96) at ECOOP, July 1996, Selected paper published by dpunkt press, Heidelberg, Germany.
  • 61G. Kiczales, J. des Rivieres, Daniel G. Bobrow.

    The Art of the Meta-Object Protocol, MIT Press, Cambridge (MA), USA, 1991.
  • 62J. Kienzle, R. Guerraoui.

    AOP - Does It Make Sense? The Case of Concurrency and Failures, in: 16th European Conference on Object-Oriented Programming (ECOOP'2002), Malaga, Spain, B. Magnusson (editor), Lecture Notes in Computer Science, Springer-Verlag, 2002.
  • 63T. Ledoux.

    OpenCorba: a Reflective Open Broker, in: ACM Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, Saint-Malo, France, P. Cointe (editor), Lecture Notes in Computer Science, Springer-Verlag, July 1999, vol. 1616, pp. 197–214.
  • 64M. McIlroy.

    Mass produced software components, in: Mass produced software components, Garmish, Germany, P. Naur, B. Randell (editors), NATO Science Committee, October 1968, pp. 138-155.
  • 65N. Medvidovic, R. N. Taylor.

    A Classification and Comparison Framework for Software Architecture Description Languages, in: IEEE Transactions on Software Engineering, January 2000, vol. 26, no 1, pp. 70-93.
  • 66M. Mernik, J. Heering, A. M. Sloane.

    When and How to Develop Domain-Specific Languages, in: ACM Computing Surveys, December 2005, vol. 37, no 4, pp. 316-344.
  • 67L. Mikhajlov, E. Sekerinski.

    A study of the fragile base class, in: A study of the fragile base class, Brussels, Belgium, E. Jul (editor), Lecture Notes in Computer Science, July 1998, vol. 1445, pp. 355-382.
  • 68D. H. Nguyen, M. Südholt.

    VPA-based aspects: better support for AOP over protocols, in: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), IEEE Computer Society Press, September 2006.
  • 69O. Nierstrasz.

    Regular Types for Active Objects, in: Object-Oriented Software Composition, O. Nierstrasz, D. Tsichritzis (editors), Prentice Hall, 1995, chap. 4, pp. 99–121.
  • 70M. Nishizawa, S. Chiba, M. Tatsubori.

    Remote Pointcut - A Language Construct for Distributed AOP, in: Proceedings of the 3rd ACM Int. Conf. on Aspect-Oriented Software Development (AOSD), Lancaster, ACM Press, 2004.
  • 71D. L. Parnas.

    On the criteria for decomposing systems into modules, in: Communications of the ACM, December 1972, vol. 15, no 12, pp. 1053-1058.
  • 72S. Pearson.

    Toward Accountability in the Cloud, in: Internet Computing, IEEE, July-Aug. 2011, vol. 15, no 4, pp. 64-69.

    http://dx.doi.org/10.1109/MIC.2011.98
  • 73F. Plasil, S. Visnovsky.

    Behavior Protocols for Software Components, in: Transactions on Software Engineering, January 2002, vol. 28, no 9.
  • 74F. Puntigam.

    Coordination Requirements Expressed in Types for Active Objects, in: ECOOP'97—Object-Oriented Programming, M. Akşit, S. Matsuoka (editors), Lecture Notes in Computer Science, Springer-Verlag, 1997, vol. 1241, pp. 367–388.
  • 75M. Shaw, D. Garlan.

    Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.
  • 76B. C. Smith.

    Reflection and Semantics in LISP, Xerox Palto Alto Research Center, Palo Alto, 1984, no P84-00030.
  • 77S. Soares, E. Laureano, P. Borba.

    Implementing distribution and persistence aspects with AspectJ , in: Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications (OOPSLA-02), C. Norris, J. J. B. Fenwick (editors), ACM SIGPLAN Notices, ACM Press, November  4–8 2002, vol. 37, 11, pp. 174–190.
  • 78S. Sundareswaran.

    Ensuring Distributed Accountability for Data Sharing in the Cloud, in: Dependable and Secure Computing, 2012, vol. 9.

    http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6165313
  • 79R. J. Walker, K. Viggers.

    Implementing Protocols via Declarative Event Patterns, in: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-12), ACM Press, 2004, pp. 159 - 169.
  • 80M. Wand, G. Kiczales, C. Dutchyn.

    A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2004, vol. 26, no 5, pp. 890–910.
  • 81D. M. Yellin, R. E. Strom.

    Protocol specifications and component adaptors, in: ACM Transactions of Programming Languages and Systems, March 1997, vol. 19, no 2, pp. 292–333.
  • 82A. van Deursen, P. Klint, J. Visser.

    Domain-Specific Languages: An Annotated Bibliography, in: ACM SIGPLAN Notices, June 2000, vol. 35, no 6, pp. 26-36.