Search the dblp DataBase
Yannis Smaragdakis :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] Yannis Smaragdakis , Don S. Batory DiSTiL: A Transformation Library for Data Structures. [Citation Graph (0, 0)][DBLP ] DSL, 1997, pp:- [Conf ] Yannis Smaragdakis , Don S. Batory Implementing Layered Designs with Mixin Layers. [Citation Graph (0, 0)][DBLP ] ECOOP, 1998, pp:550-570 [Conf ] Eli Tilevich , Yannis Smaragdakis J-Orchestra: Automatic Java Application Partitioning. [Citation Graph (0, 0)][DBLP ] ECOOP, 2002, pp:178-204 [Conf ] Yannis Smaragdakis , Don S. Batory Building Product-Lines with Mixin-Layers. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1999, pp:197- [Conf ] Kei Davis , Yannis Smaragdakis , Jörg Striegnitz Multiparadigm Programming with OO Languages. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 2001, pp:131-134 [Conf ] 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 ] Yannis Smaragdakis Implementing Layered Object-Oriented Designs. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1998, pp:34-35 [Conf ] Yannis Smaragdakis , Don S. Batory Mixin-Based Programming in C++. [Citation Graph (0, 0)][DBLP ] GCSE, 2000, pp:163-177 [Conf ] Yannis Smaragdakis , Don S. Batory Scoping Constructs for Software Generators. [Citation Graph (0, 0)][DBLP ] GCSE, 1999, pp:65-78 [Conf ] Eli Tilevich , Yannis Smaragdakis Transparent program transformationsin the presence of opaque code. [Citation Graph (0, 0)][DBLP ] GPCE, 2006, pp:89-94 [Conf ] Shan Shan Huang , David Zook , Yannis Smaragdakis Statically Safe Program Generation with SafeGen. [Citation Graph (0, 0)][DBLP ] GPCE, 2005, pp:309-326 [Conf ] David Zook , Shan Shan Huang , Yannis Smaragdakis Generating AspectJ Programs with Meta-AspectJ. [Citation Graph (0, 0)][DBLP ] GPCE, 2004, pp:1-18 [Conf ] Eli Tilevich , Yannis Smaragdakis NRMI: Natural and Efficient Middleware. [Citation Graph (0, 0)][DBLP ] ICDCS, 2003, pp:252-0 [Conf ] Brian McNamara , Yannis Smaragdakis Functional programming in C++. [Citation Graph (0, 0)][DBLP ] ICFP, 2000, pp:118-129 [Conf ] Christoph Csallner , Yannis Smaragdakis Check 'n' crash: combining static checking and testing. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:422-431 [Conf ] Christoph Csallner , Yannis Smaragdakis Dynamically discovering likely interface invariants. [Citation Graph (0, 0)][DBLP ] ICSE, 2006, pp:861-864 [Conf ] Shan Shan Huang , Yannis Smaragdakis Easy language extension with meta-aspectJ. [Citation Graph (0, 0)][DBLP ] ICSE, 2006, pp:865-868 [Conf ] Eli Tilevich , Yannis Smaragdakis Binary refactoring: improving code behind the scenes. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:264-273 [Conf ] 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 ] Yannis Smaragdakis Layered Development with (Unix) Dynamic Libraries. [Citation Graph (0, 0)][DBLP ] ICSR, 2002, pp:33-45 [Conf ] Christoph Csallner , Yannis Smaragdakis DSD-Crasher: a hybrid analysis tool for bug finding. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:245-254 [Conf ] Yannis Smaragdakis General adaptive replacement policies. [Citation Graph (0, 0)][DBLP ] ISMM, 2004, pp:108-119 [Conf ] Eli Tilevich , Stephan Urbanski , Yannis Smaragdakis , Marc Fleury Aspectizing Server-Side Distribution. [Citation Graph (0, 0)][DBLP ] ASE, 2003, pp:130-141 [Conf ] 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 ] Eli Tilevich , Yannis Smaragdakis Portable and Efficient Distributed Threads for Java. [Citation Graph (0, 0)][DBLP ] Middleware, 2004, pp:478-492 [Conf ] 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 ] Yannis Smaragdakis Invited talk: program generators and the tools to make them. [Citation Graph (0, 0)][DBLP ] PPDP, 2004, pp:7-8 [Conf ] Yannis Smaragdakis Program Generators and the Tools to Make Them. [Citation Graph (0, 0)][DBLP ] SAS, 2004, pp:19-20 [Conf ] 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 ] 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 ] Don S. Batory , Richard Cardone , Yannis Smaragdakis Object-oriented frameworks and product lines. [Citation Graph (0, 0)][DBLP ] SPLC, 2000, pp:227-248 [Conf ] 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 ] 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 ] Don S. Batory , Yannis Smaragdakis , Lou Coglianese Architectural Styles as Adaptors. [Citation Graph (0, 0)][DBLP ] WICSA, 1999, pp:203-224 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Shan Shan Huang , Yannis Smaragdakis Building Scalable Libraries with cJ. [Citation Graph (0, 0)][DBLP ] ICSE Companion, 2007, pp:45-46 [Conf ] Yannis Smaragdakis , Anthony Kay , Reimer Behrends , Michal Young Transactions with isolation and cooperation. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2007, pp:191-210 [Conf ] Yannis Smaragdakis , Christoph Csallner Combining Static and Dynamic Reasoning for Bug Detection. [Citation Graph (0, 0)][DBLP ] TAP, 2007, pp:1-16 [Conf ] Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency. [Citation Graph (, )][DBLP ] General and efficient locking without blocking. [Citation Graph (, )][DBLP ] Morphing Software for Easier Evolution. [Citation Graph (, )][DBLP ] DySy: dynamic symbolic execution for invariant inference. [Citation Graph (, )][DBLP ] Exception analysis and points-to analysis: better together. [Citation Graph (, )][DBLP ] Scalable automatic test data generation from modeling diagrams. [Citation Graph (, )][DBLP ] Strictly declarative specification of sophisticated points-to analyses. [Citation Graph (, )][DBLP ] Expressive and safe static reflection with MorphJ. [Citation Graph (, )][DBLP ] Resolving and exploiting the k -CFA paradox: illuminating functional vs. object-oriented program analysis. [Citation Graph (, )][DBLP ] Combining Static and Dynamic Reasoning for the Discovery of Program Properties. [Citation Graph (, )][DBLP ] Scalable satisfiability checking and test data generation from modeling diagrams. [Citation Graph (, )][DBLP ] Search in 0.021secs, Finished in 0.024secs