Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 1B. Govin.
  Supporting Legacy Software Architecture Renovation : A real Case by Thales Air Systems, Lille, June 2018.
  https://hal.inria.fr/tel-01881319

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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 12, pp. 1038–1044.