The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yannis Smaragdakis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Shan Shan Huang, David Zook, Yannis Smaragdakis
    cJ: enhancing java with safe type conditions. [Citation Graph (0, 0)][DBLP]
    AOSD, 2007, pp:185-198 [Conf]
  2. Yannis Smaragdakis
    A Personal Outlook on Generator Research (A Position Paper). [Citation Graph (0, 0)][DBLP]
    Domain-Specific Program Generation, 2003, pp:92-106 [Conf]
  3. Yannis Smaragdakis, Don S. Batory
    DiSTiL: A Transformation Library for Data Structures. [Citation Graph (0, 0)][DBLP]
    DSL, 1997, pp:- [Conf]
  4. Yannis Smaragdakis, Don S. Batory
    Implementing Layered Designs with Mixin Layers. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1998, pp:550-570 [Conf]
  5. Eli Tilevich, Yannis Smaragdakis
    J-Orchestra: Automatic Java Application Partitioning. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:178-204 [Conf]
  6. Yannis Smaragdakis, Don S. Batory
    Building Product-Lines with Mixin-Layers. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:197- [Conf]
  7. Kei Davis, Yannis Smaragdakis, Jörg Striegnitz
    Multiparadigm Programming with OO Languages. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2001, pp:131-134 [Conf]
  8. Kei Davis, Yannis Smaragdakis, Jörg Striegnitz
    Multiparadigm Programming with Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2002, pp:154-159 [Conf]
  9. Yannis Smaragdakis
    Implementing Layered Object-Oriented Designs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:34-35 [Conf]
  10. Yannis Smaragdakis, Don S. Batory
    Mixin-Based Programming in C++. [Citation Graph (0, 0)][DBLP]
    GCSE, 2000, pp:163-177 [Conf]
  11. Yannis Smaragdakis, Don S. Batory
    Scoping Constructs for Software Generators. [Citation Graph (0, 0)][DBLP]
    GCSE, 1999, pp:65-78 [Conf]
  12. Eli Tilevich, Yannis Smaragdakis
    Transparent program transformationsin the presence of opaque code. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:89-94 [Conf]
  13. Shan Shan Huang, David Zook, Yannis Smaragdakis
    Statically Safe Program Generation with SafeGen. [Citation Graph (0, 0)][DBLP]
    GPCE, 2005, pp:309-326 [Conf]
  14. David Zook, Shan Shan Huang, Yannis Smaragdakis
    Generating AspectJ Programs with Meta-AspectJ. [Citation Graph (0, 0)][DBLP]
    GPCE, 2004, pp:1-18 [Conf]
  15. Eli Tilevich, Yannis Smaragdakis
    NRMI: Natural and Efficient Middleware. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2003, pp:252-0 [Conf]
  16. Brian McNamara, Yannis Smaragdakis
    Functional programming in C++. [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:118-129 [Conf]
  17. Christoph Csallner, Yannis Smaragdakis
    Check 'n' crash: combining static checking and testing. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:422-431 [Conf]
  18. Christoph Csallner, Yannis Smaragdakis
    Dynamically discovering likely interface invariants. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:861-864 [Conf]
  19. Shan Shan Huang, Yannis Smaragdakis
    Easy language extension with meta-aspectJ. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:865-868 [Conf]
  20. Eli Tilevich, Yannis Smaragdakis
    Binary refactoring: improving code behind the scenes. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:264-273 [Conf]
  21. Eli Tilevich, Yannis Smaragdakis, Marcus Handte
    Appletizing: Running Legacy Java Code Remotely from a Web Browser. [Citation Graph (0, 0)][DBLP]
    ICSM, 2005, pp:91-100 [Conf]
  22. Yannis Smaragdakis
    Layered Development with (Unix) Dynamic Libraries. [Citation Graph (0, 0)][DBLP]
    ICSR, 2002, pp:33-45 [Conf]
  23. Christoph Csallner, Yannis Smaragdakis
    DSD-Crasher: a hybrid analysis tool for bug finding. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:245-254 [Conf]
  24. Yannis Smaragdakis
    General adaptive replacement policies. [Citation Graph (0, 0)][DBLP]
    ISMM, 2004, pp:108-119 [Conf]
  25. Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc Fleury
    Aspectizing Server-Side Distribution. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:130-141 [Conf]
  26. Ranjith Subramanian, Yannis Smaragdakis, Gabriel H. Loh
    Adaptive Caches: Effective Shaping of Cache Behavior to Workloads. [Citation Graph (0, 0)][DBLP]
    MICRO, 2006, pp:385-396 [Conf]
  27. Eli Tilevich, Yannis Smaragdakis
    Portable and Efficient Distributed Threads for Java. [Citation Graph (0, 0)][DBLP]
    Middleware, 2004, pp:478-492 [Conf]
  28. Yannis Smaragdakis, Shan Shan Huang, David Zook
    Program generators and the tools to make them. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:92-100 [Conf]
  29. Yannis Smaragdakis
    Invited talk: program generators and the tools to make them. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:7-8 [Conf]
  30. Yannis Smaragdakis
    Program Generators and the Tools to Make Them. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:19-20 [Conf]
  31. Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson
    Trace Reduction for Virtual Memory Simulations. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1999, pp:47-58 [Conf]
  32. Yannis Smaragdakis, Scott F. Kaplan, Paul R. Wilson
    EELRU: Simple and Effective Adaptive Page Replacement. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1999, pp:122-133 [Conf]
  33. Don S. Batory, Richard Cardone, Yannis Smaragdakis
    Object-oriented frameworks and product lines. [Citation Graph (0, 0)][DBLP]
    SPLC, 2000, pp:227-248 [Conf]
  34. Yannis Smaragdakis, Paul R. Wilson
    Performing Replacement in Modem Pools. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, General Track, 2000, pp:277-292 [Conf]
  35. Paul R. Wilson, Scott F. Kaplan, Yannis Smaragdakis
    The Case for Compressed Caching in Virtual Memory Systems. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, General Track, 1999, pp:101-116 [Conf]
  36. Don S. Batory, Yannis Smaragdakis, Lou Coglianese
    Architectural Styles as Adaptors. [Citation Graph (0, 0)][DBLP]
    WICSA, 1999, pp:203-224 [Conf]
  37. Brian McNamara, Yannis Smaragdakis
    Functional programming with the FC++ library. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:4, pp:429-472 [Journal]
  38. Yannis Smaragdakis, Scott F. Kaplan, Paul R. Wilson
    The EELRU adaptive replacement algorithm. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2003, v:53, n:2, pp:93-123 [Journal]
  39. Brian McNamara, Yannis Smaragdakis
    Functional Programming in C++ using the FC++ Library. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2001, v:36, n:4, pp:25-30 [Journal]
  40. Christoph Csallner, Yannis Smaragdakis
    JCrasher: an automatic robustness tester for Java. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2004, v:34, n:11, pp:1025-1050 [Journal]
  41. Yannis Smaragdakis, Brian McNamara
    FC++: Functional tools for object-oriented tasks. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2002, v:32, n:10, pp:1015-1033 [Journal]
  42. Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson
    Flexible reference trace reduction for VM simulations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Model. Comput. Simul., 2003, v:13, n:1, pp:1-38 [Journal]
  43. Yannis Smaragdakis, Don S. Batory
    Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2002, v:11, n:2, pp:215-255 [Journal]
  44. Shan Shan Huang, David Zook, Yannis Smaragdakis
    Morphing: Safely Shaping a Class in the Image of Others. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:399-424 [Conf]
  45. Shan Shan Huang, Yannis Smaragdakis
    Building Scalable Libraries with cJ. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:45-46 [Conf]
  46. Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
    Transactions with isolation and cooperation. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:191-210 [Conf]
  47. Yannis Smaragdakis, Christoph Csallner
    Combining Static and Dynamic Reasoning for Bug Detection. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:1-16 [Conf]

  48. Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency. [Citation Graph (, )][DBLP]


  49. General and efficient locking without blocking. [Citation Graph (, )][DBLP]


  50. Morphing Software for Easier Evolution. [Citation Graph (, )][DBLP]


  51. DySy: dynamic symbolic execution for invariant inference. [Citation Graph (, )][DBLP]


  52. Exception analysis and points-to analysis: better together. [Citation Graph (, )][DBLP]


  53. Scalable automatic test data generation from modeling diagrams. [Citation Graph (, )][DBLP]


  54. Strictly declarative specification of sophisticated points-to analyses. [Citation Graph (, )][DBLP]


  55. Expressive and safe static reflection with MorphJ. [Citation Graph (, )][DBLP]


  56. Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. [Citation Graph (, )][DBLP]


  57. Combining Static and Dynamic Reasoning for the Discovery of Program Properties. [Citation Graph (, )][DBLP]


  58. Scalable satisfiability checking and test data generation from modeling diagrams. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002