EN FR
EN FR


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 2G. Chari, D. Garbervetsky, S. Marr, S. Ducasse.

    Fully Reflective Execution Environments: Virtual Machines for More Flexible Software, in: IEEE Transactions on Software Engineering, May 2018, pp. 1 - 20. [ DOI : 10.1109/TSE.2018.2812715 ]

    https://hal.inria.fr/hal-01728111
  • 3A. Etien, J. Laval.

    Advances in Dynamic Languages, in: Science of Computer Programming, September 2018, vol. 161, 1 p, cited By 0. [ DOI : 10.1016/j.scico.2018.03.004 ]

    https://hal.archives-ouvertes.fr/hal-01858483
  • 4M. Marra, G. Polito, E. Gonzalez Boix.

    Out-Of-Place debugging: a debugging architecture to reduce debugging interference, in: The Art, Science, and Engineering of Programming, November 2018, vol. 3, no 2, pp. 1-29. [ DOI : 2019/3/3 ]

    https://hal.inria.fr/hal-01952790
  • 5N. Milojković, C. Béra, M. Ghafari, O. Nierstrasz.

    Mining inline cache data to order inferred types in dynamic languages, in: Science of Computer Programming, September 2018, vol. 161, pp. 105-121. [ DOI : 10.1016/j.scico.2017.11.003 ]

    https://hal.inria.fr/hal-01666541
  • 6P. Tesone, G. Polito, N. Bouraqadi, S. Ducasse, L. Fabresse.

    Dynamic Software Update from Development to Production, in: The Journal of Object Technology, November 2018, vol. 17, no 1, pp. 1-36. [ DOI : 10.5381/jot.2018.17.1.a2 ]

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

International Conferences with Proceedings

  • 7S. Bragagnolo, H. S. C. Rocha, M. Denker, S. Ducasse.

    Ethereum Query Language, in: WETSEB 2018 - 1st International Workshop on Emerging Trends in Software Engineering for Blockchain, Gothenburg, Sweden, May 2018. [ DOI : 10.1145/3194113.3194114 ]

    https://hal.inria.fr/hal-01831084
  • 8S. Bragagnolo, H. S. C. Rocha, M. Denker, S. Ducasse.

    SmartInspect: Solidity Smart Contract Inspector, in: IWBOSE 2018 - 1st International Workshop on Blockchain Oriented Software Engineering, Campobasso, Italy, IEEE, March 2018. [ DOI : 10.1109/IWBOSE.2018.8327566 ]

    https://hal.inria.fr/hal-01831075
  • 9S. Costiou, M. Kerboeuf, A. Plantec, M. Denker.

    Collectors, in: Programming Experience 2018 (PX'18), Nice, France, Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, ACM Press, April 2018, 9 p. [ DOI : 10.1145/3191697.3214335 ]

    https://hal.univ-brest.fr/hal-01829183
  • 10J. Delplanque, A. Etien, N. Anquetil, O. Auverlot.

    Relational Database Schema Evolution: An Industrial Case Study, in: ICSME 2018 - 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, September 2018. [ DOI : 10.1109/ICSME.2018.00073 ]

    https://hal.archives-ouvertes.fr/hal-01945042
  • 11S. Demeyer, B. Verhaeghe, A. Etien, N. Anquetil, S. Ducasse.

    Evaluating the Efficiency of Continuous Testing during Test-Driven Development, in: VST 2018 - 2nd IEEE International Workshop on Validation, Analysis and Evolution of Software Tests, Campobasso, Italy, March 2018, pp. 1-5. [ DOI : 10.1109/VST.2018.8327152 ]

    https://hal.inria.fr/hal-01717343
  • 12J. Lecerf, J. Brant, T. Goubier, S. Ducasse.

    A Reflexive and Automated Approach to Syntactic Pattern Matching in Code Transformations, in: ICSME 2018 - 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, ICSME 2018 - 34th IEEE International Conference on Software Maintenance and Evolution, September 2018. [ DOI : 10.1109/ICSME.2018.00052 ]

    https://hal.archives-ouvertes.fr/hal-01851857
  • 13H. Rocha, S. Ducasse.

    Preliminary Steps Towards Modeling Blockchain Oriented Software, in: WETSEB 2018 - 1st International Workshop on Emerging Trends in Software Engineering for Blockchain, Gothenburg, Sweden, May 2018. [ DOI : 10.1145/3194113.3194123 ]

    https://hal.inria.fr/hal-01831046
  • 14C. M. Souza Couto, H. Rocha, R. Terra.

    A Quality-oriented Approach to Recommend Move Method Refactorings, in: Proceedings of the 17th Brazilian Symposium on Software Quality, Curitiba, Brazil, October 2018. [ DOI : 10.1145/3275245.3275247 ]

    https://hal.inria.fr/hal-01944493
  • 15P. Tesone, G. Polito, L. Fabresse, N. Bouraqadi, S. Ducasse.

    Implementing Modular Class-based Reuse Mechanisms on Top of a Single Inheritance VM, in: SAC 2018:- The 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, France, SAC 2018 Symposium on Applied Computing, ACM New York, NY, USA, April 2018. [ DOI : 10.1145/3167132.3167244 ]

    https://hal.archives-ouvertes.fr/hal-01812612
  • 16M. Viggiato, R. Terra, H. S. C. Rocha, M. Tulio Valente, E. Figueiredo.

    Microservices in Practice: A Survey Study, in: VEM 2018 - 6th Workshop on Software Visualization, Evolution and Maintenance, Sao Carlos, Brazil, September 2018.

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

Conferences without Proceedings

  • 17J. Delplanque, O. Auverlot, A. Etien, N. Anquetil.

    Définition et identification des tables de nomenclatures, in: INFORSID 2018 - 36ème édition d'INFormatique des ORganisations et Systèmes d'Information et de Décision, Nantes, France, May 2018.

    https://hal.archives-ouvertes.fr/hal-01944135
  • 18S. Kaleba, C. Béra, S. Ducasse.

    Assessing primitives performance on multi-stage execution, in: ICOOOLPS 2017 - 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, Amsterdam, Netherlands, July 2018.

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

Scientific Books (or Scientific Book chapters)

  • 19S. Ducasse.

    A simple reflective object kernel, Published by the author, September 2018.

    https://hal.inria.fr/hal-01900323
  • 20S. Ducasse, G. Polito.

    Physche: A Little Scheme in Pharo, Published by the authors, August 2018.

    https://hal.inria.fr/hal-01900327
  • 21S. Ducasse, H. Rocha, S. Bragagnolo, M. Denker, C. Francomme.

    SmartAnvil: Open-Source Tool Suite for Smart Contract Analysis, in: Blockchain and Web 3.0: Social, economic, and technological challenges, Routledge, February 2019.

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

Internal Reports

  • 22J. Delplanque, S. Ducasse, A. Black, G. Polito.

    Rotten Green Tests A First Analysis, Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille ; Portland State University, Oregon, USA, June 2018.

    https://hal.archives-ouvertes.fr/hal-01819302
  • 23M. Denker, N. Anquetil, S. Ducasse, A. Etien, D. Pollet.

    Project-Team RMoD (Analyses and Language Constructs for Object-Oriented Application Evolution) 2017 Activity Report, Inria Lille - Nord Europe, January 2018.

    https://hal.inria.fr/hal-01683649
References in notes
  • 24N. Anquetil.

    A Comparison of Graphs of Concept for Reverse Engineering, in: Proceedings of the 8th International Workshop on Program Comprehension, Washington, DC, USA, IWPC'00, IEEE Computer Society, 2000, pp. 231–.

    http://rmod.lille.inria.fr/archives/papers/Anqu00b-ICSM-GraphsConcepts.pdf
  • 25A. Bergel, S. Ducasse, O. Nierstrasz.

    Classbox/J: Controlling the Scope of Change in Java, in: Proceedings of 20th International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'05), New York, NY, USA, ACM Press, 2005, pp. 177–189. [ DOI : 10.1145/1094811.1094826 ]

    http://scg.unibe.ch/archive/papers/Berg05bclassboxjOOPSLA.pdf
  • 26A. Bergel, S. Ducasse, O. Nierstrasz, R. Wuyts.

    Stateful Traits, in: Advances in Smalltalk — Proceedings of 14th International Smalltalk Conference (ISC 2006), LNCS, Springer, August 2007, vol. 4406, pp. 66–90.

    http://dx.doi.org/10.1007/978-3-540-71836-9_3
  • 27A. Bergel, S. Ducasse, O. Nierstrasz, R. Wuyts.

    Stateful Traits and their Formalization, in: Journal of Computer Languages, Systems and Structures, 2008, vol. 34, no 2-3, pp. 83–108.

    http://dx.doi.org/10.1016/j.cl.2007.05.003
  • 28A. P. Black, N. Schärli, S. Ducasse.

    Applying Traits to the Smalltalk Collection Hierarchy, in: Proceedings of 17th International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'03), October 2003, vol. 38, pp. 47–64. [ DOI : 10.1145/949305.949311 ]

    http://scg.unibe.ch/archive/papers/Blac03aTraitsHierarchy.pdf
  • 29G. Bracha, D. Ungar.

    Mirrors: design principles for meta-level facilities of object-oriented programming languages, in: Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'04), ACM SIGPLAN Notices, New York, NY, USA, ACM Press, 2004, pp. 331–344.

    http://bracha.org/mirrors.pdf
  • 30D. Caromel, J. Vayssière.

    Reflections on MOPs, Components, and Java Security, in: ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming, Springer-Verlag, 2001, pp. 256–274.
  • 31D. Caromel, J. Vayssière.

    A security framework for reflective Java applications, in: Software: Practice and Experience, 2003, vol. 33, no 9, pp. 821–846.

    http://dx.doi.org/10.1002/spe.528
  • 32P. Cointe.

    Metaclasses are First Class: the ObjVlisp Model, in: Proceedings OOPSLA '87, ACM SIGPLAN Notices, December 1987, vol. 22, pp. 156–167.
  • 33S. Denier.

    Traits Programming with AspectJ, in: Actes de la Première Journée Francophone sur le Développement du Logiciel par Aspects (JFDLPA'04), Paris, France, P. Cointe (editor), September 2004, pp. 62–78.
  • 34S. Ducasse, T. Gîrba.

    Using Smalltalk as a Reflective Executable Meta-Language, in: International Conference on Model Driven Engineering Languages and Systems (Models/UML 2006), Berlin, Germany, LNCS, Springer-Verlag, 2006, vol. 4199, pp. 604–618. [ DOI : 10.1007/11880240_42 ]

    http://scg.unibe.ch/archive/papers/Duca06dMOOSEMODELS2006.pdf
  • 35S. Ducasse, T. Gîrba, M. Lanza, S. Demeyer.

    Moose: a Collaborative and Extensible Reengineering Environment, in: Tools for Software Maintenance and Reengineering, Milano, RCOST / Software Technology Series, Franco Angeli, 2005, pp. 55–71.

    http://scg.unibe.ch/archive/papers/Duca05aMooseBookChapter.pdf
  • 36S. Ducasse, O. Nierstrasz, N. Schärli, R. Wuyts, A. P. Black.

    Traits: A Mechanism for fine-grained Reuse, in: ACM Transactions on Programming Languages and Systems (TOPLAS), March 2006, vol. 28, no 2, pp. 331–388. [ DOI : 10.1145/1119479.1119483 ]

    http://scg.unibe.ch/archive/papers/Duca06bTOPLASTraits.pdf
  • 37S. Ducasse, R. Wuyts, A. Bergel, O. Nierstrasz.

    User-Changeable Visibility: Resolving Unanticipated Name Clashes in Traits, in: Proceedings of 22nd International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'07), New York, NY, USA, ACM Press, October 2007, pp. 171–190. [ DOI : 10.1145/1297027.1297040 ]

    http://scg.unibe.ch/archive/papers/Duca07b-FreezableTrait.pdf
  • 38A. Dunsmore, M. Roper, M. Wood.

    Object-Oriented Inspection in the Face of Delocalisation, in: Proceedings of ICSE '00 (22nd International Conference on Software Engineering), ACM Press, 2000, pp. 467–476.
  • 39K. Fisher, J. Reppy.

    Statically typed traits, University of Chicago, Department of Computer Science, December 2003, no TR-2003-13.
  • 40P. W. L. Fong, C. Zhang.

    Capabilities as alias control: Secure cooperation in dynamically extensible systems, Department of Computer Science, University of Regina, 2004.
  • 41M. Furr, J.-h. An, J. S. Foster.

    Profile-guided static typing for dynamic scripting languages, in: OOPSLA'09, 2009.
  • 42A. Goldberg.

    Smalltalk 80: the Interactive Programming Environment, Addison Wesley, Reading, Mass., 1984.
  • 43L. Gong.

    New security architectural directions for Java, in: compcon, 1997, vol. 0, 97 p.

    http://dx.doi.org/10.1109/CMPCON.1997.584679
  • 44M. Hicks, S. Nettles.

    Dynamic software updating, in: ACM Transactions on Programming Languages and Systems, nov 2005, vol. 27, no 6, pp. 1049–1096.

    http://dx.doi.org/10.1145/1108970.1108971
  • 45G. Kiczales, J. des Rivières, D. G. Bobrow.

    The Art of the Metaobject Protocol, MIT Press, 1991.
  • 46G. Kiczales, L. Rodriguez.

    Efficient Method Dispatch in PCL, in: Proceedings of ACM conference on Lisp and Functional Programming, Nice, 1990, pp. 99–105.
  • 47R. Koschke.

    Atomic Architectural Component Recovery for Program Understanding and Evolution, Universität Stuttgart, 2000.

    http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIS-2000-05&mod=0&engl=0&inst=PS
  • 48S. Liang, G. Bracha.

    Dynamic Class Loading in the Java Virtual Machine, in: Proceedings of OOPSLA '98, ACM SIGPLAN Notices, 1998, pp. 36–44.
  • 49L. Liquori, A. Spiwack.

    FeatherTrait: A Modest Extension of Featherweight Java, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2008, vol. 30, no 2, pp. 1–32. [ DOI : 10.1145/1330017.1330022 ]

    http://www-sop.inria.fr/members/Luigi.Liquori/PAPERS/toplas-07.pdf
  • 50B. Livshits, T. Zimmermann.

    DynaMine: finding common error patterns by mining software revision histories, in: SIGSOFT Software Engineering Notes, September 2005, vol. 30, no 5, pp. 296-305.
  • 51R. C. Martin.

    Agile Software Development. Principles, Patterns, and Practices, Prentice-Hall, 2002.
  • 52M. S. Miller.

    Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control, Johns Hopkins University, Baltimore, Maryland, USA, May 2006.
  • 53M. S. Miller, C. Morningstar, B. Frantz.

    Capability-based Financial Instruments, in: FC '00: Proceedings of the 4th International Conference on Financial Cryptography, Springer-Verlag, 2001, vol. 1962, pp. 349–378.
  • 54O. Nierstrasz, S. Ducasse, N. Schärli.

    Flattening Traits, in: Journal of Object Technology, May 2006, vol. 5, no 4, pp. 129–148.

    http://www.jot.fm/issues/issue_2006_05/article4
  • 55P. J. Quitslund.

    Java Traits — Improving Opportunities for Reuse, OGI School of Science & Engineering, Beaverton, Oregon, USA, September 2004, no CSE-04-005.
  • 56J. Reppy, A. Turon.

    A Foundation for Trait-based Metaprogramming, in: International Workshop on Foundations and Developments of Object-Oriented Languages, 2006.
  • 57F. Rivard.

    Pour un lien d'instanciation dynamique dans les langages à classes, in: JFLA96, Inria — collection didactique, January 1996.
  • 58J. H. Saltzer, M. D. Schoroeder.

    The Protection of Information in Computer Systems, in: Fourth ACM Symposium on Operating System Principles, IEEE, September 1975, vol. 63, pp. 1278–1308.
  • 59N. Sangal, E. Jordan, V. Sinha, D. Jackson.

    Using Dependency Models to Manage Complex Software Architecture, in: Proceedings of OOPSLA'05, 2005, pp. 167–176.
  • 60N. Schärli, A. P. Black, S. Ducasse.

    Object-oriented Encapsulation for Dynamically Typed Languages, in: Proceedings of 18th International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'04), October 2004, pp. 130–149. [ DOI : 10.1145/1028976.1028988 ]

    http://scg.unibe.ch/archive/papers/Scha04bOOEncapsulation.pdf
  • 61N. Schärli, S. Ducasse, O. Nierstrasz, A. P. Black.

    Traits: Composable Units of Behavior, in: Proceedings of European Conference on Object-Oriented Programming (ECOOP'03), LNCS, Springer Verlag, July 2003, vol. 2743, pp. 248–274. [ DOI : 10.1007/b11832 ]

    http://scg.unibe.ch/archive/papers/Scha03aTraits.pdf
  • 62C. Smith, S. Drossopoulou.

    Chai: Typed Traits in Java, in: Proceedings ECOOP 2005, 2005.
  • 63G. Snelting, F. Tip.

    Reengineering Class Hierarchies using Concept Analysis, in: ACM Trans. Programming Languages and Systems, 1998.
  • 64K. J. Sullivan, W. G. Griswold, Y. Cai, B. Hallen.

    The Structure and Value of Modularity in SOftware Design, in: ESEC/FSE 2001, 2001.
  • 65D. Vainsencher.

    MudPie: layers in the ball of mud, in: Computer Languages, Systems & Structures, 2004, vol. 30, no 1-2, pp. 5–19.
  • 66N. Wilde, R. Huitt.

    Maintenance Support for Object-Oriented Programs, in: IEEE Transactions on Software Engineering, December 1992, vol. SE-18, no 12, pp. 1038–1044.