@inproceedings{BravenboerS09,
  title = {Strictly declarative specification of sophisticated points-to analyses},
  author = {Martin  Bravenboer and Yannis Smaragdakis},
  year = {2009},
  doi = {10.1145/1640089.1640108},
  url = {http://doi.acm.org/10.1145/1640089.1640108},
  tags = {programming languages, optimization, rule-based, Java, program analysis, points-to analysis, analysis, source-to-source, logic programming, context-aware, logic, program optimization, Datalog, systematic-approach, open-source},
  researchr = {https://researchr.org/publication/BravenboerS09},
  cites = {31},
  citedby = {0},
  pages = {243-262},
  booktitle = {Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009},
  editor = {Shail Arora and Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-60558-766-0},
}

@inproceedings{SmaragdakisHZ04,
  title = {Program generators and the tools to make them},
  author = {Yannis Smaragdakis and Shan Shan Huang and David Zook},
  year = {2004},
  doi = {10.1145/1014007.1014017},
  url = {http://doi.acm.org/10.1145/1014007.1014017},
  researchr = {https://researchr.org/publication/SmaragdakisHZ04},
  cites = {0},
  citedby = {0},
  pages = {92-100},
  booktitle = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004},
  editor = {Nevin Heintze and Peter Sestoft},
  publisher = {ACM},
  isbn = {1-58113-835-0},
}

@inproceedings{ZookHS04,
  title = {Generating AspectJ Programs with Meta-AspectJ},
  author = {David Zook and Shan Shan Huang and Yannis Smaragdakis},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=1},
  tags = {AspectJ, meta programming, meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/ZookHS04},
  cites = {0},
  citedby = {3},
  pages = {1-18},
  booktitle = {Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings},
  editor = {Gabor Karsai and Eelco Visser},
  volume = {3286},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23580-9},
}

@inproceedings{BatorySC99,
  title = {Architectural Styles as Adaptors},
  author = {Don S. Batory and Yannis Smaragdakis and Lou Coglianese},
  year = {1999},
  tags = {architecture},
  researchr = {https://researchr.org/publication/BatorySC99},
  cites = {0},
  citedby = {0},
  pages = {203-224},
  booktitle = {Software Architecture, TC2 First Working IFIP Conference on Software Architecture (WICSA1), 22-24 February 1999, San Antonio, Texas, USA},
  editor = {Patrick Donohoe},
  volume = {140},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-8453-9},
}

@article{TilevichS09,
  title = {J-Orchestra: Enhancing Java programs with distribution capabilities},
  author = {Eli Tilevich and Yannis Smaragdakis},
  year = {2009},
  doi = {10.1145/1555392.1555394},
  url = {http://doi.acm.org/10.1145/1555392.1555394},
  tags = {Java},
  researchr = {https://researchr.org/publication/TilevichS09},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Software Engineering Methodology},
  volume = {19},
  number = {1},
}

@inproceedings{BatoryCS00,
  title = {Object-oriented frameworks and product lines},
  author = {Don S. Batory and Richard Cardone and Yannis Smaragdakis},
  year = {2000},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BatoryCS00},
  cites = {0},
  citedby = {0},
  pages = {227-248},
  booktitle = {Software Product Lines; Experiences and Research Directions, Proceedings of the First International Conference, SPLC 1, Denver, Colorado, USA, August 28-31, 2000, Proceedings},
  editor = {Patrick Donohoe},
  publisher = {Kluwer},
  isbn = {0-7923-7940-3},
}

@inproceedings{CsallnerS05,
  title = {Check  n  crash: combining static checking and testing},
  author = {Christoph Csallner and Yannis Smaragdakis},
  year = {2005},
  doi = {10.1145/1062455.1062533},
  url = {http://doi.acm.org/10.1145/1062455.1062533},
  tags = {testing},
  researchr = {https://researchr.org/publication/CsallnerS05},
  cites = {0},
  citedby = {0},
  pages = {422-431},
  booktitle = {27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA},
  editor = {Gruia-Catalin Roman and William G. Griswold and Bashar Nuseibeh},
  publisher = {ACM},
}

@inproceedings{CsallnerS06,
  title = {DSD-Crasher: a hybrid analysis tool for bug finding},
  author = {Christoph Csallner and Yannis Smaragdakis},
  year = {2006},
  doi = {10.1145/1146238.1146267},
  url = {http://doi.acm.org/10.1145/1146238.1146267},
  tags = {analysis},
  researchr = {https://researchr.org/publication/CsallnerS06},
  cites = {0},
  citedby = {0},
  pages = {245-254},
  booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006},
  editor = {Lori L. Pollock and Mauro Pezzè},
  publisher = {ACM},
  isbn = {1-59593-263-1},
}

@article{SmaragdakisM02,
  title = {FC++: Functional tools for object-oriented tasks},
  author = {Yannis Smaragdakis and Brian McNamara},
  year = {2002},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/SmaragdakisM02},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {32},
  number = {10},
  pages = {1015-1033},
}

@inproceedings{HuangS08,
  title = {Expressive and safe static reflection with MorphJ},
  author = {Shan Shan Huang and Yannis Smaragdakis},
  year = {2008},
  doi = {10.1145/1375581.1375592},
  url = {http://doi.acm.org/10.1145/1375581.1375592},
  tags = {programming languages, object-oriented programming, rule-based, Java, program analysis, meta programming, pattern language, generic programming, model checking, meta-model, Variability-Aware Analysis, language engineering, software language engineering, analysis, static analysis, type system, software engineering, model-driven engineering, C++, pattern matching, type checking, aspect oriented programming, programming, subject-oriented programming, context-aware, Meta-Environment, reflection, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/HuangS08},
  cites = {0},
  citedby = {1},
  pages = {79-89},
  booktitle = {Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
  editor = {Rajiv Gupta and Saman P. Amarasinghe},
  publisher = {ACM},
  isbn = {978-1-59593-860-2},
}

@article{SmaragdakisB02,
  title = {Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs},
  author = {Yannis Smaragdakis and Don S. Batory},
  year = {2002},
  doi = {10.1145/505145.505148},
  url = {http://doi.acm.org/10.1145/505145.505148},
  tags = {rule-based, refinement},
  researchr = {https://researchr.org/publication/SmaragdakisB02},
  cites = {0},
  citedby = {1},
  journal = {ACM Transactions on Software Engineering Methodology},
  volume = {11},
  number = {2},
  pages = {215-255},
}

@inproceedings{UsuiBES09,
  title = {Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency},
  author = {Takayuki Usui and Reimer Behrends and Jacob Evans and Yannis Smaragdakis},
  year = {2009},
  doi = {10.1109/PACT.2009.20},
  url = {http://doi.ieeecomputersociety.org/10.1109/PACT.2009.20},
  researchr = {https://researchr.org/publication/UsuiBES09},
  cites = {0},
  citedby = {0},
  pages = {3-14},
  booktitle = {PACT 2009, Proceedings of the 18th International Conference on Parallel Architectures and Compilation Techniques, 12-16 September 2009, Raleigh, North Carolina, USA},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3771-9},
}

@inproceedings{CsallnerS06:0,
  title = {Dynamically discovering likely interface invariants},
  author = {Christoph Csallner and Yannis Smaragdakis},
  year = {2006},
  doi = {10.1145/1134435},
  url = {http://doi.acm.org/10.1145/1134435},
  researchr = {https://researchr.org/publication/CsallnerS06%3A0},
  cites = {0},
  citedby = {0},
  pages = {861-864},
  booktitle = {28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006},
  editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa},
  publisher = {ACM},
  isbn = {1-59593-375-1},
}

@article{UsuiBES10,
  title = {Adaptive locks: Combining transactions and locks for efficient concurrency},
  author = {Takayuki Usui and Reimer Behrends and Jacob Evans and Yannis Smaragdakis},
  year = {2010},
  doi = {10.1016/j.jpdc.2010.02.006},
  url = {http://dx.doi.org/10.1016/j.jpdc.2010.02.006},
  researchr = {https://researchr.org/publication/UsuiBES10},
  cites = {0},
  citedby = {0},
  journal = {J. Parallel Distrib. Comput.},
  volume = {70},
  number = {10},
  pages = {1009-1023},
}

@inproceedings{HuangS06,
  title = {Easy language extension with {Meta-AspectJ}},
  author = {Shan Shan Huang and Yannis Smaragdakis},
  year = {2006},
  doi = {10.1145/1134436},
  url = {http://doi.acm.org/10.1145/1134436},
  tags = {AspectJ, meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HuangS06},
  cites = {0},
  citedby = {1},
  pages = {865-868},
  booktitle = {28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006},
  editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa},
  publisher = {ACM},
  isbn = {1-59593-375-1},
}

@article{McNamaraS04,
  title = {Functional programming with the FC++ library},
  author = {Brian McNamara and Yannis Smaragdakis},
  year = {2004},
  doi = {10.1017/S0956796803004969},
  url = {http://dx.doi.org/10.1017/S0956796803004969},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/McNamaraS04},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {14},
  number = {4},
  pages = {429-472},
}

@inproceedings{TilevichS06,
  title = {Transparent program transformationsin the presence of opaque code},
  author = {Eli Tilevich and Yannis Smaragdakis},
  year = {2006},
  doi = {10.1145/1173706.1173720},
  url = {http://doi.acm.org/10.1145/1173706.1173720},
  researchr = {https://researchr.org/publication/TilevichS06},
  cites = {0},
  citedby = {0},
  pages = {89-94},
  booktitle = {Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings},
  editor = {Stan Jarzabek and Douglas C. Schmidt and Todd L. Veldhuizen},
  publisher = {ACM},
  isbn = {1-59593-237-2},
}

@inproceedings{SmaragdakisCS07,
  title = {Scalable automatic test data generation from modeling diagrams},
  author = {Yannis Smaragdakis and Christoph Csallner and Ranjith Subramanian},
  year = {2007},
  doi = {10.1145/1321631.1321635},
  url = {http://doi.acm.org/10.1145/1321631.1321635},
  tags = {modeling, testing, data-flow},
  researchr = {https://researchr.org/publication/SmaragdakisCS07},
  cites = {0},
  citedby = {0},
  pages = {4-13},
  booktitle = {22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA},
  editor = {R. E. Kurt Stirewalt and Alexander  Egyed and Bernd  Fischer},
  publisher = {ACM},
  isbn = {978-1-59593-882-4 },
}

@inproceedings{KaplanSW99,
  title = {Trace Reduction for Virtual Memory Simulations},
  author = {Scott F. Kaplan and Yannis Smaragdakis and Paul R. Wilson},
  year = {1999},
  doi = {10.1145/301453.301479},
  url = {http://doi.acm.org/10.1145/301453.301479},
  researchr = {https://researchr.org/publication/KaplanSW99},
  cites = {0},
  citedby = {0},
  pages = {47-58},
  booktitle = {SIGMETRICS},
}

@inproceedings{TilevichS04,
  title = {Portable and Efficient Distributed Threads for Java},
  author = {Eli Tilevich and Yannis Smaragdakis},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3231&spage=478},
  tags = {Java},
  researchr = {https://researchr.org/publication/TilevichS04},
  cites = {0},
  citedby = {0},
  pages = {478-492},
  booktitle = {Middleware 2004, ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-20, 2004, Proceedings},
  editor = {Hans-Arno Jacobsen},
  volume = {3231},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23428-4},
}

@inproceedings{BravenboerS09-0,
  title = {Exception analysis and points-to analysis: better together},
  author = {Martin  Bravenboer and Yannis Smaragdakis},
  year = {2009},
  doi = {10.1145/1572272.1572274},
  url = {http://doi.acm.org/10.1145/1572272.1572274},
  tags = {semantics, rule-based, Java, completeness, exceptions, points-to analysis, analysis, source-to-source, object-role modeling, information models, context-aware, abstraction, systematic-approach, open-source},
  researchr = {https://researchr.org/publication/BravenboerS09-0},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009},
  editor = {Gregg Rothermel and Laura K. Dillon},
  publisher = {ACM},
  isbn = {978-1-60558-338-9},
}

@inproceedings{Smaragdakis08,
  title = {Combining Static and Dynamic Reasoning for the Discovery of Program Properties},
  author = {Yannis Smaragdakis},
  year = {2008},
  doi = {10.1007/978-3-540-85114-1_3},
  url = {http://dx.doi.org/10.1007/978-3-540-85114-1_3},
  tags = {discovery},
  researchr = {https://researchr.org/publication/Smaragdakis08},
  cites = {0},
  citedby = {0},
  pages = {7-8},
  booktitle = {Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings},
  editor = {Klaus Havelund and Rupak Majumdar and Jens Palsberg},
  volume = {5156},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85113-4},
}

@inproceedings{MightSH10,
  title = {Resolving and exploiting the ::::k::::-CFA paradox: illuminating functional vs. object-oriented program analysis},
  author = {Matthew Might and Yannis Smaragdakis and David Van Horn},
  year = {2010},
  doi = {10.1145/1806596.1806631},
  url = {http://doi.acm.org/10.1145/1806596.1806631},
  tags = {object-oriented programming, program analysis, functional programming, analysis, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/MightSH10},
  cites = {0},
  citedby = {0},
  pages = {305-315},
  booktitle = {Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010},
  editor = {Benjamin G. Zorn and Alexander Aiken},
  publisher = {ACM},
  isbn = {978-1-4503-0019-3},
}

@inproceedings{TilevichS05,
  title = {Binary refactoring: improving code behind the scenes},
  author = {Eli Tilevich and Yannis Smaragdakis},
  year = {2005},
  doi = {10.1145/1062455.1062511},
  url = {http://doi.acm.org/10.1145/1062455.1062511},
  tags = {refactoring},
  researchr = {https://researchr.org/publication/TilevichS05},
  cites = {0},
  citedby = {0},
  pages = {264-273},
  booktitle = {27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA},
  editor = {Gruia-Catalin Roman and William G. Griswold and Bashar Nuseibeh},
  publisher = {ACM},
}

@inproceedings{ReichenbachISAG10,
  title = {What can the GC compute efficiently?: a language for heap assertions at GC time},
  author = {Christoph Reichenbach and Neil Immerman and Yannis Smaragdakis and Edward Aftandilian and Samuel Z. Guyer},
  year = {2010},
  doi = {10.1145/1869459.1869482},
  url = {http://doi.acm.org/10.1145/1869459.1869482},
  researchr = {https://researchr.org/publication/ReichenbachISAG10},
  cites = {0},
  citedby = {0},
  pages = {256-269},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}

@inproceedings{HuangZS07,
  title = {cJ: enhancing java with safe type conditions},
  author = {Shan Shan Huang and David Zook and Yannis Smaragdakis},
  year = {2007},
  doi = {10.1145/1218563.1218584},
  url = {http://doi.acm.org/10.1145/1218563.1218584},
  tags = {Java, Variability-Aware Analysis, analysis, context-aware},
  researchr = {https://researchr.org/publication/HuangZS07},
  cites = {0},
  citedby = {1},
  pages = {185-198},
  booktitle = {Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007},
  editor = {Brian M. Barry and Oege de Moor},
  volume = {208},
  series = {ACM International Conference Proceeding Series},
  publisher = {ACM},
  isbn = {1-59593-615-7},
}

@article{KaplanSW03,
  title = {Flexible reference trace reduction for VM simulations},
  author = {Scott F. Kaplan and Yannis Smaragdakis and Paul R. Wilson},
  year = {2003},
  doi = {10.1145/778553.778554},
  url = {http://doi.acm.org/10.1145/778553.778554},
  researchr = {https://researchr.org/publication/KaplanSW03},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Model. Comput. Simul.},
  volume = {13},
  number = {1},
  pages = {1-38},
}

@article{HuangZookSmaragdakis2011,
  title = {Statically Safe Program Generation with {SafeGen}},
  author = {Shan Shan Huang and David Zook and Yannis Smaragdakis},
  year = {2011},
  month = {May},
  doi = {10.1016/j.scico.2008.09.007},
  url = {http://dx.doi.org/10.1016/j.scico.2008.09.007},
  tags = {programming languages, Java, meta programming, model checking, meta-model, testing, writing, type checking, compiler, programming, Meta-Environment, reflection, systematic-approach, meta-objects},
  researchr = {https://researchr.org/publication/HuangZookSmaragdakis2011},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {76},
  number = {5},
  pages = {376-391},
}

@article{SmaragdakisB00-0,
  title = {Application Generators},
  author = {Yannis Smaragdakis and Don S. Batory},
  year = {2000},
  note = {J.G. Webster (ed.), John Wiley and Sons},
  researchr = {https://researchr.org/publication/SmaragdakisB00-0},
  cites = {0},
  citedby = {0},
  journal = {Encyclopedia of Electrical and Electronics Engineering},
}

@inproceedings{SmaragdakisKBY07,
  title = {Transactions with isolation and cooperation},
  author = {Yannis Smaragdakis and Anthony Kay and Reimer Behrends and Michal Young},
  year = {2007},
  doi = {10.1145/1297027.1297042},
  url = {http://doi.acm.org/10.1145/1297027.1297042},
  researchr = {https://researchr.org/publication/SmaragdakisKBY07},
  cites = {0},
  citedby = {0},
  pages = {191-210},
  booktitle = {Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-786-5},
}

@inproceedings{Smaragdakis04:1,
  title = {General adaptive replacement policies},
  author = {Yannis Smaragdakis},
  year = {2004},
  doi = {10.1145/1029873.1029887},
  url = {http://doi.acm.org/10.1145/1029873.1029887},
  researchr = {https://researchr.org/publication/Smaragdakis04%3A1},
  cites = {0},
  citedby = {0},
  pages = {108-119},
  booktitle = {Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004},
  editor = {David F. Bacon and Amer Diwan},
  publisher = {ACM},
  isbn = {1-58113-945-4},
}

@inproceedings{SmaragdakisB99,
  title = {Scoping Constructs for Software Generators},
  author = {Yannis Smaragdakis and Don S. Batory},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1799/17990065.htm},
  researchr = {https://researchr.org/publication/SmaragdakisB99},
  cites = {0},
  citedby = {0},
  pages = {65-78},
  booktitle = {Generative and Component-Based Software Engineering, First International Symposium, GCSE 99, Erfurt, Germany, September 28-30, 1999, Revised Papers},
  editor = {Krzysztof Czarnecki and Ulrich W. Eisenecker},
  volume = {1799},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41172-0},
}

@article{CsallnerSX08,
  title = {DSD-Crasher: A hybrid analysis tool for bug finding},
  author = {Christoph Csallner and Yannis Smaragdakis and Tao Xie},
  year = {2008},
  doi = {10.1145/1348250.1348254},
  url = {http://doi.acm.org/10.1145/1348250.1348254},
  tags = {analysis},
  researchr = {https://researchr.org/publication/CsallnerSX08},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Software Engineering Methodology},
  volume = {17},
  number = {2},
}

@inproceedings{SmaragdakisKBY08,
  title = {General and efficient locking without blocking},
  author = {Yannis Smaragdakis and Anthony Kay and Reimer Behrends and Michal Young},
  year = {2008},
  doi = {10.1145/1353522.1353524},
  url = {http://doi.acm.org/10.1145/1353522.1353524},
  researchr = {https://researchr.org/publication/SmaragdakisKBY08},
  cites = {0},
  citedby = {0},
  pages = {1-5},
  booktitle = {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), Seattle, Wa},
  editor = {Emery D. Berger and Brad Chen},
  publisher = {ACM},
  isbn = {978-1-60558-049-4},
}

@inproceedings{Smaragdakis03,
  title = {A Personal Outlook on Generator Research (A Position Paper)},
  author = {Yannis Smaragdakis},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=92},
  researchr = {https://researchr.org/publication/Smaragdakis03},
  cites = {0},
  citedby = {0},
  pages = {92-106},
  booktitle = {Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers},
  editor = {Christian Lengauer and Don S. Batory and Charles Consel and Martin Odersky},
  volume = {3016},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22119-0},
}

@inproceedings{SmaragdakisB98,
  title = {Implementing Layered Designs with Mixin Layers},
  author = {Yannis Smaragdakis and Don S. Batory},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1445/14450550.htm},
  researchr = {https://researchr.org/publication/SmaragdakisB98},
  cites = {0},
  citedby = {0},
  pages = {550-570},
  booktitle = {ECCOP 98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings},
  editor = {Eric Jul},
  volume = {1445},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64737-6},
}

@inproceedings{DavisSS02,
  title = {Multiparadigm Programming with Object-Oriented Languages},
  author = {Kei Davis and Yannis Smaragdakis and Jörg Striegnitz},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2548/25480154.htm},
  tags = {programming languages, object-oriented programming, meta programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/DavisSS02},
  cites = {0},
  citedby = {0},
  pages = {154-159},
  booktitle = {Object-Oriented Technology, ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings},
  editor = {Juan Hernández Núñez and Ana M. D. Moreira},
  volume = {2548},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00233-2},
}

@inproceedings{McNamaraS00,
  title = {Functional programming in C++},
  author = {Brian McNamara and Yannis Smaragdakis},
  year = {2000},
  doi = {10.1145/351240.351251},
  url = {http://doi.acm.org/10.1145/351240.351251},
  tags = {functional programming, C++, programming},
  researchr = {https://researchr.org/publication/McNamaraS00},
  cites = {0},
  citedby = {0},
  pages = {118-129},
  booktitle = {ICFP},
}

@inproceedings{TilevichS02,
  title = {J-Orchestra: Automatic Java Application Partitioning},
  author = {Eli Tilevich and Yannis Smaragdakis},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2374/23740178.htm},
  tags = {Java, partitioning},
  researchr = {https://researchr.org/publication/TilevichS02},
  cites = {0},
  citedby = {0},
  pages = {178-204},
  booktitle = {ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings},
  editor = {Boris Magnusson},
  volume = {2374},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43759-2},
}

@article{CsallnerS04,
  title = {JCrasher: an automatic robustness tester for Java},
  author = {Christoph Csallner and Yannis Smaragdakis},
  year = {2004},
  doi = {10.1002/spe.602},
  url = {http://dx.doi.org/10.1002/spe.602},
  tags = {Java},
  researchr = {https://researchr.org/publication/CsallnerS04},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {34},
  number = {11},
  pages = {1025-1050},
}

@article{TilevichS08,
  title = {NRMI: Natural and Efficient Middleware},
  author = {Eli Tilevich and Yannis Smaragdakis},
  year = {2008},
  doi = {10.1109/TPDS.2007.70717},
  url = {http://doi.ieeecomputersociety.org/10.1109/TPDS.2007.70717},
  researchr = {https://researchr.org/publication/TilevichS08},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Parallel Distrib. Syst.},
  volume = {19},
  number = {2},
  pages = {174-187},
}

@inproceedings{SmaragdakisB00,
  title = {Mixin-Based Programming in C++},
  author = {Yannis Smaragdakis and Don S. Batory},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/2177/21770163.htm},
  tags = {rule-based, C++, programming},
  researchr = {https://researchr.org/publication/SmaragdakisB00},
  cites = {0},
  citedby = {0},
  pages = {163-177},
  booktitle = {Generative and Component-Based Software Engineering, Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000, Revised Papers},
  editor = {Gregory Butler and Stan Jarzabek},
  volume = {2177},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42578-0},
}

@inproceedings{Smaragdakis04:0,
  title = {Invited talk: program generators and the tools to make them},
  author = {Yannis Smaragdakis},
  year = {2004},
  doi = {10.1145/1013963.1013968},
  url = {http://doi.acm.org/10.1145/1013963.1013968},
  researchr = {https://researchr.org/publication/Smaragdakis04%3A0},
  cites = {0},
  citedby = {0},
  pages = {7-8},
  booktitle = {Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy},
  editor = {Eugenio Moggi and David Scott Warren},
  publisher = {ACM},
  isbn = {1-58113-819-9},
}

@article{McNamaraS01,
  title = {Functional Programming in C++ using the FC++ Library},
  author = {Brian McNamara and Yannis Smaragdakis},
  year = {2001},
  tags = {functional programming, C++, programming},
  researchr = {https://researchr.org/publication/McNamaraS01},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {36},
  number = {4},
  pages = {25-30},
}

@inproceedings{SubramanianSL06,
  title = {Adaptive Caches: Effective Shaping of Cache Behavior to Workloads},
  author = {Ranjith Subramanian and Yannis Smaragdakis and Gabriel H. Loh},
  year = {2006},
  doi = {10.1109/MICRO.2006.7},
  url = {http://doi.ieeecomputersociety.org/10.1109/MICRO.2006.7},
  tags = {caching},
  researchr = {https://researchr.org/publication/SubramanianSL06},
  cites = {0},
  citedby = {0},
  pages = {385-396},
  booktitle = {39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 9-13 December 2006,  Orlando, Florida, USA},
  publisher = {IEEE Computer Society},
}

@inproceedings{HuangZS05,
  title = {Statically Safe Program Generation with SafeGen},
  author = {Shan Shan Huang and David Zook and Yannis Smaragdakis},
  year = {2005},
  doi = {10.1007/11561347_21},
  url = {http://dx.doi.org/10.1007/11561347_21},
  tags = {program analysis, Variability-Aware Analysis, analysis, static analysis, context-aware},
  researchr = {https://researchr.org/publication/HuangZS05},
  cites = {0},
  citedby = {0},
  pages = {309-326},
  booktitle = {Generative Programming and Component Engineering, 4th International Conference, GPCE 2005},
  editor = {Robert Glück and Michael R. Lowry},
  volume = {3676},
  series = {Lecture Notes in Computer Science},
  address = {Tallinn, Estonia},
  publisher = {Springer},
  isbn = {3-540-29138-5},
}

@inproceedings{TilevichUSF03,
  title = {Aspectizing Server-Side Distribution},
  author = {Eli Tilevich and Stephan Urbanski and Yannis Smaragdakis and Marc Fleury},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350130abs.htm},
  researchr = {https://researchr.org/publication/TilevichUSF03},
  cites = {0},
  citedby = {0},
  pages = {130-141},
  booktitle = {18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2035-9},
}

@article{SmaragdakisCS09,
  title = {Scalable satisfiability checking and test data generation from modeling diagrams},
  author = {Yannis Smaragdakis and Christoph Csallner and Ranjith Subramanian},
  year = {2009},
  doi = {10.1007/s10515-008-0044-6},
  url = {http://dx.doi.org/10.1007/s10515-008-0044-6},
  tags = {model checking, meta-model, modeling, testing, data-flow, Meta-Environment},
  researchr = {https://researchr.org/publication/SmaragdakisCS09},
  cites = {0},
  citedby = {0},
  journal = {Automated Software Engineering},
  volume = {16},
  number = {1},
  pages = {73-99},
}

@inproceedings{Batory1998,
  title = { JTS: A tool suite for building genvoca generators},
  author = {Don S. Batory and  B. Lofaso and Yannis Smaragdakis},
  year = {1998},
  researchr = {https://researchr.org/publication/Batory1998},
  cites = {0},
  citedby = {1},
}

@article{SmaragdakisKW03,
  title = {The EELRU adaptive replacement algorithm},
  author = {Yannis Smaragdakis and Scott F. Kaplan and Paul R. Wilson},
  year = {2003},
  doi = {10.1016/S0166-5316(02)00226-2},
  url = {http://dx.doi.org/10.1016/S0166-5316(02)00226-2},
  researchr = {https://researchr.org/publication/SmaragdakisKW03},
  cites = {0},
  citedby = {0},
  journal = {Perform. Eval.},
  volume = {53},
  number = {2},
  pages = {93-123},
}

@inproceedings{SmaragdakisW00,
  title = {Performing Replacement in Modem Pools},
  author = {Yannis Smaragdakis and Paul R. Wilson},
  year = {2000},
  url = {http://www.usenix.org/publications/library/proceedings/usenix2000/general/smaragdakis.html},
  researchr = {https://researchr.org/publication/SmaragdakisW00},
  cites = {0},
  citedby = {0},
  pages = {277-292},
  booktitle = {Proceedings of the General Track: 2000 USENIX Annual Technical Conference, June 18-23, 2000, San Diego, CA, USA},
  publisher = {USENIX},
  isbn = {1-880446-22-7},
}

@inproceedings{Batory99,
  title = {Building Product-Lines with Mixin-Layers},
  author = {Yannis Smaragdakis and Don S. Batory},
  year = {1999},
  researchr = {https://researchr.org/publication/Batory99},
  cites = {0},
  citedby = {0},
  pages = {197},
  booktitle = {Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  editor = {Ana M. D. Moreira and Serge Demeyer},
  volume = {1743},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66954-X},
}

@inproceedings{WilsonKS99,
  title = {The Case for Compressed Caching in Virtual Memory Systems},
  author = {Paul R. Wilson and Scott F. Kaplan and Yannis Smaragdakis},
  year = {1999},
  url = {http://www.usenix.org/events/usenix99/full_papers/wilson/wilson.pdf},
  tags = {caching},
  researchr = {https://researchr.org/publication/WilsonKS99},
  cites = {0},
  citedby = {0},
  pages = {101-116},
  booktitle = {Proceedings of the 1999 USENIX Annual Technical Conference, June 6-11, 1999, Monterey, California, USA},
  publisher = {USENIX},
  isbn = {1-880446-33-2},
}

@inproceedings{SmaragdakisB97,
  title = {DiSTiL: A Transformation Library for Data Structures},
  author = {Yannis Smaragdakis and Don S. Batory},
  year = {1997},
  url = {http://www.usenix.org/publications/library/proceedings/dsl97/smaragdakis.html},
  tags = {data-flow, DSL, transformation},
  researchr = {https://researchr.org/publication/SmaragdakisB97},
  cites = {0},
  citedby = {1},
  booktitle = {Proceedings of the Conference on Domain-Specific Languages, October 15-17, 1997, Santa Barbara, California, USA},
  publisher = {USENIX},
}

@inproceedings{TilevichSH05,
  title = {Appletizing: Running Legacy Java Code Remotely from a Web Browser},
  author = {Eli Tilevich and Yannis Smaragdakis and Marcus Handte},
  year = {2005},
  doi = {10.1109/ICSM.2005.25},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSM.2005.25},
  tags = {Java},
  researchr = {https://researchr.org/publication/TilevichSH05},
  cites = {0},
  citedby = {0},
  pages = {91-100},
  booktitle = {21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2368-4},
}

@inproceedings{DavisSS01,
  title = {Multiparadigm Programming with OO Languages},
  author = {Kei Davis and Yannis Smaragdakis and Jörg Striegnitz},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2323/23230131.htm},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/DavisSS01},
  cites = {0},
  citedby = {0},
  pages = {131-134},
  booktitle = {Object-Oriented Technology ECOOP 2001 Workshop Reader, ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001, Proceedings},
  editor = {Ákos Frohner},
  volume = {2323},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43675-8},
}

@inproceedings{Smaragdakis98,
  title = {Implementing Layered Object-Oriented Designs},
  author = {Yannis Smaragdakis},
  year = {1998},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Smaragdakis98},
  cites = {0},
  citedby = {0},
  pages = {34-35},
  booktitle = {Object-Oriented Technology, ECOOP 98 Workshop Reader, ECOOP 98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
  editor = {Serge Demeyer and Jan Bosch},
  volume = {1543},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65460-7},
}

@article{HuangZS08,
  title = {Domain-specific languages and program generation with {Meta-AspectJ}},
  author = {Shan Shan Huang and David Zook and Yannis Smaragdakis},
  year = {2008},
  doi = {10.1145/1416563.1416566},
  url = {http://doi.acm.org/10.1145/1416563.1416566},
  tags = {generative programming, programming languages, AspectJ, object-oriented programming, type inference, rule-based, Java, meta programming, meta-model, little language, code generation, aspect oriented programming, programming, subject-oriented programming, context-aware, Meta-Environment, parsing, systematic-approach, feature-oriented programming, meta-objects, domain-specific language},
  researchr = {https://researchr.org/publication/HuangZS08},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Software Engineering Methodology},
  volume = {18},
  number = {2},
}

@inproceedings{HuangS07,
  title = {Building Scalable Libraries with cJ},
  author = {Shan Shan Huang and Yannis Smaragdakis},
  year = {2007},
  doi = {10.1109/ICSECOMPANION.2007.26},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.26},
  researchr = {https://researchr.org/publication/HuangS07},
  cites = {0},
  citedby = {0},
  pages = {45-46},
  booktitle = {29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume},
  publisher = {IEEE Computer Society},
}

@inproceedings{Smaragdakis04,
  title = {Program Generators and the Tools to Make Them},
  author = {Yannis Smaragdakis},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3148&spage=19},
  researchr = {https://researchr.org/publication/Smaragdakis04},
  cites = {0},
  citedby = {0},
  pages = {19-20},
  booktitle = {Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings},
  editor = {Roberto Giacobazzi},
  volume = {3148},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22791-1},
}

@inproceedings{Smaragdakis02,
  title = {Layered Development with (Unix) Dynamic Libraries},
  author = {Yannis Smaragdakis},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2319/23190033.htm},
  researchr = {https://researchr.org/publication/Smaragdakis02},
  cites = {0},
  citedby = {0},
  pages = {33-45},
  booktitle = {Software Reuse: Methods, Techniques, and Tools, 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002, Proceedings},
  editor = {Cristina Gacek},
  volume = {2319},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43483-6},
}

@inproceedings{HuangZS07:0,
  title = {Morphing: Safely Shaping a Class in the Image of Others},
  author = {Shan Shan Huang and David Zook and Yannis Smaragdakis},
  year = {2007},
  doi = {10.1007/978-3-540-73589-2_19},
  url = {http://dx.doi.org/10.1007/978-3-540-73589-2_19},
  researchr = {https://researchr.org/publication/HuangZS07%3A0},
  cites = {0},
  citedby = {1},
  pages = {399-424},
  booktitle = {ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings},
  editor = {Erik Ernst},
  volume = {4609},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73588-5},
}

@inproceedings{HuangS07:0,
  title = {Morphing Software for Easier Evolution},
  author = {Shan Shan Huang and Yannis Smaragdakis},
  year = {2007},
  tags = {software evolution},
  researchr = {https://researchr.org/publication/HuangS07%3A0},
  cites = {0},
  citedby = {0},
  pages = {71-80},
  booktitle = {RAM-SE 07-ECOOP 07 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, Berlin, Germany, July 31, 2007},
  editor = {Walter Cazzola and Shigeru Chiba and Yvonne Coady and Stéphane Ducasse and Günter Kniesel and Manuel Oriol and Gunter Saake},
  publisher = {Fakultät für Informatik, Universität Magdeburg},
}

@inproceedings{CsallnerTS08,
  title = {DySy: dynamic symbolic execution for invariant inference},
  author = {Christoph Csallner and Nikolai Tillmann and Yannis Smaragdakis},
  year = {2008},
  doi = {10.1145/1368088.1368127},
  url = {http://doi.acm.org/10.1145/1368088.1368127},
  researchr = {https://researchr.org/publication/CsallnerTS08},
  cites = {0},
  citedby = {0},
  pages = {281-290},
  booktitle = {30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008},
  editor = {Wilhelm Schäfer and Matthew B. Dwyer and Volker Gruhn},
  publisher = {ACM},
  isbn = {978-1-60558-079-1},
}

@inproceedings{SmaragdakisKW99,
  title = {EELRU: Simple and Effective Adaptive Page Replacement},
  author = {Yannis Smaragdakis and Scott F. Kaplan and Paul R. Wilson},
  year = {1999},
  doi = {10.1145/301453.301486},
  url = {http://doi.acm.org/10.1145/301453.301486},
  researchr = {https://researchr.org/publication/SmaragdakisKW99},
  cites = {0},
  citedby = {0},
  pages = {122-133},
  booktitle = {SIGMETRICS},
}

@inproceedings{TilevichS03,
  title = {NRMI: Natural and Efficient Middleware},
  author = {Eli Tilevich and Yannis Smaragdakis},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/icdcs/2003/1920/00/19200252abs.htm},
  researchr = {https://researchr.org/publication/TilevichS03},
  cites = {0},
  citedby = {0},
  pages = {252},
  booktitle = {23rd International Conference on Distributed Computing Systems (ICDCS 2003), 19-22 May 2003, Providence, RI, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1920-2},
}

@inproceedings{SmaragdakisC07,
  title = {Combining Static and Dynamic Reasoning for Bug Detection},
  author = {Yannis Smaragdakis and Christoph Csallner},
  year = {2007},
  doi = {10.1007/978-3-540-73770-4_1},
  url = {http://dx.doi.org/10.1007/978-3-540-73770-4_1},
  tags = {bug detection},
  researchr = {https://researchr.org/publication/SmaragdakisC07},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers},
  editor = {Yuri Gurevich and Bertrand Meyer},
  volume = {4454},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73769-8},
}
@proceedings{gpce:2003,
  title = {Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings},
  year = {2003},
  tags = {generative programming, programming},
  researchr = {https://researchr.org/publication/gpce%3A2003},
  cites = {0},
  citedby = {0},
  booktitle = {Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings},
  conference = {GPCE},
  editor = {Frank Pfenning and Yannis Smaragdakis},
  volume = {2830},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20102-5},
}

@proceedings{gpce:2008,
  title = {Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings},
  year = {2008},
  tags = {generative programming, programming},
  researchr = {https://researchr.org/publication/gpce%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings},
  conference = {GPCE},
  editor = {Yannis Smaragdakis and Jeremy G. Siek},
  publisher = {ACM},
  isbn = {978-1-60558-267-2},
}