Pavlos Petoumenos

40 papers A* 2A 8B 8C 3Journal 10Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution). TACAS (3) Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael Sá Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro
2024	C	`conf`	Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language. MPLR Christopher John Wright, Mikel Luján, Pavlos Petoumenos, John Goodacre
2023	J	`jnl`	BenchDirect: A Directed Language Model for Compiler Benchmarks. CoRR Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather
2023	B	`conf`	HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. CC Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah, Pavlos Petoumenos, Milind Kulkarni, Michael F. P. O'Boyle
2023	J	`jnl`	LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution). CoRR Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro
2023	J	`jnl`	Sgap: towards efficient sparse tensor algebra compilation for GPU. CCF Trans. High Perform. Comput. Genghan Zhang, Yuetong Zhao, Yanting Tao, Zhongming Yu, Guohao Dai, Sitao Huang, Yuan Wen, Pavlos Petoumenos, Yu Wang
2022	B	`conf`	BenchPress: A Deep Active Benchmark Generator. PACT Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather
2022	J	`jnl`	BenchPress: A Deep Active Benchmark Generator. CoRR Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather
2022	A	`conf`	F3M: Fast Focused Function Merging. CGO Sean Stirling, Rodrigo C. O. Rocha, Kim M. Hazelwood, Hugh Leather, Michael F. P. O'Boyle, Pavlos Petoumenos
2022	A	`conf`	Loop Rolling for Code Size Reduction. CGO Rodrigo C. O. Rocha, Pavlos Petoumenos, Björn Franke, Pramod Bhatotia, Michael F. P. O'Boyle
2022	J	`jnl`	Object Intersection Captures on Interactive Apps to Drive a Crowd-sourced Replay-based Compiler Optimization. ACM Trans. Archit. Code Optim. Paschalis Mpeis, Pavlos Petoumenos, Kim M. Hazelwood, Hugh Leather
2022	J	`jnl`	Sgap: Towards Efficient Sparse Tensor Algebra Compilation for GPU. CoRR Genghan Zhang, Yuetong Zhao, Yanting Tao, Zhongming Yu, Guohao Dai, Sitao Huang, Yuan Wen, Pavlos Petoumenos, Yu Wang
2021	J	`jnl`	Collaborative Heterogeneity-Aware OS Scheduler for Asymmetric Multicore Processors. IEEE Trans. Parallel Distributed Syst. Teng Yu, Runxin Zhong, Vladimir Janjic, Pavlos Petoumenos, Jidong Zhai, Hugh Leather, John Thomson
2021	A*	`conf`	Developer and user-transparent compiler optimization for interactive applications. PLDI Paschalis Mpeis, Pavlos Petoumenos, Kim M. Hazelwood, Hugh Leather
2021	B	`conf`	HyFM: function merging for free. LCTES Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, Kim M. Hazelwood, Hugh Leather
2020	A	`conf`	COLAB: a collaborative multi-factor scheduler for asymmetric multicore processors. CGO Teng Yu, Pavlos Petoumenos, Vladimir Janjic, Hugh Leather, John Thomson
2020	A*	`conf`	Effective function merging in the SSA form. PLDI Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, Hugh Leather
2020	B	`conf`	Vectorization-aware loop unrolling with seed forwarding. CC Rodrigo C. O. Rocha, Vasileios Porpodas, Pavlos Petoumenos, Luís F. W. Góes, Zheng Wang, Murray Cole, Hugh Leather
2019	A	`conf`	Function Merging by Sequence Alignment. CGO Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, Hugh Leather
2019	B	`conf`	POSTER: A Collaborative Multi-Factor Scheduler for Asymmetric Multicore Processors. PACT Teng Yu, Pavlos Petoumenos, Vladimir Janjic, Mingcan Zhu, Hugh Leather, John Thomson
2018	A	`conf`	Compiler fuzzing through deep learning. ISSTA Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather
2017	J	`jnl`	ALEA: A Fine-Grained Energy Profiling Tool. ACM Trans. Archit. Code Optim. Lev Mukhanov, Pavlos Petoumenos, Zheng Wang, Konstantinos Parasyris, Dimitrios S. Nikolopoulos, Bronis R. de Supinski, Hugh Leather
2017	B	`conf`	End-to-End Deep Learning of Optimization Heuristics. PACT Chris Cummins, Pavlos Petoumenos, Zheng Wang, Hugh Leather
2017	A	`conf`	Minimizing the cost of iterative compilation with active learning. CGO William F. Ogilvie, Pavlos Petoumenos, Zheng Wang, Hugh Leather
2017	A	`conf`	Synthesizing benchmarks for predictive modeling. CGO Chris Cummins, Pavlos Petoumenos, Zheng Wang, Hugh Leather
2015	J	`jnl`	Autotuning OpenCL Workgroup Size for Stencil Patterns. CoRR Chris Cummins, Pavlos Petoumenos, Michel Steuwer, Hugh Leather
2015	J	`jnl`	Iterative compilation on mobile devices. CoRR Paschalis Mpeis, Pavlos Petoumenos, Hugh Leather
2015	B	`conf`	Power Capping: What Works, What Does Not. ICPADS Pavlos Petoumenos, Lev Mukhanov, Zheng Wang, Hugh Leather, Dimitrios S. Nikolopoulos
2015	—	`ed.`	Proceedings of the 2015 International Workshop on Code Optimisation for Multi and Many Cores, COSMIC@CGO 2015, San Francisco Bay Area, CA, USA, February 8, 2015 COSMIC@CGO Zheng Wang, Pavlos Petoumenos, Hugh Leather
2014	B	`conf`	Active learning accelerated automatic heuristic construction for parallel program mapping. PACT William F. Ogilvie, Pavlos Petoumenos, Zheng Wang, Hugh Leather
2014	—	`conf`	Fast Automatic Heuristic Construction Using Active Learning. LCPC William F. Ogilvie, Pavlos Petoumenos, Zheng Wang, Hugh Leather
2014	—	`conf`	Measuring QoE of interactive workloads and characterising frequency governors on mobile devices. IISWC Volker Seeker, Pavlos Petoumenos, Hugh Leather, Björn Franke
2010	—	`conf`	MLP-Aware Instruction Queue Resizing: The Key to Power-Efficient Performance. ARCS Pavlos Petoumenos, Georgia Psychou, Stefanos Kaxiras, Juan Manuel Cebrian Gonzalez, Juan L. Aragón
2010	—	`conf`	Where replacement algorithms fail: a thorough analysis. Conf. Computing Frontiers Georgios Keramidas, Pavlos Petoumenos, Stefanos Kaxiras
2009	A	`conf`	Efficient microarchitecture policies for accurately adapting to power constraints. IPDPS Juan M. Cebrian, Juan L. Aragón, José M. García, Pavlos Petoumenos, Stefanos Kaxiras
2009	—	`conf`	Instruction-based reuse-distance prediction for effective cache management. ICSAMOS Pavlos Petoumenos, Georgios Keramidas, Stefanos Kaxiras
2007	C	`conf`	Cache replacement based on reuse-distance prediction. ICCD Georgios Keramidas, Pavlos Petoumenos, Stefanos Kaxiras
2007	C	`conf`	Using value locality to reduce memory encryption overhead in embedded processors. ETFA Georgios Keramidas, Pavlos Petoumenos, Alexandros Antonopoulos, Stefanos Kaxiras, Dimitrios N. Serpanos
2006	—	`conf`	Modeling Cache Sharing on Chip Multiprocessor Architectures. IISWC Pavlos Petoumenos, Georgios Keramidas, Håkan Zeffer, Stefanos Kaxiras, Erik Hagersten
2006	—	`conf`	Preventing Denial-of-Service Attacks in Shared CMP Caches. SAMOS Georgios Keramidas, Pavlos Petoumenos, Stefanos Kaxiras, Alexandros Antonopoulos, Dimitrios N. Serpanos