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
  • 3M. S. Hasan, Y. Kouki, T. Ledoux, J.-L. Pazat.

    Exploiting Renewable sources: when Green SLA becomes a possible reality in Cloud computing, in: IEEE Transactions on Cloud Computing, July 2015, vol. PP, no 99, 1 p. [ DOI : 10.1109/TCC.2015.2459710 ]

    https://hal.archives-ouvertes.fr/hal-01187907
  • 4G. Jaber, G. Lewertowski, P.-M. Pédrot, M. Sozeau, N. Tabareau.

    The Definitional Side of the Forcing, in: Logics in Computer Science, New York, United States, May 2016. [ DOI : 10.1145/2933575.2935320 ]

    https://hal.archives-ouvertes.fr/hal-01319066
  • 5Y. 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
  • 6A. Lebre, J. Pastor, M. Südholt.

    VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms, in: Europar 2015, Vienne, Austria, August 2015.

    https://hal.inria.fr/hal-01159033
  • 7R. Pottier, J.-M. Menaud.

    TrustyDrive: a Multi-Cloud Storage Service that Protects Your Privacy, in: IEEE 9th International Conference on Cloud Computing, San Francisco, United States, International Conference on Cloud Computing, June 2016.

    https://hal.inria.fr/hal-01322638
  • 8M. Sozeau, N. Tabareau.

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

    https://hal.inria.fr/hal-00974721
  • 9N. 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
  • 10J. M. 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

  • 16N. Beldiceanu, M. Carlsson, R. Douence, H. Simonis.

    Using finite transducers for describing and synthesising structural time-series constraints, in: Constraints, January 2016, vol. 21, no 1. [ DOI : 10.1007/s10601-015-9200-3 ]

    https://hal.inria.fr/hal-01370322
  • 17N. Beldiceanu, B. Dumas Feris, P. Gravey, S. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J.-M. Menaud, P. Morel, M. Morvan, M.-L. MOULINARD, A.-C. Orgerie, J.-L. Pazat, O. H. Roux, A. Sharaiha.

    Towards energy-proportional Clouds partially powered by renewable energy, in: Computing, January 2017, vol. 99, no 1, 20 p. [ DOI : 10.1007/s00607-016-0503-z ]

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

    Effect capabilities for Haskell: Taming effect interference in monadic programming, in: Science of Computer Programming, April 2016, vol. 119, pp. 3-30. [ DOI : 10.1016/j.scico.2015.11.010 ]

    https://hal.inria.fr/hal-01400002
  • 19D. Serrano, S. Bouchenak, Y. Kouki, F. Alvares De Oliveira Jr., T. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens.

    SLA guarantees for cloud services, in: Future Generation Computer Systems, January 2016, vol. 54, pp. 233–246. [ DOI : 10.1016/j.future.2015.03.018 ]

    https://hal.archives-ouvertes.fr/hal-01162654

International Conferences with Proceedings

  • 20E. Arafailova, N. Beldiceanu, R. Douence, P. Flener, M. A. Francisco Rodríguez, J. Pearson, H. Simonis.

    Time-Series Constraints: Improvements and Application in CP and MIP Contexts, in: CPAIOR 2016 - 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, Banff, Canada, C.-G. Quimper (editor), Lecture Notes in Computer Science, Springer, May 2016, vol. 9676, pp. 18-34. [ DOI : 10.1007/978-3-319-33954-2 ]

    https://hal.inria.fr/hal-01355262
  • 21J. Cohen.

    Renaming Global Variables in C Mechanically Proved Correct, in: Fourth International Workshop on Verification and Program Transformation, Eindhoven, Netherlands, April 2016.

    https://hal.archives-ouvertes.fr/hal-01277269
  • 22P.-E. Dagand, N. Tabareau, É. Tanter.

    Partial Type Equivalences for Verified Dependent Interoperability, in: ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, September 2016, pp. 298-310. [ DOI : 10.1145/2951913.2951933 ]

    https://hal.inria.fr/hal-01328012
  • 23S. Dupont, S. Bouri, F. Alvares De Oliveira, T. Ledoux.

    ElaScript: a DSL for Coding Elasticity in Cloud Computing, in: 32nd ACM Symposium on Applied Computing - Track on Cloud Computing, Marrakesh, Morocco, Proceedings of the 32nd ACM Symposium on Applied Computing - Track on Cloud Computing, April 2017.

    https://hal.archives-ouvertes.fr/hal-01400236
  • 24A. Garnier, J.-M. Menaud, N. MONTAVONT.

    Bringing Complex Event Processing into Multitree Modelling of Sensors, in: International Conference on Distributed Applications and Interoperable Systems (DAIS), Heraklion, Greece, June 2016.

    https://hal.inria.fr/hal-01322670
  • 25M. S. Hasan, F. Alvares De Oliveira, T. Ledoux, J.-L. Pazat.

    Enabling Green Energy awareness in Interactive Cloud Application, in: IEEE International Conference on Cloud Computing Technology and Science 2016, Luxembourg, Luxembourg, December 2016.

    https://hal.inria.fr/hal-01365230
  • 26G. Jaber, G. Lewertowski, P.-M. Pédrot, M. Sozeau, N. Tabareau.

    The Definitional Side of the Forcing, in: Logics in Computer Science, New York, United States, May 2016. [ DOI : 10.1145/2933575.2935320 ]

    https://hal.archives-ouvertes.fr/hal-01319066
  • 27A. Lebre, J. Pastor, A. Simonet, F. Desprez.

    Revising OpenStack to Operate Fog/Edge Computing infrastructures, in: IEEE International Conference on Cloud Engineering, Vancouver, France, April 2017.

    https://hal.inria.fr/hal-01273427
  • 28Y. Li, A.-C. Orgerie, J.-M. Menaud.

    Balancing the use of batteries and opportunistic scheduling policies for maximizing renewable energy consumption in a Cloud data center, in: PDP 2017 - 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, St Petersburg, Russia, March 2017.

    https://hal.inria.fr/hal-01432752
  • 29A. Lèbre, A. Simonet, A.-C. Orgerie.

    Deploying Distributed Cloud Infrastructures: Who and at What Cost?, in: Proceedings of the fifth IEEE International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability, Berlin, Germany, Intercloud 2016, April 2016, 6 p. [ DOI : 10.1109/IC2EW.2016.48 ]

    https://hal.inria.fr/hal-01404594
  • 30R. Pottier, J.-M. Menaud.

    TrustyDrive: a Multi-Cloud Storage Service that Protects Your Privacy, in: IEEE 9th International Conference on Cloud Computing, San Francisco, United States, International Conference on Cloud Computing, June 2016.

    https://hal.inria.fr/hal-01322638
  • 31J.-C. Royer, A. Santana De Oliveira.

    AAL and Static Conflict Detection in Policy, in: 15th International Conference on Cryptology and Network Security, Milan, Italy, S. Foresti, G. Persiano (editors), Cryptology and Network Security, Springer, November 2016, no 10052, pp. 362-382. [ DOI : 10.1007/978-3-319-48965-0_22 ]

    https://hal.archives-ouvertes.fr/hal-01396376

Conferences without Proceedings

Scientific Books (or Scientific Book chapters)

Internal Reports

  • 35R.-A. Cherrueau, A. Lebre, D. Pertin, A. Simonet, M. Simonin.

    ENOS: a HolisticFramework forConducting ScientificEvaluations of OpenStack, Inria Rennes Bretagne Atlantique ; Nantes, November 2016, no RT-0485.

    https://hal.inria.fr/hal-01415522
  • 36A. Lèbre, J. Pastor, F. Desprez.

    A Ring to Rule Them All - Revising OpenStack Internals to Operate Massively Distributed Clouds: The Discovery Initiative - Where Do We Are ?, Inria, February 2016, no RT-0480, pp. 1-24.

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

Other Publications

  • 37B. Ahrens, R. Matthes, A. Mörtberg.

    From signatures to monads in UniMath, December 2016, working paper or preprint.

    https://hal.inria.fr/hal-01410487
  • 38W. Benghabrit, H. Grall, J.-C. Royer.

    Monitoring accountability policies with AccMon framework, June 2016, GDR-GPL, Poster.

    https://hal.inria.fr/hal-01332040
  • 39F. Marchand de Kerchove, J. Noyé, M. Südholt.

    Extensible Modules for JavaScript, April 2016, 3 p, SAC '16 - 31st Annual ACM Symposium on Applied Computing, Poster. [ DOI : 10.1145/2851613.2851958 ]

    https://hal.inria.fr/hal-01407340
  • 40P.-M. Pédrot, N. Tabareau.

    An Effectful Way to Eliminate Addiction to Dependence, January 2017, working paper or preprint.

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

    Aspect-Oriented Software Development, Addison-Wesley Professional, September 2004.
  • 42C. 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.
  • 43R. 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.
  • 44J. 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.
  • 45M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. Katz, A. Konwinski, G. Lee, D. Patterson, A. Rabkin, I. Stoica, M. Zaharia.

    A view of cloud computing, in: Communications of the ACM, 2010, vol. 53, no 4, pp. 50–58.
  • 46T. 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
  • 47A. Beloglazov, R. Buyya.

    Energy efficient resource management in virtualized cloud data centers, in: in: Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, CCGRID’10, IEEE Computer Society, 2010, pp. 826–831.
  • 48L. 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.
  • 49G. 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.
  • 50A. Braccialia, A. Brogi, C. Canal.

    A formal approach to component adaptation, in: Journal of Systems and Software, 2005.
  • 51R. E. Brown, E. R. Masanet, B. Nordman, W. F. Tschudi, A. Shehabi, J. Stanley, J. G. Koomey, D. A. Sartor, P. T. Chan.

    Server and Data Center Energy Efficiency: Public Law 109-431, in: Report to Congress, 06/2008 2008.
  • 52S. 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
  • 53E. M. Clarke, O. Grumberg, D. A. Peled.

    Model Checking, The MIT Press, Cambridge, Massachusetts, 1999.
  • 54A. 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.
  • 55F. 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.
  • 56G. 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.
  • 57E. 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.
  • 58R. 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
  • 59R. 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.
  • 60R. 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.
  • 61R. 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.
  • 62H. 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.
  • 63I. Foster, Y. Zhao, I. Raicu, S. Lu.

    Cloud computing and grid computing 360-degree compared, in: Grid Computing Environments Workshop, 2008. GCE'08, Ieee, 2008, pp. 1–10.
  • 64A. Fuggetta, G. P. Picco, G. Vigna.

    Understanding Code Mobility, in: IEEE Transactions on Software Engineering, May 1998, vol. 24, no 5, pp. 342–361.
  • 65Greenpeace.

    Make IT green: Cloud computing and its contribution to climate change, Greenpeace International, March 2010.
  • 66K. 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
  • 67G. 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/
  • 68G. 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.
  • 69G. Kiczales, J. des Rivieres, Daniel G. Bobrow.

    The Art of the Meta-Object Protocol, MIT Press, Cambridge (MA), USA, 1991.
  • 70J. 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.
  • 71T. 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.
  • 72M. 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.
  • 73N. 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.
  • 74M. 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.
  • 75L. 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.
  • 76D. 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.
  • 77O. Nierstrasz.

    Regular Types for Active Objects, in: Object-Oriented Software Composition, O. Nierstrasz, D. Tsichritzis (editors), Prentice Hall, 1995, chap. 4, pp. 99–121.
  • 78M. 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.
  • 79D. L. Parnas.

    On the criteria for decomposing systems into modules, in: Communications of the ACM, December 1972, vol. 15, no 12, pp. 1053-1058.
  • 80S. 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
  • 81F. Plasil, S. Visnovsky.

    Behavior Protocols for Software Components, in: Transactions on Software Engineering, January 2002, vol. 28, no 9.
  • 82F. 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.
  • 83N. Sharma, S. Barker, D. Irwin, P. Shenoy.

    Blink: managing server clusters on intermittent power, in: SIGARCH Comput. Archit. News, March 2011, vol. 39, pp. 185–198.

    http://dx.doi.org/10.1145/1961295.1950389
  • 84M. Shaw, D. Garlan.

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

    Reflection and Semantics in LISP, Xerox Palto Alto Research Center, Palo Alto, 1984, no P84-00030.
  • 86S. 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.
  • 87S. 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
  • 88R. 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.
  • 89M. 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.
  • 90D. 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.
  • 91Q. Zhang, L. Cheng, R. Boutaba.

    Cloud computing: state-of-the-art and research challenges, in: Journal of internet services and applications, 2010, vol. 1, no 1, pp. 7–18.
  • 92A. 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.