Description
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.
News
CWI RESEARCHERS DEVELOP NEW TECHNIQUES FOR GENERAL TOP-DOWN PARSING OF PROGRAMMING LANGUAGES
Afroozeh and Izmaylova, PhD students at CWI's Software Analysis and Transformation group, present new techniques for declarative parsing of programming languages in their thesis "Practical Genereal Top-down Parsers."
New insights from reconstructing the first ALGOL 60 system
Gauthier van den Hove (CWI) reconstructed and analyzed the first ALGOL 60 system, a computer system designed and implemented at the Mathematical Centre (MC), now CWI. On 15 February he defends his PhD thesis, which has a foreword written by the famous computer science pioneer Donald Knuth.
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.
Members
Associated Members
Publications
-
Aarssen, R.T.A, & van der Storm, T. (2020). High-fidelity metaprogramming with separator syntax trees. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (pp. 27–37). doi:10.1145/3372884.3373162
-
Azadbakht, K, de Boer, F.S, Bezirgiannis, N, & de Vink, E.P. (2019). A formal actor-based model for streaming the future. Science of Computer Programming, 186. doi:10.1016/j.scico.2019.102341
-
Soethout, T.M, van der Storm, T, & Vinju, J.J. (2019). Static local coordination avoidance for distributed objects. In AGERE 2019 - Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2019 (pp. 21–30). doi:10.1145/3358499.3361222
-
Schaefer, I, Reichenbach, C, & van der Storm, T (Eds.). (2019). GPCE 2019: Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. In I Schaefer, C Reichenbach, & T van der Storm (Eds.), .
-
Afroozeh, A, & Izmaylova, A. (2019, June 11). Practical general top-down parsers. Institute for Programming research and Algorithmics Dissertation Series.
-
Kolovos, D.S, Medhat, F, Paige, R.F, Di Ruscio, D, van der Storm, T, Scholze, S, & Zolotas, A. (2019). Domain-specific languages for the design, deployment and manipulation of heterogeneous databases. In Proceedings - 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering, MiSE 2019 (pp. 89–92). doi:10.1109/MiSE.2019.00021
-
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.
-
van Binsbergen, L.T, Mosses, P.D, & Sculthorpe, N. (2019). Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming, 103, 184–212. doi:10.1016/j.jlamp.2018.12.004
-
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
-
Tikhonova, U, van der Storm, T, Stoel, J, & 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
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 ()
-
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
-
SWAT.Engineering
-
X/Open Company Limited
-
Volkswagen AG