Guido Wachsmuth's Profile
About Guido Wachsmuth
Guido Wachsmuth graduated with a diploma degree in Computer Science at the University of Rostock (2006). His diploma thesis applies ideas of aspect-orientation to Prolog programming. Afterwards, he was granted a research fellowship from the German Research Foundation DFG to do doctoral study as a member of GK METRIK at Humboldt-Universität zu Berlin. In his doctoral thesis, he transfers fundamental formalisms, principles and technologies from grammar-based to model-driven software language engineering.
Currently, he is a researcher at Delft University of Technology.
Affiliations
| 2016 | - | : | Oracle Labs | |
| 2009 | - | 2016 | : | Delft University of Technology, The Netherlands |
| 2006 | - | 2009 | : | GK METRIK, Humboldt-Universität zu Berlin, Germany |
| - | 2006 | : | University of Rostock, Germany |
Recent Publications
- FlowSpec: A Declarative Specification Language for Intra-Procedural Flow-Sensitive Data-Flow AnalysisJCL (JVLC), 57:100924, 2020. [doi]
- A Theory of Name Resolution with extended Coverage and ProofsTechnical Report TUD-SERG-2015-001, 2015.
- Evaluating and comparing language workbenches: Existing results and benchmarks for the futureComp. Lang., Syst. \& Struct., 44:24-47, 2015. [doi]
- A Constraint Language for Static Semantic Analysis based on Scope Graphs with ProofsTechnical Report TUD-SERG-2015-009, 2015.