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.
Conferences
- International Conference on Software Engineering ® (ICSE) Premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering.
- IEEE/ACM International Conference on Automated Software Engineering (ASE) Premier research forum for Automated Software Engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems.
- ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) Internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. ESEC/FSE brings together experts from academia and industry to exchange the latest research results and trends as well as their practical application in all areas of software engineering.
- ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) The leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.
- IEEE International Conference on Software Testing, Verification and Validation (ICST) Provides a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation.
- ACM / IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) Premier conference series for model-driven software and systems engineering, and is organized with support of ACM SIGSOFT and IEEE TCSE. Since 1998, MODELS has covered all aspects of modeling, from languages and methods, to tools and applications. Attendees of MODELS come from diverse backgrounds, including researchers, academics, engineers and industrial professionals.
- ACM SIGPLAN International Conference on Software Language Engineering (SLE) Devoted to the engineering principles of software languages: their design, their implementation, and their evolution.
- ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) A venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products.
- Systems and Software Product Line Conference (SPLC) A premier forum where researchers, practitioners, and educators can present and discuss the most recent ideas, trends, experiences, and challenges in the area of software and system product line engineering.
- IEEE International Conference on Software Architecture (ICSA) The premier venue for practitioners and researchers interested in software architecture, in component-based software engineering and in quality aspects of software and how these relate to the design of software architectures.
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 (SoSyM) 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.
- Journal of Object Technology (JOT) An international platinum open-access journal, publishing about theoretical, empirical, conceptual, and experimental results in the area of software and language engineering.
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!