Yannis Smaragdakis
Orcid: 0000-0002-0499-0182Affiliations:
- University of Athens, Athens, Greece
According to our database1,
Yannis Smaragdakis
authored at least 134 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
2022
Proc. ACM Program. Lang., 2022
2021
Making pointer analysis more precise by unleashing the power of selective context sensitivity.
Proc. ACM Program. Lang., 2021
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts.
Proc. ACM Program. Lang., 2021
2020
ACM Trans. Program. Lang. Syst., 2020
Dagstuhl Artifacts Ser., 2020
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
2019
Next-paradigm programming languages: what will they look like and what changes will they bring?
Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019
Proceedings of the 41st International Conference on Software Engineering, 2019
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
2018
Proc. ACM Program. Lang., 2018
Proc. ACM Program. Lang., 2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
Proceedings of the 27th International Conference on Compiler Construction, 2018
2017
Proc. ACM Program. Lang., 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017
Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses.
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017
2016
Proceedings of the Static Analysis - 23rd International Symposium, 2016
2015
Dagstuhl Artifacts Ser., 2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
Proceedings of the Grand Timely Topics in Software Engineering, 2015
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015
Proceedings of the Compiler Construction - 24th International Conference, 2015
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015
2014
ACM Trans. Softw. Eng. Methodol., 2014
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014
2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Proceedings of the Generative Programming: Concepts and Experiences, 2013
Proceedings of the Compiler Construction - 22nd International Conference, 2013
2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012
2011
ACM Trans. Program. Lang. Syst., 2011
Softw. Pract. Exp., 2011
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
2010
J. Parallel Distributed Comput., 2010
Resolving and exploiting the <i>k</i>-CFA paradox: illuminating functional vs. object-oriented program analysis.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the Datalog Reloaded - First International Workshop, 2010
2009
ACM Trans. Softw. Eng. Methodol., 2009
ACM SIGPLAN Notices, 2009
Autom. Softw. Eng., 2009
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009
2008
ACM Trans. Softw. Eng. Methodol., 2008
ACM Trans. Softw. Eng. Methodol., 2008
Proceedings of the Model Checking Software, 2008
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
Proceedings of the 2008 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), 2008
2007
Proceedings of the Tests and Proofs - 1st International Conference, 2007
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007
Morphing Software for Easier Evolution.
Proceedings of the RAM-SE'07-ECOOP'07 Workshop on Reflection, 2007
Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007
2006
Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 2006
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the Generative Programming and Component Engineering, 2006
2005
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
2004
IEEE Pervasive Comput., 2004
Proceedings of the Static Analysis, 11th International Symposium, 2004
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004
Proceedings of the Middleware 2004, 2004
Proceedings of the 4th International Symposium on Memory Management, 2004
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004
2003
ACM Trans. Model. Comput. Simul., 2003
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003
2002
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs.
ACM Trans. Softw. Eng. Methodol., 2002
Proceedings of the Software Reuse: Methods, 2002
Proceedings of the Object-Oriented Technology, 2002
Proceedings of the ECOOP 2002, 2002
2001
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001
2000
Proceedings of the General Track: 2000 USENIX Annual Technical Conference, 2000
Object-oriented frameworks and product lines.
Proceedings of the Software Product Lines; Experiences and Research Directions, 2000
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000
Proceedings of the Generative and Component-Based Software Engineering, 2000
1999
Architectural Styles as Adaptors.
Proceedings of the Software Architecture, 1999
Proceedings of the 1999 USENIX Annual Technical Conference, 1999
Proceedings of the 1999 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1999
Proceedings of the 1999 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1999
Proceedings of the Generative and Component-Based Software Engineering, 1999
Building Product-Lines with Mixin-Layers.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
1998
Proceedings of the Fifth International Conference on Software Reuse, 1998
Proceedings of the Fifth International Conference on Software Reuse, 1998
Implementing Layered Object-Oriented Designs.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998
1997
Proceedings of the Conference on Domain-Specific Languages, 1997