AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Polyvios Pratikakis

Polyvios Pratikakis

University of Crete - Rethymno / Greece
Engineering & Technology / Computer Science
AD Scientific Index ID: 1846223
Πανεπιστήμιο Κρήτης
person_outline Polyvios Pratikakis's MOST POPULAR ARTICLES
1-) Locksmith: context-sensitive correlation analysis for race detection Acm Sigplan Notices 41 (6), 320-331, 2006
2-) LOCKSMITH: Practical static race detection for C ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (1), 1-55, 2011
3-) Lock inference for atomic sections Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and …, 2006
4-) Contextual effects for version-consistent dynamic software updating and safe concurrent programming Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
5-) A greedy feature selection algorithm for big data of high dimensionality Machine learning 108 (2), 149-202, 2019