Our community

In this page we describe the conferences and journals our team targets and organizes. we also provide a list of tools and libraries we love and use.


Scientific Journals

  • IEEE Transactions on Software Engineering (TSE) Premier source for information, inspiration, and collaboration in computer science and engineering.
  • ACM Transactions on Software Engineering and Methodology (TOSEM) Publishes papers on all aspects of that challenge: specification, design, development and maintenance. It covers tools and methodologies, languages, data structures, and algorithms. TOSEM also reports on successful efforts, noting practical lessons that can be scaled and transferred to other projects, and often looks at applications of innovative technologies.
  • Empirical Software Engineering (ESEM) Provides a forum for applied software engineering research with a strong empirical component.
  • Software and Systems Modeling (SoSyMan) An international journal, publishing six issues yearly, that focuses on theoretical and practical issues in the development and application of software and system modeling languages, techniques, and methods, such as the Unified Modeling Language.

Scientific magazines

  • Communications of the ACM The leading print and online publication for the computing and information technology fields.
  • IEEE Software Delivers reliable, useful, leading-edge software development information to keep engineers and managers abreast of rapid technology change.

Tools and libraries

  • Spoon parses Java source code and creates an Abstract Syntax Tree (AST). Useful for source code instrumentation, automatic refactoring, automatic repair and general source-to-source transformations.

  • Byte Buddy is a code generation and manipulation library for creating and modifying Java classes during the runtime of a Java application and without the help of a compiler.

  • GraalVM: Universal virtual machine for running applications written in JavaScript, Python, Ruby, R, JVM-based languages like Java, Scala, Clojure, Kotlin, and LLVM-based languages such as C and C++.

  • Truffle: Language Implementation Framework. Provides a high level representation of the language AST and implements speculative optimizations.

  • Polyglot: A language interop framework that allows Truffle languages to call each other

  • SciPy is a Python-based ecosystem of open-source software for mathematics, science, and engineering. In particular, these are some of the core packages we use the most:

    • NumPy Base N-dimensional array package
    • SciPy library: Fundamental library for scientific computing
    • Matplotlib: Comprehensive 2D Plotting
    • IPython: Enhanced Interactive Console
    • Sympy: Symbolic mathematics
    • pandas: Data structures & analysis
  • GreyCat: Next-Gen Live Analytics using Temporal Graph GreyCat is the first Temporal Many-World Graph database. In a nutshell, this project defines a graph storage and processing framework that allows you to store and analyze highly interconnected complex data structures and rapidly evolving over time. This data structure can be as well infinitely cloneable in order to evaluate potential alternatives modifications to find the best one. To sum up GreyCat is a core data structure framework to build for businesses, a live reasoning engine that can handle simulations and analytics over data in motion.

Tips and tricks

Here, we share tips and tricks acquired when implementing our prototypes, or papers. It’s free for edition, with a trust-based policy. So feel free to add yours!