Guilherme Ottoni
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Embedded Systems Design Techniques, Software Testing and Debugging Techniques, Logic, programming, and type systems, Interconnection Networks and Systems
Most-Cited Works
- → Automatic Thread Extraction with Decoupled Software Pipelining(2006)278 cited
- → RIFLE: An Architectural Framework for User-Centric Information-Flow Security(2005)268 cited
- → Parallel-stage decoupled software pipelining(2008)140 cited
- → Speculative Decoupled Software Pipelining(2007)120 cited
- → BOLT: A Practical Binary Optimizer for Data Centers and Beyond(2019)82 cited
- → Practical and Accurate Low-Level Pointer Analysis(2005)59 cited
- → HHVM JIT: a profile-guided, region-based compiler for PHP and Hack(2018)54 cited
- → Global Multi-Threaded Instruction Scheduling(2007)50 cited
- → The hiphop virtual machine(2014)43 cited