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