Folgen
Yannis Smaragdakis
Yannis Smaragdakis
University of Athens
Bestätigte E-Mail-Adresse bei di.uoa.gr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
JCrasher: an automatic robustness tester for Java
C Csallner, Y Smaragdakis
Software: Practice and Experience 34 (11), 1025-1050, 2004
5882004
Strictly declarative specification of sophisticated points-to analyses
M Bravenboer, Y Smaragdakis
Proceedings of the 24th ACM SIGPLAN conference on Object oriented …, 2009
4402009
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
4372002
Implementing layered designs with mixin layers
Y Smaragdakis, D Batory
ECOOP’98—Object-Oriented Programming: 12th European Conference Brussels …, 1998
4021998
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
3332011
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
3252018
Check ‘n’Crash: Combining Static Checking and Testing
C Csallner, Y Smaragdakis
Proc. of the 27th international conference on Software Engineering (ICSE …, 2005
3162005
DySy: Dynamic symbolic execution for invariant inference
C Csallner, N Tillmann, Y Smaragdakis
Proceedings of the 30th international conference on Software engineering …, 2008
2952008
J-orchestra: Automatic java application partitioning
E Tilevich, Y Smaragdakis
ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002
2942002
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
2892015
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
2862008
JTS: Tools for implementing domain-specific languages
D Batory, B Lofaso, Y Smaragdakis
Proceedings. Fifth International Conference on Software Reuse (Cat. No …, 1998
2841998
EELRU: simple and effective adaptive page replacement
Y Smaragdakis, S Kaplan, P Wilson
ACM SIGMETRICS Performance Evaluation Review 27 (1), 122-133, 1999
2441999
The Case for Compressed Caching in Virtual Memory Systems.
PR Wilson, SF Kaplan, Y Smaragdakis
USENIX Annual Technical Conference, General Track, 101-116, 1999
2301999
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
2042012
Pointer analysis
Y Smaragdakis, G Balatsouras
Foundations and Trends® in Programming Languages 2 (1), 1-69, 2015
1902015
Hybrid context-sensitivity for points-to analysis
G Kastrinis, Y Smaragdakis
ACM SIGPLAN Notices 48 (6), 423-434, 2013
1652013
Object-Oriented Frameworks and Product-Lines
D Batory, R Cardone, Y Smaragdakis
1st Software Product-Line Conference (SPLC), 227-248, 1999
1531999
Adaptive caches: Effective shaping of cache behavior to workloads
R Subramanian, Y Smaragdakis, GH Loh
2006 39th Annual IEEE/ACM International Symposium on Microarchitecture …, 2006
1282006
Introspective analysis: context-sensitivity, across the board
Y Smaragdakis, G Kastrinis, G Balatsouras
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
1252014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20