Pedro Henrique Penna

Senior Research Software Engineer

Publications

View by:

- Co-Designing Clusters of Lightweight Manycores and Asymmetric Operating System Kernels
  
  Pedro Henrique Penna, L. Maciel, João Vicente Souto, David Lima, M. Castro, François Broquedis, H. Freitas, Jean-François Méhaut
  
  IEEE Embedded Systems Letters | November 2021, Vol 13: pp. 178-181
  
  DOI Publication Publication
- LWMPI: An MPI library for NoC‐based lightweight manycore processors with on‐chip memory constraints
  
  João Fellipe Uller, João Vicente Souto, Pedro Henrique Penna, M. Castro, H. Freitas, Jean-François Méhaut, Pedro Henrique Penna
  
  Concurrency and Computation: Practice and Experience | November 2021, Vol 35: pp. 32-48
  
  DOI Publication
- The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems
  
  Irene Zhang, Amanda Raybuck, Pratyush Patel, Kirk Olynykr, Jacob Nelson, Omar S. Navarro Leija, Ashlie Martinez, Jing Liu, Anna Kornfeld Simpson, Sujay Jayakar, Pedro Henrique Penna, Max Demoulin, Piali Choudhury, Anirudh Badam
  
  Symposium on Operating Systems Principles (SOSP '21) | October 2021
  
  DOI Publication Github Project
- Inter-kernel communication facility of a distributed operating system for NoC-based lightweight manycores
  
  Pedro Henrique Penna, João Vicente Souto, João Fellipe Uller, M. Castro, H. Freitas, Jean-François Méhaut
  
  J. Parallel Distributed Comput. | March 2021, Vol 154: pp. 1-15
  
  DOI Publication Publication
- A trace-driven methodology to evaluate and optimize memory management services of distributed operating systems for lightweight manycores
  
  Emmanuel Podestá Junior, Pedro Henrique Penna, João Fellipe Uller, M. Castro
  
  Proceedings of the 36th Annual ACM Symposium on Applied Computing | March 2021
  
  DOI Publication Publication
- On the Performance and Isolation of Asymmetric Microkernel Design for Lightweight Manycores
  
  Pedro Henrique Penna, João Vicente Souto, David Lima, M. Castro, François Broquedis, H. Freitas, Jean-François Méhaut
  
  2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) | October 2019, pp. 1-8
  
  DOI Publication Publication
- A comprehensive performance evaluation of the BinLPT workload‐aware loop scheduler
  
  Pedro Henrique Penna, A. A. Gomes, M. Castro, P. Plentz, H. Freitas, François Broquedis, Jean-François Méhaut
  
  Concurrency and Computation: Practice and Experience | February 2019, Vol 31
  
  DOI Publication Publication
- Design methodology for workload‐aware loop scheduling strategies based on genetic algorithm and simulation
  
  Pedro Henrique Penna, M. Castro, H. Freitas, François Broquedis, Jean-François Méhaut
  
  Concurrency and Computation: Practice and Experience | November 2017, Vol 29
  
  DOI Publication Publication
- Using the Nanvix Operating System in Undergraduate Operating System Courses
  
  Pedro Henrique Penna, M. Castro, H. Freitas, Jean-François Méhaut, Joao Caram
  
  2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) | October 2017, pp. 193-198
  
  DOI Publication Publication
- CAP Bench: a benchmark suite for performance and energy evaluation of low‐power many‐core processors
  
  M. Souza, Pedro Henrique Penna, Matheus M. Queiroz, Alyson D. Pereira, L. F. Góes, H. Freitas, M. Castro, P. Navaux, Jean-François Méhaut
  
  Concurrency and Computation: Practice and Experience | February 2017, Vol 29
  
  DOI Publication Publication
- Assessing the Performance of the SRR Loop Scheduler with Irregular Workloads
  
  Pedro Henrique Penna, E. C. Inacio, M. Castro, P. Plentz, H. Freitas, François Broquedis, Jean-François Méhaut
  
  2008 41st IEEE/ACM International Symposium on Microarchitecture | December 1969, pp. 255-264
  
  DOI Publication

- Co-Designing Clusters of Lightweight Manycores and Asymmetric Operating System Kernels
  
  Pedro Henrique Penna, L. Maciel, João Vicente Souto, David Lima, M. Castro, François Broquedis, H. Freitas, Jean-François Méhaut
  
  IEEE Embedded Systems Letters | November 2021, Vol 13: pp. 178-181
  
  DOI Publication Publication
- LWMPI: An MPI library for NoC‐based lightweight manycore processors with on‐chip memory constraints
  
  João Fellipe Uller, João Vicente Souto, Pedro Henrique Penna, M. Castro, H. Freitas, Jean-François Méhaut, Pedro Henrique Penna
  
  Concurrency and Computation: Practice and Experience | November 2021, Vol 35: pp. 32-48
  
  DOI Publication
- The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems
  
  Irene Zhang, Amanda Raybuck, Pratyush Patel, Kirk Olynykr, Jacob Nelson, Omar S. Navarro Leija, Ashlie Martinez, Jing Liu, Anna Kornfeld Simpson, Sujay Jayakar, Pedro Henrique Penna, Max Demoulin, Piali Choudhury, Anirudh Badam
  
  Symposium on Operating Systems Principles (SOSP '21) | October 2021
  
  DOI Publication Github Project
- Inter-kernel communication facility of a distributed operating system for NoC-based lightweight manycores
  
  Pedro Henrique Penna, João Vicente Souto, João Fellipe Uller, M. Castro, H. Freitas, Jean-François Méhaut
  
  J. Parallel Distributed Comput. | March 2021, Vol 154: pp. 1-15
  
  DOI Publication Publication
- A trace-driven methodology to evaluate and optimize memory management services of distributed operating systems for lightweight manycores
  
  Emmanuel Podestá Junior, Pedro Henrique Penna, João Fellipe Uller, M. Castro
  
  Proceedings of the 36th Annual ACM Symposium on Applied Computing | March 2021
  
  DOI Publication Publication
- On the Performance and Isolation of Asymmetric Microkernel Design for Lightweight Manycores
  
  Pedro Henrique Penna, João Vicente Souto, David Lima, M. Castro, François Broquedis, H. Freitas, Jean-François Méhaut
  
  2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) | October 2019, pp. 1-8
  
  DOI Publication Publication
- A comprehensive performance evaluation of the BinLPT workload‐aware loop scheduler
  
  Pedro Henrique Penna, A. A. Gomes, M. Castro, P. Plentz, H. Freitas, François Broquedis, Jean-François Méhaut
  
  Concurrency and Computation: Practice and Experience | February 2019, Vol 31
  
  DOI Publication Publication
- Design methodology for workload‐aware loop scheduling strategies based on genetic algorithm and simulation
  
  Pedro Henrique Penna, M. Castro, H. Freitas, François Broquedis, Jean-François Méhaut
  
  Concurrency and Computation: Practice and Experience | November 2017, Vol 29
  
  DOI Publication Publication
- Using the Nanvix Operating System in Undergraduate Operating System Courses
  
  Pedro Henrique Penna, M. Castro, H. Freitas, Jean-François Méhaut, Joao Caram
  
  2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) | October 2017, pp. 193-198
  
  DOI Publication Publication
- CAP Bench: a benchmark suite for performance and energy evaluation of low‐power many‐core processors
  
  M. Souza, Pedro Henrique Penna, Matheus M. Queiroz, Alyson D. Pereira, L. F. Góes, H. Freitas, M. Castro, P. Navaux, Jean-François Méhaut
  
  Concurrency and Computation: Practice and Experience | February 2017, Vol 29
  
  DOI Publication Publication
- Assessing the Performance of the SRR Loop Scheduler with Irregular Workloads
  
  Pedro Henrique Penna, E. C. Inacio, M. Castro, P. Plentz, H. Freitas, François Broquedis, Jean-François Méhaut
  
  2008 41st IEEE/ACM International Symposium on Microarchitecture | December 1969, pp. 255-264
  
  DOI Publication
- The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems
  
  Irene Zhang, Amanda Raybuck, Pratyush Patel, Kirk Olynykr, Jacob Nelson, Omar S. Navarro Leija, Ashlie Martinez, Jing Liu, Anna Kornfeld Simpson, Sujay Jayakar, Pedro Henrique Penna, Max Demoulin, Piali Choudhury, Anirudh Badam
  
  Symposium on Operating Systems Principles (SOSP '21) | October 2021
  
  DOI Publication Github Project

- Co-Designing Clusters of Lightweight Manycores and Asymmetric Operating System Kernels
  
  Pedro Henrique Penna, L. Maciel, João Vicente Souto, David Lima, M. Castro, François Broquedis, H. Freitas, Jean-François Méhaut
  
  IEEE Embedded Systems Letters | November 2021, Vol 13: pp. 178-181
  
  DOI Publication Publication
- LWMPI: An MPI library for NoC‐based lightweight manycore processors with on‐chip memory constraints
  
  João Fellipe Uller, João Vicente Souto, Pedro Henrique Penna, M. Castro, H. Freitas, Jean-François Méhaut, Pedro Henrique Penna
  
  Concurrency and Computation: Practice and Experience | November 2021, Vol 35: pp. 32-48
  
  DOI Publication
- Inter-kernel communication facility of a distributed operating system for NoC-based lightweight manycores
  
  Pedro Henrique Penna, João Vicente Souto, João Fellipe Uller, M. Castro, H. Freitas, Jean-François Méhaut
  
  J. Parallel Distributed Comput. | March 2021, Vol 154: pp. 1-15
  
  DOI Publication Publication
- A trace-driven methodology to evaluate and optimize memory management services of distributed operating systems for lightweight manycores
  
  Emmanuel Podestá Junior, Pedro Henrique Penna, João Fellipe Uller, M. Castro
  
  Proceedings of the 36th Annual ACM Symposium on Applied Computing | March 2021
  
  DOI Publication Publication
- On the Performance and Isolation of Asymmetric Microkernel Design for Lightweight Manycores
  
  Pedro Henrique Penna, João Vicente Souto, David Lima, M. Castro, François Broquedis, H. Freitas, Jean-François Méhaut
  
  2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) | October 2019, pp. 1-8
  
  DOI Publication Publication
- A comprehensive performance evaluation of the BinLPT workload‐aware loop scheduler
  
  Pedro Henrique Penna, A. A. Gomes, M. Castro, P. Plentz, H. Freitas, François Broquedis, Jean-François Méhaut
  
  Concurrency and Computation: Practice and Experience | February 2019, Vol 31
  
  DOI Publication Publication
- Design methodology for workload‐aware loop scheduling strategies based on genetic algorithm and simulation
  
  Pedro Henrique Penna, M. Castro, H. Freitas, François Broquedis, Jean-François Méhaut
  
  Concurrency and Computation: Practice and Experience | November 2017, Vol 29
  
  DOI Publication Publication
- Using the Nanvix Operating System in Undergraduate Operating System Courses
  
  Pedro Henrique Penna, M. Castro, H. Freitas, Jean-François Méhaut, Joao Caram
  
  2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) | October 2017, pp. 193-198
  
  DOI Publication Publication
- CAP Bench: a benchmark suite for performance and energy evaluation of low‐power many‐core processors
  
  M. Souza, Pedro Henrique Penna, Matheus M. Queiroz, Alyson D. Pereira, L. F. Góes, H. Freitas, M. Castro, P. Navaux, Jean-François Méhaut
  
  Concurrency and Computation: Practice and Experience | February 2017, Vol 29
  
  DOI Publication Publication
- Assessing the Performance of the SRR Loop Scheduler with Irregular Workloads
  
  Pedro Henrique Penna, E. C. Inacio, M. Castro, P. Plentz, H. Freitas, François Broquedis, Jean-François Méhaut
  
  2008 41st IEEE/ACM International Symposium on Microarchitecture | December 1969, pp. 255-264
  
  DOI Publication
- The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems
  
  Irene Zhang, Amanda Raybuck, Pratyush Patel, Kirk Olynykr, Jacob Nelson, Omar S. Navarro Leija, Ashlie Martinez, Jing Liu, Anna Kornfeld Simpson, Sujay Jayakar, Pedro Henrique Penna, Max Demoulin, Piali Choudhury, Anirudh Badam
  
  Symposium on Operating Systems Principles (SOSP '21) | October 2021
  
  DOI Publication Github Project

Pedro Henrique Penna

Publications

Co-Designing Clusters of Lightweight Manycores and Asymmetric Operating System Kernels

LWMPI: An MPI library for NoC‐based lightweight manycore processors with on‐chip memory constraints

The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems

Inter-kernel communication facility of a distributed operating system for NoC-based lightweight manycores

A trace-driven methodology to evaluate and optimize memory management services of distributed operating systems for lightweight manycores

On the Performance and Isolation of Asymmetric Microkernel Design for Lightweight Manycores

A comprehensive performance evaluation of the BinLPT workload‐aware loop scheduler

Design methodology for workload‐aware loop scheduling strategies based on genetic algorithm and simulation

Using the Nanvix Operating System in Undergraduate Operating System Courses

CAP Bench: a benchmark suite for performance and energy evaluation of low‐power many‐core processors

Assessing the Performance of the SRR Loop Scheduler with Irregular Workloads

Co-Designing Clusters of Lightweight Manycores and Asymmetric Operating System Kernels

LWMPI: An MPI library for NoC‐based lightweight manycore processors with on‐chip memory constraints

The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems

Inter-kernel communication facility of a distributed operating system for NoC-based lightweight manycores

A trace-driven methodology to evaluate and optimize memory management services of distributed operating systems for lightweight manycores

On the Performance and Isolation of Asymmetric Microkernel Design for Lightweight Manycores

A comprehensive performance evaluation of the BinLPT workload‐aware loop scheduler

Design methodology for workload‐aware loop scheduling strategies based on genetic algorithm and simulation

Using the Nanvix Operating System in Undergraduate Operating System Courses

CAP Bench: a benchmark suite for performance and energy evaluation of low‐power many‐core processors

Assessing the Performance of the SRR Loop Scheduler with Irregular Workloads

The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems

Co-Designing Clusters of Lightweight Manycores and Asymmetric Operating System Kernels

LWMPI: An MPI library for NoC‐based lightweight manycore processors with on‐chip memory constraints

Inter-kernel communication facility of a distributed operating system for NoC-based lightweight manycores

A trace-driven methodology to evaluate and optimize memory management services of distributed operating systems for lightweight manycores

On the Performance and Isolation of Asymmetric Microkernel Design for Lightweight Manycores

A comprehensive performance evaluation of the BinLPT workload‐aware loop scheduler

Design methodology for workload‐aware loop scheduling strategies based on genetic algorithm and simulation

Using the Nanvix Operating System in Undergraduate Operating System Courses

CAP Bench: a benchmark suite for performance and energy evaluation of low‐power many‐core processors

Assessing the Performance of the SRR Loop Scheduler with Irregular Workloads

The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems

Contact Pedro Henrique Penna

Microsoft Research Lab – Redmond