☰

Yannis Smaragdakis

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
Google:
"Yannis Smaragdakis"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Eli Tilevich grad student 2005 Georgia Tech
Christoph Csallner grad student 2008 Georgia Tech

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Grech N, Fourtounis G, Francalanza A, et al. (2017) Heaps don't lie: countering unsoundness with heap snapshots Arxiv: Programming Languages. 1: 1-27
Ureche V, Biboudis A, Smaragdakis Y, et al. (2015) Automating ad hoc data representation transformations Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 801-820
Livshits B, Sridharan M, Smaragdakis Y, et al. (2015) In defense of soundiness: A manifesto Communications of the Acm. 58: 44-46
Li K, Reichenbach C, Csallner C, et al. (2014) Residual investigation: Predictive and precise Bug detection Acm Transactions On Software Engineering and Methodology. 24
Smaragdakis Y, Kastrinis G, Balatsouras G. (2014) Introspective analysis: Context-sensitivity, across the board Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 485-495
Gerakios P, Biboudis A, Smaragdakis Y. (2013) 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
Li K, Reichenbach C, Smaragdakis Y, et al. (2013) SEDGE: Symbolic example data generation for dataflow programs 2013 28th Ieee/Acm International Conference On Automated Software Engineering, Ase 2013 - Proceedings. 235-245
Reichenbach C, Smaragdakis Y, Immerman N. (2012) 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
Huang SS, Smaragdakis Y. (2011) Morphing: Structurally shaping a class by reflecting on others Acm Transactions On Programming Languages and Systems. 33
Smaragdakis Y, Bravenboer M. (2011) 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
See more...