| JCrasher: an automatic robustness tester for Java C Csallner, Y Smaragdakis Software: Practice and Experience 34 (11), 1025-1050, 2004 | 608 | 2004 |
| Strictly declarative specification of sophisticated points-to analyses M Bravenboer, Y Smaragdakis Proceedings of the 24th ACM SIGPLAN conference on Object oriented …, 2009 | 552 | 2009 |
| 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 | 449 | 2018 |
| 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 | 441 | 2002 |
| Implementing layered designs with mixin layers Y Smaragdakis, D Batory European Conference on Object-Oriented Programming, 550-570, 1998 | 396 | 1998 |
| 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 | 379 | 2011 |
| 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 | 352 | 2015 |
| Check ‘n’Crash: Combining Static Checking and Testing C Csallner, Y Smaragdakis Proc. of the 27th international conference on Software Engineering (ICSE …, 2005 | 325 | 2005 |
| DySy: Dynamic symbolic execution for invariant inference C Csallner, N Tillmann, Y Smaragdakis Proceedings of the 30th international conference on Software engineering …, 2008 | 312 | 2008 |
| 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 | 298 | 2008 |
| J-orchestra: Automatic java application partitioning E Tilevich, Y Smaragdakis ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002 | 296 | 2002 |
| JTS: Tools for implementing domain-specific languages D Batory, B Lofaso, Y Smaragdakis Proceedings. Fifth International Conference on Software Reuse (Cat. No …, 1998 | 283 | 1998 |
| EELRU: simple and effective adaptive page replacement Y Smaragdakis, S Kaplan, P Wilson ACM SIGMETRICS Performance Evaluation Review 27 (1), 122-133, 1999 | 257 | 1999 |
| Pointer analysis Y Smaragdakis, G Balatsouras Foundations and Trends® in Programming Languages 2 (1), 1-69, 2015 | 249 | 2015 |
| The Case for Compressed Caching in Virtual Memory Systems. PR Wilson, SF Kaplan, Y Smaragdakis USENIX Annual Technical Conference, General Track, 101-116, 1999 | 235 | 1999 |
| 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 | 228 | 2012 |
| Hybrid context-sensitivity for points-to analysis G Kastrinis, Y Smaragdakis ACM SIGPLAN Notices 48 (6), 423-434, 2013 | 189 | 2013 |
| Ethainter: a smart contract security analyzer for composite vulnerabilities L Brent, N Grech, S Lagouvardos, B Scholz, Y Smaragdakis Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 181 | 2020 |
| Object-Oriented Frameworks and Product-Lines D Batory, R Cardone, Y Smaragdakis 1st Software Product-Line Conference (SPLC), 227-248, 1999 | 154 | 1999 |
| Using Datalog for fast and easy program analysis Y Smaragdakis, M Bravenboer International Datalog 2.0 Workshop, 245-251, 2010 | 151 | 2010 |
Don BatoryUniversity of Texas at Austin確認したメール アドレス: cs.utexas.edu