| 2026 | EuroSys | Rose: Reproducing External-Fault-Induced Failures in Distributed Systems with Lightweight Instrumentation. | Sebastio Amaro, Pedro Fonseca, Miguel Matos |
| 2026 | FlAIRS | A Machine Learning Framework for Contractor Scope Matching Using Profile Characteristics and Work Package Vector Similarity. | Pedro Fonseca, Sergei Chuprov |
| 2026 | NSDI | UpFuzz: Detecting Data Format Incompatibility Bugs during Distributed Storage System Upgrade. | Ke Han, P. C. Sruthi, Yayu Wang, Yaoxu Song, Bishal Basak Papan, Junwen Yang, Pedro Fonseca, Yongle Zhang |
| 2025 | ASPLOS | Snowplow: Effective Kernel Fuzzing with a Learned White-box Test Mutator. | Sishuai Gong, Wang Rui, Deniz Altinbken, Pedro Fonseca, Petros Maniatis |
| 2025 | EDUCON | Students Development of Projects: A Comparison of Stakeholders Perspectives. | Pedro Fonseca |
| 2025 | EuroSys | Pegasus: Transparent and Unified Kernel-Bypass Networking for Fast Local and Remote Communication. | Dinglan Peng, Congyu Liu, Tapti Palit, Anjo Vahldiek-Oberwagner, Mona Vij, Pedro Fonseca |
| 2025 | OSDI | KRR: Efficient and Scalable Kernel Record Replay. | Tianren Zhang, Sishuai Gong, Pedro Fonseca |
| 2025 | SOFTCOM | Application Controller Approach with Embedded Systems for a Sensoring System. | Luis Miguel Giraldo, Atiya Fatima Usmani, Joaqun Prez, Lus Nero Alves, Raimundo Garca-Olcina, Pedro Fonseca |
| 2025 | SOFTCOM | On the Usage of Pulse-Width Modulation for Sensing Data Transmission Supported on Optical Camera Communication. | Atiya Fatima Usmani, Miguel Rgo, Shivani Rajendra Teli, Stanislav Zvnovec, Lus Nero Alves, Pedro Fonseca |
| 2024 | ASPLOS | Kaleidoscope: Precise Invariant-Guided Pointer Analysis. | Tapti Palit, Pedro Fonseca |
| 2024 | EuroSys | Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts. | Sumer Kohli, Shreyas Kharbanda, Rodrigo Bruno, Joo Carreira, Pedro Fonseca |
| 2023 | ASPLOS | Veil: A Protected Services Framework for Confidential Virtual Machines. | Adil Ahmad, Botong Ou, Congyu Liu, Xiaokuan Zhang, Pedro Fonseca |
| 2023 | ASPLOS | KIT: Testing OS-Level Virtualization for Functional Interference Bugs. | Congyu Liu, Sishuai Gong, Pedro Fonseca |
| 2023 | ICASSP | Aleatoric Uncertainty Estimation of Overnight Sleep Statistics Through Posterior Sampling Using Conditional Normalizing Flows. | Hans Van Gorp, Merel M. van Gilst, Pedro Fonseca, Sebastiaan Overeem, Ruud J. G. van Sloun |
| 2023 | OSDI | An Extensible Orchestration and Protection Framework for Confidential Cloud Computing. | Adil Ahmad, Alex Schultz, Byoungyoung Lee, Pedro Fonseca |
| 2023 | SP | μSwitch: Fast Kernel Context Isolation with Implicit Context Switches. | Dinglan Peng, Congyu Liu, Tapti Palit, Pedro Fonseca, Anjo Vahldiek-Oberwagner, Mona Vij |
| 2023 | SOSP | Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor. | Sishuai Gong, Dinglan Peng, Deniz Altinbken, Pedro Fonseca, Petros Maniatis |
| 2022 | IBPRIA | An Innovative Vision System for Floor-Cleaning Robots Based on YOLOv5. | Daniel Canedo, Pedro Fonseca, Petia Georgieva, Antnio J. R. Neves |
| 2022 | ISCAS | Circuit Modeling of rGO-doped Scaffolds for Spinal Cord Regeneration Based on Transient and xAC Analyses. | Latifah Al-Maghrabi, Patrcia Martins, Daniela Silva, Guilherme Gil, Nathalie Barroca, Olatz Murua, Beatriz Olalde, Lus Alves, Paulo Pedreiras, Pedro Fonseca, Philip R. Leduc, Paula A. A. P. Marques |
| 2021 | ASPLOS | Kard: lightweight data race detection with per-thread memory protection. | Adil Ahmad, Sangho Lee, Pedro Fonseca, Byoungyoung Lee |
| 2021 | EuroSys | On-demand-fork: a microsecond fork for memory-intensive and latency-sensitive applications. | Kaiyang Zhao, Sishuai Gong, Pedro Fonseca |
| 2021 | HotOS | From warm to hot starts: leveraging runtimes for the serverless era. | Joo Carreira, Sumer Kohli, Rodrigo Bruno, Pedro Fonseca |
| 2021 | NDSS | CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs. | Adil Ahmad, Juhee Kim, Jaebaek Seo, Insik Shin, Pedro Fonseca, Byoungyoung Lee |
| 2021 | PLDI | Execution reconstruction: harnessing failure reoccurrences for failure reproduction. | Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci |
| 2021 | SOSP | Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. | Sishuai Gong, Deniz Altinbken, Pedro Fonseca, Petros Maniatis |
| 2020 | EDUCON | Bringing Students and Companies together by means of Project Development. | Pedro Fonseca, Susana Sargento, Arnaldo S. R. Oliveira |
| 2020 | EDUCON | Recent activities by IEEE Education Society Portugal Chapter. | Pedro Fonseca, Vtor Grade Tavares, Joo Nuno Matos, Manuel G. Gericota |
| 2020 | FIE | Project Development in an Entrepreneurship Setting. | Pedro Fonseca |
| 2020 | SP | SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. | David Cerdeira, Nuno Santos, Pedro Fonseca, Sandro Pinto |
| 2019 | CLOUD | Cirrus: a Serverless Framework for End-to-end ML Workflows. | Joo Carreira, Pedro Fonseca, Alexey Tumanov, Andrew Zhang, Randy H. Katz |
| 2019 | ISORC | On the adequacy of SDN and TSN for Industry 4.0. | Lus Silva, Paulo Pedreiras, Pedro Fonseca, Lus Almeida |
| 2019 | WorldCIST | Process Innovation Supported by Technology - Making for Longer Injury-Free Careers in the Case of High Performance Musicians. | Eliseu Silva, Manuel Au-Yong-Oliveira, Pedro Fonseca, Rui Garganta, Christopher Bochmann |
| 2018 | AVI | Mammy - A Technological Tool to Exchange Information. | Valeriya Khrebtova, Pedro Fonseca, Ana Margarida Dias, Arminda Guerra Lopes |
| 2018 | EuroSys | MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors. | Pedro Fonseca, Xi Wang, Arvind Krishnamurthy |
| 2018 | USENIX | Cntr: Lightweight OS Containers. | Jrg Thalheim, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci |
| 2017 | EuroSys | An Empirical Study on the Correctness of Formally Verified Distributed Systems. | Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy |
| 2017 | BSN | Actigraphy-based sleep/wake detection for insomniacs. | Xi Long, Pedro Fonseca, Reinder Haakma, Ronald M. Aarts |
| 2016 | OSDI | Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications. | Irene Zhang, Niel Lebeck, Pedro Fonseca, Brandon Holt, Raymond Cheng, Ariadna Norberg, Arvind Krishnamurthy, Henry M. Levy |
| 2015 | ASPLOS | iThreads: A Threading Library for Parallel Incremental Computation. | Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Bjrn B. Brandenburg, Rodrigo Rodrigues |
| 2014 | ETFA | A testbed for developing, simulating and experimenting multipath aggregation algorithms. | Fabio Rico, Pedro Fonseca, Amaro de Sousa |
| 2014 | OSDI | SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. | Pedro Fonseca, Rodrigo Rodrigues, Bjrn B. Brandenburg |
| 2013 | EuroSys | Composing OS extensions safely and efficiently with Bascule. | Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt |
| 2012 | BIBE | Time-frequency analysis of heart rate variability for sleep and wake classification. | Xi Long, Pedro Fonseca, Reinder Haakma, Ronald M. Aarts, Jrme Foussier |
| 2011 | ETFA | An heuristic for trajectory generation in mobile robotics. | Pedro Fonseca, Antnio J. R. Neves, Jos Lus Azevedo, Joo M. Silva |
| 2011 | EuroSys | Finding complex concurrency bugs in large multi-threaded applications. | Pedro Fonseca, Cheng Li, Rodrigo Rodrigues |
| 2010 | DSN | A study of the internal and external effects of concurrency bugs. | Pedro Fonseca, Cheng Li, Vishal Singhal, Rodrigo Rodrigues |
| 2009 | ISM | Towards a Ground Truth for Affective Classification in Movies. | Tsvetomira Tsoneva, Pedro Fonseca, Janto Skowronek |
| 2009 | NSDI | Zeno: Eventually Consistent Byzantine-Fault Tolerance. | Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis |
| 2004 | ICIP | Face detection in the compressed domain. | Pedro Fonseca, Jan Nesvadba |
| 2001 | ETFA | Flexibility, timeliness and efficiency in fieldbus systems: the DISCO project. | Lus Almeida, Jos Alberto Fonseca, Alexandre Manuel Mota, Pedro Fonseca, Ernesto Martins, Paulo Pedreiras, Joaquim Ferreira, Fernanda Coutinho |
| 2000 | SMC | The Micro-Rato contest: a popular approach to improve self-study in electronics and computer science. | Lus Almeida, Pedro Fonseca, Jos Lus Azevedo |