Concepedia

Polyvios Pratikakis

PP

18

Publications

964

Citations

13

H-Index

2004

Active since

Affiliations

University of Maryland, College Park(Current)

Foundation for Research and Technology Hellas

FORTH Institute of Computer Science

University of Crete

Ghent University

Polyvios Pratikakis is an author at University of Maryland, College Park specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisFormal VerificationParallel ProgrammingParallel ComputingComputer EngineeringComputer Architecture

Publications per year

2004–2023

18

Publications

18

LOCKSMITH

Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks · ACM SIGPLAN Notices · 2006 · 187 citations

Engineering, Verification, Thread Locality +18

Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks · 2006 · 161 citations

Engineering, Verification, Thread Locality +18

Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks · ACM Transactions on Programming Languages and Systems · 2011 · 107 citations

Engineering, Compiler Technology, Computer Architecture +17

Contextual effects for version-consistent dynamic software updating and safe concurrent programming

Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster et al. · 2008 · 79 citations

Software Maintenance, Engineering, Software Engineering +28

A greedy feature selection algorithm for Big Data of high dimensionality

Ioannis Tsamardinos, Giorgos Borboudakis, Pavlos Katsogridakis et al. · Machine Learning · 2018 · 77 citations · Full text

Rows per page

1–5 of 18