Matthias Grimmer
- Introspection for C and its Applications to Library Robustness
2017/12/04 by Manuel Rigger, Rene Mayrhofer, Roland Schatz +2 · 2 voices · 2 citations
Computer Science · #Buffer overflow #Distributed systems and fault tolerance #Information security #Introspection #Logic, programming, and type systems #Robustness (evolution) #Security and Verification in Computing #cs.PL
- Cross-Language Interoperability in a Multi-Language Runtime
2018/05/28 by Matthias Grimmer, Roland Schatz, Chris Seaton +3 · 5 citations
Computer Science · #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Security and Verification in Computing
- Trace-based Register Allocation in a JIT Compiler
2016/08/15 by Josef Eisl, Matthias Grimmer, Doug Simon +2 · 2 citations
Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Software Testing and Debugging Techniques #Register allocation #Computer science #Allocator #Compiler #TRACE (psycholinguistics) #Just-in-time compilation #Parallel computing #Processor register #Dynamic compilation #Call graph #Profiling (computer programming) #Theoretical computer science #Programming language #Operating system