Pavlos Petoumenos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
8
Active years
2007–2025
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TACAS | ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution). | Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael S Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro |
| 2023 | CC | HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. | Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah, Pavlos Petoumenos, Milind Kulkarni, Michael F. P. O'Boyle |
| 2022 | CGO | Loop Rolling for Code Size Reduction. | Rodrigo C. O. Rocha, Pavlos Petoumenos, Bjrn Franke, Pramod Bhatotia, Michael F. P. O'Boyle |
| 2022 | CGO | F3M: Fast Focused Function Merging. | Sean Stirling, Rodrigo C. O. Rocha, Kim M. Hazelwood, Hugh Leather, Michael F. P. O'Boyle, Pavlos Petoumenos |
| 2021 | PLDI | Developer and user-transparent compiler optimization for interactive applications. | Paschalis Mpeis, Pavlos Petoumenos, Kim M. Hazelwood, Hugh Leather |
| 2020 | CC | Vectorization-aware loop unrolling with seed forwarding. | Rodrigo C. O. Rocha, Vasileios Porpodas, Pavlos Petoumenos, Lus F. W. Ges, Zheng Wang, Murray Cole, Hugh Leather |
| 2020 | CGO | COLAB: a collaborative multi-factor scheduler for asymmetric multicore processors. | Teng Yu, Pavlos Petoumenos, Vladimir Janjic, Hugh Leather, John Thomson |
| 2020 | PLDI | Effective function merging in the SSA form. | Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, Hugh Leather |
| 2019 | CGO | Function Merging by Sequence Alignment. | Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, Hugh Leather |
| 2018 | ISSTA | Compiler fuzzing through deep learning. | Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather |
| 2017 | CGO | Synthesizing benchmarks for predictive modeling. | Chris Cummins, Pavlos Petoumenos, Zheng Wang, Hugh Leather |
| 2017 | CGO | Minimizing the cost of iterative compilation with active learning. | William F. Ogilvie, Pavlos Petoumenos, Zheng Wang, Hugh Leather |
| 2015 | ICPADS | Power Capping: What Works, What Does Not. | Pavlos Petoumenos, Lev Mukhanov, Zheng Wang, Hugh Leather, Dimitrios S. Nikolopoulos |
| 2007 | ETFA | Using value locality to reduce memory encryption overhead in embedded processors. | Georgios Keramidas, Pavlos Petoumenos, Alexandros Antonopoulos, Stefanos Kaxiras, Dimitrios N. Serpanos |
| 2007 | ICCD | Cache replacement based on reuse-distance prediction. | Georgios Keramidas, Pavlos Petoumenos, Stefanos Kaxiras |