@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 = {OOPSLA},
}

@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 = {PEPM},
}

@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 = {GPCE},
}

@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 = {wicsa},
}

@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 = {TOSEM},
  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 = {SPLC},
}

@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 = {ICSE},
}

@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 = {ISSTA},
}

@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 = {SPE},
  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 = {PLDI},
}

@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 = {TOSEM},
  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 = {IEEEpact},
}

@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 = {ICSE},
}

@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 = {jpdc},
  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 = {ICSE},
}

@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 = {JFP},
  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 = {GPCE},
}

@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 = {ASE},
}

@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},
}

@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 = {ISSTA},
}

@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 = {spin},
}

@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 = {PLDI},
}

@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 = {ICSE},
}

@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 = {OOPSLA},
}

@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 = {AOSD},
}

@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 = {tomacs},
  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 = {SCP},
  volume = {76},
  number = {5},
  pages = {376-391},
}

@article{SmaragdakisB00-0,
  title = {Application Generators},
  author = {Yannis Smaragdakis and Don S. Batory},
  year = {2000},
  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 = {OOPSLA},
}

@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 = {iwmm},
}

@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 = {gcse},
}

@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 = {TOSEM},
  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 = {asplos},
}

@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 = {Dagstuhl},
}

@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 = {ECOOP},
}

@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 = {ECOOPW},
}

@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},
}

@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 = {SPE},
  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 = {tpds},
  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 = {gcse},
}

@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 = {ppdp},
}

@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},
  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 = {micro},
}

@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 = {GPCE},
}

@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 = {ASE},
}

@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 = {ASE},
  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 = {pe},
  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 = {usenix},
}

@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 = {ECOOPW},
}

@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 = {usenix},
}

@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 = {DSL},
}

@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 = {ICSM},
}

@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 = {ECOOPW},
}

@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 = {ECOOPW},
}

@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 = {TOSEM},
  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 = {ICSE},
}

@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 = {SAS},
}

@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 = {icsr},
}

@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},
}

@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 = {ECOOPW},
}

@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 = {ICSE},
}

@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 = {icdcs},
}

@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 = {tap},
}
@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},
}