Guido Wachsmuth's Profile
About Guido Wachsmuth
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.