Yannis Smaragdakis - Publications

Affiliations: 
Georgia Institute of Technology, Atlanta, GA 
 2006-2008 Computer Science University of Oregon, Eugene, OR, United States 
 2008-2012 Computer Science University of Massachusetts, Amherst, Amherst, MA 
 2010- Informatics and Telecommunications University of Athens, Athens, Greece 
Area:
Computer Science

83 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2015 Biboudis A, Palladinos N, Fourtounis G, Smaragdakis Y. Streams à la carte: Extensible pipelines with object algebras Leibniz International Proceedings in Informatics, Lipics. 37: 591-613. DOI: 10.4230/LIPIcs.ECOOP.2015.591  1
2015 Ureche V, Biboudis A, Smaragdakis Y, Odersky M. Automating ad hoc data representation transformations Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 801-820. DOI: 10.1145/2814270.2814271  1
2015 Gerakios P, Fourtounis G, Smaragdakis Y. FOO: A minimal modern OO calculus Proceedings For the 17th Workshop On Formal Techniques For Java-Like Programs, Ftfjp 2015: Co-Located With Ecoop 2015. DOI: 10.1145/2786536.2786540  1
2015 Livshits B, Sridharan M, Smaragdakis Y, Lhoták O, Amaral JN, Chang BYE, Guyer SZ, Khedker UP, Møler A, Vardoulakis D. In defense of soundiness: A manifesto Communications of the Acm. 58: 44-46. DOI: 10.1145/2644805  1
2015 Ackermann H, Reichenbach C, Müller C, Smaragdakis Y. A backend extension mechanism for PQL/Java with free run-time optimisation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9031: 111-130. DOI: 10.1007/978-3-662-46663-6_6  1
2015 Smaragdakis Y, Balatsouras G, Kastrinis G, Bravenboer M. More sound static handling of java reflection Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9458: 485-503. DOI: 10.1007/978-3-319-26529-2_26  1
2014 Li K, Reichenbach C, Csallner C, Smaragdakis Y. Residual investigation: Predictive and precise Bug detection Acm Transactions On Software Engineering and Methodology. 24. DOI: 10.1145/2656201  1
2014 Smaragdakis Y, Kastrinis G, Balatsouras G. Introspective analysis: Context-sensitivity, across the board Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 485-495. DOI: 10.1145/2594291.2594320  1
2014 Rosenblum DS, Smaragdakis Y. Editorial Acm Transactions On Software Engineering and Methodology. 23. DOI: 10.1145/2559939  1
2014 Altidor J, Smaragdakis Y. Refactoring Java generics by inferring wildcards, in practice Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 271-290. DOI: 10.1145/10.1145/2660193.2660203  1
2013 Gerakios P, Biboudis A, Smaragdakis Y. Reified type parameters using Java annotations Splash Indianapolis 2013; Gpce 2013 - Proceedings of the 12th International Conference On Generative Programming: Concepts and Experiences. 61-64. DOI: 10.1145/2637365.2517223  1
2013 Gerakios P, Biboudis A, Smaragdakis Y. Forsaking inheritance: Supercharged delegation in DelphJ Acm Sigplan Notices. 48: 233-251. DOI: 10.1145/2509136.2509535  1
2013 Balatsouras G, Smaragdakis Y. Class hierarchy complementation: Soundly completing a partial type graph Acm Sigplan Notices. 48: 515-532. DOI: 10.1145/2509136.2509530  1
2013 Smaragdakis Y, Balatsouras G, Kastrinis G. Set-based pre-processing for points-to analysis Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 253-269. DOI: 10.1145/2509136.2509524  1
2013 Li K, Reichenbach C, Smaragdakis Y, Young M. Second-order constraints in dynamic invariant inference 2013 9th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2013 - Proceedings. 103-113. DOI: 10.1145/2491411.2491457  1
2013 Kastrinis G, Smaragdakis Y. Hybrid context-sensitivity for points-to analysis Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 423-433. DOI: 10.1145/2462156.2462191  1
2013 Li K, Reichenbach C, Smaragdakis Y, Diao Y, Csallner C. SEDGE: Symbolic example data generation for dataflow programs 2013 28th Ieee/Acm International Conference On Automated Software Engineering, Ase 2013 - Proceedings. 235-245. DOI: 10.1109/ASE.2013.6693083  1
2013 Kastrinis G, Smaragdakis Y. Efficient and effective handling of exceptions in Java points-to analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7791: 41-60. DOI: 10.1007/978-3-642-37051-9_3  1
2012 Smaragdakis Y. Technical perspective: High-level data structures Communications of the Acm. 55: 90. DOI: 10.1145/2380656.2380676  1
2012 Smaragdakis Y, Evans JM, Sadowski C, Yi J, Flanagan C. Sound predictive race detection in polynomial time Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 387-399. DOI: 10.1145/2103656.2103702  1
2012 Köhler S, Ludäscher B, Smaragdakis Y. Declarative datalog debugging for mere mortals Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7494: 111-122. DOI: 10.1007/978-3-642-32925-8_12  1
2012 Reichenbach C, Smaragdakis Y, Immerman N. PQL: A purely-declarative java extension for parallel programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7313: 53-78. DOI: 10.1007/978-3-642-31057-7-4  1
2012 Altidor J, Reichenbach C, Smaragdakis Y. Java wildcards meet definition-site variance Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7313: 509-534. DOI: 10.1007/978-3-642-31057-7-23  1
2011 Altidor J, Huang SS, Smaragdakis Y. Taming the wildcards: Combining definition- and use-site variance Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 602-613. DOI: 10.1145/1993498.1993569  1
2011 Huang SS, Smaragdakis Y. Morphing: Structurally shaping a class by reflecting on others Acm Transactions On Programming Languages and Systems. 33. DOI: 10.1145/1890028.1890029  1
2011 Smaragdakis Y, Bravenboer M. Using datalog for fast and easy program analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6702: 245-251. DOI: 10.1007/978-3-642-24206-9_14  1
2011 Saidis K, Smaragdakis Y, Delis A. DOLAR: Virtualizing heterogeneous information spaces to support their expansion Software - Practice and Experience. 41: 1349-1383. DOI: 10.1002/Spe.1050  1
2010 Reichenbach C, Immerman N, Smaragdakis Y, Aftandilian EE, Guyer SZ. What can the GC compute efficiently? A language for heap assertions at GC time Acm Sigplan Notices. 45: 256-269. DOI: 10.1145/1932682.1869482  1
2010 Smaragdakis Y, Bravenboer M, Lhoták O. Pick your contexts well: Understanding object-sensitivity: The making of a precise and scalable pointer analysis Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 17-29. DOI: 10.1145/1926385.1926390  1
2010 Reichenbach C, Immerman N, Smaragdakis Y, Aftandilian EE, Guyer SZ. What can the GC compute efficiently?: A language for heap assertions at GC time Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 256-269. DOI: 10.1145/1869459.1869482  1
2010 Might M, Smaragdakis Y, Van Horn D. Resolving and exploiting the k-CFA paradox: Illuminating functional vs. object-oriented program analysis Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 305-315. DOI: 10.1145/1806596.1806631  1
2009 Smaragdakis Y, Kaplan S. Adaptive replacement algorithm templates and EELRU Advanced Operating Systems and Kernel Applications: Techniques and Technologies. 263-275. DOI: 10.4018/978-1-60566-850-5.ch013  1
2009 Allen J, Ariola Z, Curien PL, Fluet M, Foster J, Grossman D, Harper R, Herbelin H, Smaragdakis Y, Walker D, Zdancewic S. An overview of the oregon programming languages summer school Acm Sigplan Notices. 44: 1-3. DOI: 10.1145/1816027.1816029  1
2009 Bravenboer M, Smaragdakis Y. Strictly declarative specification of sophisticated points-to analyses Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 243-261. DOI: 10.1145/1640089.1640108  1
2009 Tilevich E, Smaragdakis Y. J-Orchestra: Enhancing Java programs with distribution capabilities Acm Transactions On Software Engineering and Methodology. 19: 1-40. DOI: 10.1145/1555392.1555394  1
2009 Usui T, Behrends R, Evans J, Smaragdakis Y. Adaptive locks: Combining transactions and locks for efficient concurrency Parallel Architectures and Compilation Techniques - Conference Proceedings, Pact. 3-14. DOI: 10.1016/J.Jpdc.2010.02.006  1
2009 Smaragdakis Y, Csallner C, Subramanian R. Scalable satisfiability checking and test data generation from modeling diagrams Automated Software Engineering. 16: 73-99. DOI: 10.1007/s10515-008-0044-6  1
2008 Huang SS, Zook D, Smaragdakis Y. Domain-specific languages and program generation with meta-AspectJ Acm Transactions On Software Engineering and Methodology. 18. DOI: 10.1145/1416563.1416566  1
2008 Huang SS, Smaragdakis Y. Expressive and safe static reflection with MorphJ Acm Sigplan Notices. 43: 79-89. DOI: 10.1145/1375581.1375592  1
2008 Csallner C, Tillmann N, Smaragdakis Y. DySy: Dynamic symbolic execution for invariant inference Proceedings - International Conference On Software Engineering. 281-290. DOI: 10.1145/1368088.1368127  1
2008 Smaragdakis Y, Kay A, Behrends R, Young M. General and efficient locking without blocking International Conference On Architectural Support For Programming Languages and Operating Systems - Asplos. 1-6. DOI: 10.1145/1353522.1353524  1
2008 Smaragdakis Y. Combining static and dynamic reasoning for the discovery of program properties Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5156: 7-8. DOI: 10.1007/978-3-540-85114-1_3  1
2008 Smaragdakis Y, Siek J. GPCE'08: Proceedings of the ACM SIGPLAN 7th International Conference on Generative Programming and Component Engineering: Foreword Gpce'08: Proceedings of the Acm Sigplan 7th International Conference On Generative Programming and Component Engineering 1
2007 Smaragdakis Y, Csallner C, Subramanian R. Scalable automatic test data generation from modeling diagrams Ase'07 - 2007 Acm/Ieee International Conference On Automated Software Engineering. 4-13. DOI: 10.1145/1321631.1321635  1
2007 Smaragdakis Y, Kay A, Behrends R, Young M. Transactions with isolation and cooperation Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 191-210. DOI: 10.1145/1297027.1297042  1
2007 Huang SS, Zook D, Smaragdakis Y. CJ: Enhancing java with safe type conditions Acm International Conference Proceeding Series. 208: 185-198. DOI: 10.1145/1218563.1218584  1
2007 Huang SS, Smaragdakis Y. Building scalable libraries with cJ Proceedings - International Conference On Software Engineering. 45-46. DOI: 10.1109/ICSECOMPANION.2007.26  1
2007 Smaragdakis Y, Csallner C. Combining static and dynamic reasoning for bug detection Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4454: 1-16.  1
2007 Huang SS, Zook D, Smaragdakis Y. Morphing: Safely shaping a class in the image of others Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4609: 399-424.  1
2006 Csallner C, Smaragdakis Y. DSD-crasher: A hybrid analysis tool for bug finding Proceedings of the 2006 International Symposium On Software Testing and Analysis, Issta 2006. 2006: 245-254. DOI: 10.1145/1348250.1348254  1
2006 Tilevich E, Smaragdakis Y. Transparent program transformationsin the presence of opaque code Proceedings of the 5th International Conference On Generative Programming and Component Engineering, Gpce'06. 89-94. DOI: 10.1145/1173706.1173720  1
2006 Subramanian R, Smaragdakis Y, Loh GH. Adaptive caches: Effective shaping of cache behavior to workloads Proceedings of the Annual International Symposium On Microarchitecture, Micro. 385-396. DOI: 10.1109/MICRO.2006.7  1
2006 Huang SS, Smaragdakis Y. Easy language extension with meta-AspectJ Proceedings - International Conference On Software Engineering. 2006: 865-868.  1
2006 Csallner C, Smaragdakis Y. Dynamically discovering likely interface invariants Proceedings - International Conference On Software Engineering. 2006: 861-864.  1
2005 Ancona D, Raje R, Viroli M, Bellur U, Bono V, Boyland J, Castagna G, Coglio A, Cointe P, Costanza P, Drossopoulou S, Ernst E, Fox G, Gray J, Igarashi A, ... ... Smaragdakis Y, et al. Editorial message: Special track on object oriented programming languages and systems Proceedings of the Acm Symposium On Applied Computing. 2: 1256-1257. DOI: 10.1145/1066677.1066962  1
2005 Tilevich E, Smaragdakis Y, Handle M. Appletizing: Running legacy java code remotely from a web browser Ieee International Conference On Software Maintenance, Icsm. 2005: 91-100. DOI: 10.1109/ICSM.2005.25  1
2005 Huang SS, Zook D, Smaragdakis Y. Statically safe program generation with SafeGen Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3676: 309-326. DOI: 10.1016/J.Scico.2008.09.007  1
2005 Csallner C, Smaragdakis Y. Check 'n' crash: Combining static checking and testing Proceedings - 27th International Conference On Software Engineering, Icse05. 422-431.  1
2005 Tilevich E, Smaragdakis Y. Binary refactoring: Improving code behind the scenes Proceedings - 27th International Conference On Software Engineering, Icse05. 264-273.  1
2004 Liogkas N, MacIntyre B, Mynatt ED, Smaragdakis Y, Tilevich E, Voida S. Automatic partitioning for prototyping ubiquitous computing applications Ieee Pervasive Computing. 3: 40-47. DOI: 10.1109/Mprv.2004.1321027  1
2004 McNamara B, Smaragdakis Y. Functional programming with the FC++ library Journal of Functional Programming. 14: 429-472. DOI: 10.1017/S0956796803004969  1
2004 Csallner C, Smaragdakis Y. JCrasher: An automatic robustness tester for Java Software - Practice and Experience. 34: 1025-1050. DOI: 10.1002/Spe.602  1
2004 Smaragdakis Y. Program Generators and the Tools to Make Them Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3148: 19-20.  1
2004 Smaragdakis Y. A personal outlook on generator research (A position paper) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3016: 92-106.  1
2004 Smaragdakis Y. General adaptive replacement policies International Symposium On Memory Management, Ismm. 108-119.  1
2004 Tilevich E, Smaragdakis Y. Portable and efficient distributed threads for java Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3231: 478-492.  1
2004 Zook D, Huang SS, Smaragdakis Y. Generating AspectJ programs with Meta-AspectJ Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3286: 1-18.  1
2003 Kaplan SF, Smaragdakis Y, Wilson PR. Flexible Reference Trace Reduction for VM Simulations Acm Transactions On Modeling and Computer Simulation. 13: 1-38. DOI: 10.1145/778553.778554  1
2003 Tilevich E, Smaragdakis Y. NRMI: Natural and efficient middleware Proceedings - International Conference On Distributed Computing Systems. 252-261. DOI: 10.1109/Tpds.2007.70717  1
2003 Smaragdakis Y, Kaplan S, Wilson P. The EELRU adaptive replacement algorithm Performance Evaluation. 53: 93-123. DOI: 10.1016/S0166-5316(02)00226-2  1
2003 Pfenning F, Smaragdakis Y. Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2830: v. DOI: 10.1007/b13639  1
2002 Smaragdakis Y, Batory D. Mixin layers: An object-oriented implementation technique for refinements and collaboration-based designs Acm Transactions On Software Engineering and Methodology. 11: 215-255. DOI: 10.1145/505145.505148  1
2002 Davis K, Smaragdakis Y, Striegnitz J. Multiparadigm programming with OO languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2323: 131-134. DOI: 10.1007/3-540-47853-1_10  1
2002 Smaragdakis Y, McNamara B. FC++: Functional tools for object-oriented tasks Software - Practice and Experience. 32: 1015-1033. DOI: 10.1002/Spe.473  1
2002 Tilevich E, Smaragdakis Y. J-Orchestra: Automatic Java application partitioning Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2374: 178-204.  1
2002 Smaragdakis Y. Layered development with (Unix) dynamic libraries Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2319: 33-45.  1
2002 Davis K, Smaragdakis Y, Striegnitz J. Multiparadigm programming with object-oriented languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2548: 154-159.  1
2001 McNamara B, Smaragdakis Y. Functional programming in C++ using the FC++ library Sigplan Notices (Acm Special Interest Group On Programming Languages). 36: 25-30. DOI: 10.1145/375431.375417  1
2001 Smaragdakis Y, Batory D. Mixin-based programming in C++ Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2177: 163-177.  1
2000 Smaragdakis Y, Batory D. Scoping constructs for software generators Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1799: 65-78. DOI: 10.1007/3-540-40048-6_6  1
1999 Smaragdakis Y, Kaplan S, Wilson P. EELRU: Simple and effective adaptive page replacement Performance Evaluation Review. 27: 122-133.  1
1999 Kaplan SF, Smaragdakis Y, Wilson PR. Trace reduction for virtual memory simulations Performance Evaluation Review. 27: 47-49.  1
1998 Smaragdakis Y, Batory D. Implementing layered designs with mixin layers Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1445: 550-570. DOI: 10.1007/BFb0054107  1
Show low-probability matches.