Pavlos Petoumenos
Orcid: 0000-0002-1497-6536Affiliations:
- University of Manchester, UK
According to our database1,
Pavlos Petoumenos
authored at least 36 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2024
2023
CCF Trans. High Perform. Comput., June, 2023
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution).
CoRR, 2023
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023
2022
Object Intersection Captures on Interactive Apps to Drive a Crowd-sourced Replay-based Compiler Optimization.
ACM Trans. Archit. Code Optim., 2022
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022
Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2022
2021
IEEE Trans. Parallel Distributed Syst., 2021
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Proceedings of the LCTES '21: 22nd ACM SIGPLAN/SIGBED International Conference on Languages, 2021
2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020
Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020
2019
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019
Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019
2018
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018
2017
Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017
Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017
Proceedings of the 26th International Conference on Parallel Architectures and Compilation Techniques, 2017
2015
Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015
2014
Proceedings of the Languages and Compilers for Parallel Computing, 2014
Measuring QoE of interactive workloads and characterising frequency governors on mobile devices.
Proceedings of the 2014 IEEE International Symposium on Workload Characterization, 2014
Active learning accelerated automatic heuristic construction for parallel program mapping.
Proceedings of the International Conference on Parallel Architectures and Compilation, 2014
2010
Proceedings of the 7th Conference on Computing Frontiers, 2010
Proceedings of the Architecture of Computing Systems, 2010
2009
Proceedings of the 2009 International Conference on Embedded Computer Systems: Architectures, 2009
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009
2007
Proceedings of the 25th International Conference on Computer Design, 2007
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007
2006
Proceedings of the Embedded Computer Systems: Architectures, 2006
Proceedings of the 2006 IEEE International Symposium on Workload Characterization, 2006