Project-Team Ascola
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

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.

previous Previous | up Home