Seguir
Yannis Smaragdakis
Yannis Smaragdakis
University of Athens
Dirección de correo verificada de di.uoa.gr - Página principal
Título
Citado por
Citado por
Año
JCrasher: an automatic robustness tester for Java
C Csallner, Y Smaragdakis
Software: Practice and Experience 34 (11), 1025-1050, 2004
5982004
Strictly declarative specification of sophisticated points-to analyses
M Bravenboer, Y Smaragdakis
Proceedings of the 24th ACM SIGPLAN conference on Object oriented …, 2009
4912009
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs
Y Smaragdakis, D Batory
ACM Transactions on Software Engineering and Methodology (TOSEM) 11 (2), 215-255, 2002
4352002
Implementing layered designs with mixin layers
Y Smaragdakis, D Batory
European Conference on Object-Oriented Programming, 550-570, 1998
3991998
Madmax: Surviving out-of-gas conditions in ethereum smart contracts
N Grech, M Kong, A Jurisevic, L Brent, B Scholz, Y Smaragdakis
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
3922018
Pick your contexts well: understanding object-sensitivity
Y Smaragdakis, M Bravenboer, O Lhoták
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
3532011
Check ‘n’Crash: Combining Static Checking and Testing
C Csallner, Y Smaragdakis
Proc. of the 27th international conference on Software Engineering (ICSE …, 2005
3222005
In defense of soundiness: A manifesto
B Livshits, M Sridharan, Y Smaragdakis, O Lhoták, JN Amaral, ...
Communications of the ACM 58 (2), 44-46, 2015
3152015
DySy: Dynamic symbolic execution for invariant inference
C Csallner, N Tillmann, Y Smaragdakis
Proceedings of the 30th international conference on Software engineering …, 2008
3062008
J-orchestra: Automatic java application partitioning
E Tilevich, Y Smaragdakis
ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002
2972002
DSD-Crasher: A hybrid analysis tool for bug finding
C Csallner, Y Smaragdakis, T Xie
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (2), 1-37, 2008
2932008
JTS: Tools for implementing domain-specific languages
D Batory, B Lofaso, Y Smaragdakis
Proceedings. Fifth International Conference on Software Reuse (Cat. No …, 1998
2881998
EELRU: simple and effective adaptive page replacement
Y Smaragdakis, S Kaplan, P Wilson
ACM SIGMETRICS Performance Evaluation Review 27 (1), 122-133, 1999
2501999
The Case for Compressed Caching in Virtual Memory Systems.
PR Wilson, SF Kaplan, Y Smaragdakis
USENIX Annual Technical Conference, General Track, 101-116, 1999
2321999
Pointer analysis
Y Smaragdakis, G Balatsouras
Foundations and Trends® in Programming Languages 2 (1), 1-69, 2015
2212015
Sound predictive race detection in polynomial time
Y Smaragdakis, J Evans, C Sadowski, J Yi, C Flanagan
ACM Sigplan Notices 47 (1), 387-400, 2012
2152012
Hybrid context-sensitivity for points-to analysis
G Kastrinis, Y Smaragdakis
ACM SIGPLAN Notices 48 (6), 423-434, 2013
1702013
Object-Oriented Frameworks and Product-Lines
D Batory, R Cardone, Y Smaragdakis
1st Software Product-Line Conference (SPLC), 227-248, 1999
1551999
Using Datalog for fast and easy program analysis
Y Smaragdakis, M Bravenboer
International Datalog 2.0 Workshop, 245-251, 2010
1402010
Introspective analysis: context-sensitivity, across the board
Y Smaragdakis, G Kastrinis, G Balatsouras
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
1332014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20