Yannis Smaragdakis

Yannis Smaragdakis

National and Kapodistrian University of Athens - Athens / Greece
Engineering & Technology / Computer Science
AD Scientific Index ID: 1847928
Εθνικού και Καποδιστριακού Πανεπιστημίου Αθηνών
person_outline Yannis Smaragdakis's MOST POPULAR ARTICLES
1-) JCrasher: an automatic robustness tester for JavaC Csallner, Y SmaragdakisSoftware: Practice and Experience 34 (11), 1025-1050, 20045822004
2-) Strictly declarative specification of sophisticated points-to analysesM Bravenboer, Y SmaragdakisProceedings of the 24th ACM SIGPLAN conference on Object oriented …, 20094432009
3-) Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designsY Smaragdakis, D BatoryACM Transactions on Software Engineering and Methodology (TOSEM) 11 (2), 215-255, 20024372002
4-) Madmax: Surviving out-of-gas conditions in ethereum smart contractsN Grech, M Kong, A Jurisevic, L Brent, B Scholz, Y SmaragdakisProceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 20184242018
5-) Implementing layered designs with mixin layersY Smaragdakis, D BatoryEuropean Conference on Object-Oriented Programming, 550-570, 19983961998