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
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
CWI develops new techniques for modular programming languages
The development of domain specific languages requires highly specialized skills. CWI PhD student Pablo Inostroza Valdera proposes to develop them by composing language fragments from software libraries, which makes this activity less laborious. He defends his PhD thesis at the UvA on 29 November 2018.
Two awards for CWI SWAT / INRIA collaboration at SLE 2018
Last week Tijs van der Storm and Thomas Degueule of CWI's SWAT group were awarded with two prizes at ACM SIGPLAN International Conference on Software Language Engineering (SLE) in Boston, Massachussets.
Davy Landman awarded with IPA dissertation Award
Former CWI PhD candidate and CEO of CWI spinoff SWAT.Engineering Davy Landman has been awarded the Institute for Programming research and Algorithmics (IPA) Dissertation Award 2018 for his thesis "Reverse engineering source code: Empirical studies of limitations and opportunities."
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.
Current events
PhD defence Gauthier van den Hove d'Ertsenryck (SWAT)
- 2019-02-15T13:00:00+01:00
- 2019-02-15T15:00:00+01:00
PhD defence Gauthier van den Hove d'Ertsenryck (SWAT)
Start: 2019-02-15 13:00:00+01:00 End: 2019-02-15 15:00:00+01:00
Everybody is welcome to attend the public defence of Gauthier van den Hove d'Ertsenryck, of his thesis 'New Insights from Old Programs - The Structure of The First ALGOL 60 System'.
Promotors: Prof.dr. Paul Klint (CWI, UvA) and prof.dr. Tijs van der Storm (CWI/RUG)
- Email: Susanne van Dam
- Phone: 020-592 4189
-
iCal
Members
Associated Members
Publications
-
Ochoa, L.M, González-Rojas, O, Cardozo, N, González, A, Chavarriaga, J, Casallas, R, & Díaz, J.F. (2019). Constraint programming heuristics for configuring optimal products in multi product lines. Information Sciences, 474, 33–47. doi:10.1016/j.ins.2018.09.042
-
Inostroza Valdera, P.A. (2018, November 29). Structuring languages as object-oriented libraries. Institute for Programming research and Algorithmics Dissertation Series.
-
Leduc, M, Degueule, T.F, & Combemale, B. (2018). Modular language composition for the masses. In SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2018 (pp. 47–59). doi:10.1145/3276604.3276622
-
Landman, D. (2017, October 5). Reverse engineering source code : empirical studies of limitations and opportunities. Institute for Programming research and Algorithmics Dissertation Series.
-
Degueule, T.F, Mayerhofer, T, & Wortmann, A. (2017). Engineering a ROVER language in GEMOC STUDIO & MONTICORE: A comparison of language reuse support. In CEUR Workshop Proceedings (pp. 349–354).
-
Leduc, M, Degueule, T.F, Combemale, B, van der Storm, T, & Barais, O. (2017). Revisiting visitors for modular extension of executable DSMLs. In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (pp. 112–122). doi:10.1109/MODELS.2017.23
-
van Rozen, R, & van der Storm, T. (2017). Toward live domain-specific languages: From text differencing to adapting models at run time. Software and Systems Modeling. doi:10.1007/s10270-017-0608-7
-
Bagnato, A, Barmpis, K, Bessis, N, Cabrera-Diego, L.A, Di Rocco, J, Di Ruscio, D, … Vinju, J.J. (2017). Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER). In M Seidl & S Zschaler (Eds.), Software Technologies: Applications and Foundations. STAF 2017 (pp. 375–384). doi:10.1007/978-3-319-74730-9_33
-
van Eijck, D.J.N. (2017). A programming road to logic, maths, language, and philosophy : a tribute to Jan van Eijck on the occasion of his retirement.
-
Inostroza Valdera, P.A, & van der Storm, T. (2017). Modular interpreters with implicit context propagation. Computer Languages, Systems and Structures, 48, 39–67. doi:10.1016/j.cl.2016.08.001
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