Hanspeter Mössenböck
- 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 · #Distributed systems and fault tolerance #Logic, programming, and type systems #Security and Verification in Computing #cs.PL
- Understanding GCC Builtins to Develop Better Tools
2019/07/01 by Manuel Rigger, Stefan Marr, Rigger, Manuel +5 · 3 voices
Computer Science · #cs.PL #cs.SE
- Optimized interval splitting in a linear scan register allocator
2005/06/11 by Christian Wimmer, Hanspeter Mössenböck · 5 citations
Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Software Testing and Debugging Techniques #Register allocation #Computer science #Allocator #Parallel computing #Compiler #Processor register #Benchmark (surveying) #Polling #Algorithm #Operating system #Memory address
- 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
- Efficient and Deterministic Record & Replay for Actor Languages
2018/01/01 by Dominik Aumayr, Stefan Marr, Clément Béra +2 · 1 voice · 1 citation
Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Real-Time Systems Scheduling #cs.PL
- Context-aware Failure-oblivious Computing as a Means of Preventing Buffer Overflows
2018/01/01 by Manuel Rigger, Animesh BasakChowdhury, Ansuman Banerjee +3 · 1 voice
Computer Science · Engineering · Neuroscience · #Integrated Circuits and Semiconductor Failure Analysis #Neuroscience and Neural Engineering #Physical Unclonable Functions (PUFs) and Hardware Security #cs.CR
- LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing (Registered Report)
2024/09/13 by Florian Schwarcz, Felix Berlakovich, Gergö Barany +1 · 1 voice
Computer Science · #Advanced Malware Detection Techniques #Parallel Computing and Optimization Techniques #Software Testing and Debugging Techniques
- 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
- Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction
2019/09/19 by Raphael Mosaner, David Leopoldseder, Manuel Rigger +2 · 1 voice
Computer Science · #cs.PL
- Trace Register Allocation Policies
2017/09/15 by Josef Eisl, Stefan Marr, Thomas Würthinger +1 · 2 citations
Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Security and Verification in Computing #Register allocation #Allocator #Computer science #TRACE (psycholinguistics) #Compiler #Processor register #Parallel computing #Register (sociolinguistics) #Code (set theory) #Just-in-time compilation #Programming language #Operating system
- Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows
2018/01/01 by Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck · 1 citation
Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Security and Verification in Computing
- Parallel trace register allocation
2018/01/01 by Josef Eisl, David Leopoldseder, Hanspeter Mössenböck · 1 citation
Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Distributed and Parallel Computing Systems #Register allocation #Compiler #Computer science #Compile time #Parallel computing #Latency (audio) #Task (project management) #TRACE (psycholinguistics) #Execution time #Register (sociolinguistics) #Optimizing compiler #Processor register #Programming language #Operating system
- Linear Scan Register Allocation in the Context of SSA Form and Register Constraints
2002/01/01 by Hanspeter Mössenböck, Michael Pfeiffer · 1 citation
Computer Science · #Algorithm #Allocator #Computer science #Control flow graph #Data flow diagram #Data-flow analysis #Formal Methods in Verification #Graph #Graph coloring #Parallel Computing and Optimization Techniques #Parallel computing #Programming language #Register (sociolinguistics) #Register allocation #Software Testing and Debugging Techniques #Theoretical computer science #x86