Description
Leader of the group Software Analysis and Transformation: Jurgen Vinju.
SWAT studies software systems: their design, construction and evolution. Our mission is to learn to understand software systems and to improve their quality. In particular, we study the causes of software complexity – a major cause of technology failure in society – and investigate how complex systems can be made simpler and more reliable. We analyze and visualize software systems, transforming them into better versions of themselves. We also generate new software with the goal of simplifying it through automation and abstraction. We keep our feet on the ground by working with corporate IT departments on streamlining their software systems and making them more reliable. Putting our ideas into practice is the best way to ensure they work.
Vacancies
Tenure track position in the area of software engineering, programming languages or model driven engineering
Centrum Wiskunde & Informatica (CWI) invites excellent (postdoctoral) researchers to apply for a Tenure track position in the area of software engineering, programming languages or model driven engineering
Postdoc on the subject of hybrid polystore query language design and implementation
TYPHON is an EU H2020 project, which aims at providing an industry-validated methodology and integrated technical offering for designing, developing, querying, evolving, analysing and monitoring scalable hybrid data persistence architectures that will meet the growing scalability and heterogeneity requirements of the European industry. Designing and deploying a hybrid data persistence architecture that involves a combination of relational and NoSQL databases, and which can manage different types of structured and textual data (polystores for conciseness), is a complex, technically challenging, and error-prone task.
News
Software Renovation by Reverse Engineering Source Code
Currently, software renovation is a hot topic, because our society is depending more and more on aging software. By renovating software we refresh aging software to better match the current technical and business environment. In his thesis CWI PhD candidate Davy Landman studied the automation of software renovation by using Reverse Engineering.
Distinguished paper Award for CWI researchers Davy Landman and Jurgen Vinju
At the ICSE 2017 (39th International Conference on Software Engineering) in Buenos Aires CWI researchers Davy Landman and Jurgen Vinju in collaboration with Alexander Serebrenik (TUE) have been awarded with the ACM SIGSOFT Distinguished Paper Award for their paper "Challenges for Static Analysisof Java Reflection - Literature Review and Empirical Study".
Talk by Tijs van der Storm at Curry On conference (video)
On 18 July 2016, CWI researcher Tijs van der Storm gave a talk at the Curry On conference in Rome. The full recording of this talk, titled 'Rascal: the Swiss Army Knife of Meta Programming' can be found below.
Best Paper Award for SWAT researchers at ICPE2016
Michael Steindorfer and Jurgen Vinju of CWI's Software Analysis and Transformation (SWAT) group were awarded a Best Paper Award at the 7th ACM/SPEC International Conference on Performance Engineering (ICPE 2016).
Members
Associated Members
Publications
-
van den Hove d'Ertsenryck, G. M. C. J. T. G. (2019, February 15). New Insights from Old Programs : The Structure of The First ALGOL 60 System.
-
Jézéquel, J.-M, Leduc, M, Barais, O, Mayerhofer, T, Bousse, E, Cazzola, W, … Wortmann, A. (2018). Concern-oriented language development (COLD): Fostering reuse in language engineering. Computer Languages, Systems and Structures, 54, 139–155. doi:10.1016/j.cl.2018.05.004
-
Coulon, F, van der Storm, T, Degueule, T.F, & Combemale, B. (2018). Shape-diverse DSLs: Languages without borders (vision paper). In SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2018 (pp. 215–219). doi:10.1145/3276604.3276623
-
Tikhonova, U, van der Storm, T, Stoel, J.H, & Degueule, T.F. (2018). Constraint-based run-time state migration for live modeling. In SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2018 (pp. 108–120). doi:10.1145/3276604.3276611
-
Ochoa, L.M, González-Rojas, O, Juliana, A.P, Castro, H, & Saake, G. (2018). A systematic literature review on the semi-automatic configuration of extended product lines. Journal of Systems and Software, 144, 511–532. doi:10.1016/j.jss.2018.07.054
-
Gattinger, M. (2018, June 13). New Directions in Model Checking Dynamic Epistemic Logic.
-
Steindorfer, M.J, & Vinju, J.J. (2018). To-many or to-one? All-in-one! Efficient purely functional multi-maps with type-heterogeneous hash-tries. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (pp. 283–295). doi:10.1145/3192366.3192420
-
Ochoa, L.M, Degueule, T.F, & Vinju, J.J. (2018). An empirical evaluation of OSGi dependencies best practices in the eclipse IDE. In Proceedings of the 15th International Conference on Mining Software Repositories (pp. 170–180). doi:10.1145/3196398.3196416
-
Bezirgiannis, N. (2018, April 17). Abstract behavioral specification: unifying modeling and programming. Institute for Programming research and Algorithmics Dissertation Series.
-
van den Hove d'Ertsenryck, G. M. C. J. T. G. (2017). Dissolving a half century old problem about the implementation of procedures. Science of Computer Programming, 150, 75–86. doi:10.1016/j.scico.2017.07.007
Software
Rascal: one-stop shop for metaprogramming
Rascal is a general metaprogramming language, facilitating programmers in analyzing, transforming and generating source code.
Rebel: A domain-specific language for product development in finance
Rebel is a domain-specific language (DSL) targeted at the financial sector.
SAGA: A run-time verifier for Java programs
SAGA is a run-time verifier for single-threaded as well as multi-threaded Java programs.
Current projects with external funding
-
Enterprise software engineering
-
Developer-Centric Knowledge Mining from Large Open-Source Repositories (CROSSMINER)
-
Model Extraction for Re-engineering Traditional Software (MERITS)
-
Polyglot and Hybrid Persistence Architectures for Big Data Analytics (TYPHON)
Related partners
-
ING Bank
-
Universita Degli Studi Dell'Qquila
-
University of York
-
Alpha Bank Anonymos Etairia
-
Institut für Angewandte Systemtechnik Bremen
-
Zorgios Ioannis
-
Edge Hill University
-
GMV Aerospace and Defence SA
-
Universite de Namur ASBL
-
Nea Odos Anonymi Eteria Parahorisis
-
X/Open Company Limited
-
Volkswagen AG