Sotabase

Career

· Assistant Professor, University of Crete

Publications (65)

LOCKSMITH: context-sensitive correlation analysis for race detection
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2006
261
cited
LOCKSMITH: Practical static race detection for C
TOPL · 2011
122
cited
Contextual effects for version-consistent dynamic software updating and safe concurrent programming
ACM-SIGACT Symposium on Principles of Programming Languages · 2008
91
cited
Lock Inference for Atomic Sections
2006
78
cited
A greedy feature selection algorithm for Big Data of high dimensionality
Machine-mediated learning · 2018
77
cited
Transparent proxies for java futures
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2004
66
cited
Social media analysis during political turbulence
PLoS ONE · 2017
46
cited
Existential Label Flow Inference Via CFL Reachability
Sensors Applications Symposium · 2006
38
cited
Parallel Programming of General-Purpose Programs Using Task-Based Programming Models
USENIX Conference on Hot Topics in Parallelism · 2011
37
cited
Type-preserving compilation for large-scale optimizing object-oriented compilers
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2008
27
cited
BDDT:: block-level dynamic dependence analysisfor deterministic task-based parallelism
ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming · 2012
22
cited
What Tweets and YouTube comments have in common? Sentiment and graph analysis on data related to US elections 2020
PLoS ONE · 2020
21
cited
A programming model for deterministic task parallelism
Workshop on Memory System Performance and Correctness · 2011
19
cited
BDDT: Block-Level Dynamic Dependence Analysis for Task-Based Parallelism
Advanced Parallel Programming Technologies · 2013
19
cited
The myrmics memory allocator: hierarchical,message-passing allocation for global address spaces
International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing · 2012
19
cited
Twitter Dataset on the Russo-Ukrainian War
arXiv.org · 2022
17
cited
TProf: An energy profiler for task-parallel programs
Sustainable Computing: Informatics and Systems · 2015
16
cited
twAwler: A lightweight twitter crawler
arXiv.org · 2018
16
cited
TeraHeap: Reducing Memory Pressure in Managed Big Data Frameworks
International Conference on Architectural Support for Programming Languages and Operating Systems · 2023
14
cited
Practical information flow for legacy web applications
ICOOOLPS@ECOOP · 2013
10
cited
Sotabase
Polyvios Pratikakis | Researcher Profile | Sotabase | Sotabase