Personal profile
Research Beacons, Institutes and Platforms
- Digital Futures
Accepting PhD students
- Accepting PhD students
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 7 Affordable and Clean Energy
Fingerprint
Dive into the research topics where Pavlos Petoumenos is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction (Competition Contribution)
Wu, T., Li, X., Manino, E., Sa Menezes, R., Gadelha, M. R., Xiong, S., Tihanyi, N., Petoumenos, P. & Cordeiro, L. C., 21 Jan 2025, (Accepted/In press) 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile3 Downloads (Pure) -
Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language
Wright, C. J., Luján, M., Petoumenos, P. & Goodacre, J., 13 Sept 2024, MPLR 2024: Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. New York, NY: Association for Computing Machinery, p. 65-81 17 p.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile95 Downloads (Pure) -
BenchPress: A Deep Active Benchmark Generator
Tsimpourlas, F., Petoumenos, P., Xu, M., Cummins, C., Hazelwood, K., Rajan, A. & Leather, H., 1 Aug 2022, (Accepted/In press) International Conference on Parallel Architectures and Compilation Techniques (PACT).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile66 Downloads (Pure) -
F3M: Fast Focused Function Merging
Stirling, S., Rocha, R. C. O., Hazelwood, K., Leather, H., O'Boyle, M. F. P. & Petoumenos, P., 6 Apr 2022, 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). IEEEResearch output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile17 Downloads (Pure) -
HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction
Rocha, R. C. O., Saumya, C., Sundararajah, K., Petoumenos, P., Kulkarni, M. & O'Boyle, M. F. P., 19 Dec 2022, (Accepted/In press) ACM SIGPLAN 2023 International Conference on Compiler Construction.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile281 Downloads (Pure)