| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan |
Sound predictive race detection in polynomial time.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Statically safe program generation with SafeGen. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostas Saidis, Yannis Smaragdakis, Alex Delis |
DOLAR: virtualizing heterogeneous information spaces to support their expansion. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Shan Huang, Yannis Smaragdakis |
Morphing: Structurally shaping a class by reflecting on others. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Altidor, Shan Shan Huang, Yannis Smaragdakis |
Taming the wildcards: combining definition- and use-site variance. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták |
Pick your contexts well: understanding object-sensitivity. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis |
Adaptive locks: Combining transactions and locks for efficient concurrency. |
J. Parallel Distrib. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might, Yannis Smaragdakis, David Van Horn |
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
k-cfa, m-cfa, object-oriented, static analysis, functional, pointer analysis, control-flow analysis |
| 1 | Yannis Smaragdakis, Martin Bravenboer |
Using Datalog for Fast and Easy Program Analysis. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer |
What can the GC compute efficiently?: a language for heap assertions at GC time. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian |
Scalable satisfiability checking and test data generation from modeling diagrams. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Modeling, Testing, Databases, NP-hardness, Test data generation, ORM, ORM- |
| 1 | Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeff Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic |
An overview of the Oregon programming languages summer school. |
SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Tilevich, Yannis Smaragdakis |
J-Orchestra: Enhancing Java programs with distribution capabilities. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
Java, middleware, distributed computing, Separation of concerns, RMI, bytecode engineering |
| 1 | Martin Bravenboer, Yannis Smaragdakis |
Exception analysis and points-to analysis: better together. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
exception handling, precision, context-sensitive, points-to analysis |
| 1 | Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis |
Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency. |
PACT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Bravenboer, Yannis Smaragdakis |
Strictly declarative specification of sophisticated points-to analyses. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
DOOP, datalog, bdds, points-to analysis, declarative |
| 1 | Eli Tilevich, Yannis Smaragdakis |
NRMI: Natural and Efficient Middleware. |
IEEE Trans. Parallel Distrib. Syst. |
2008 |
DBLP DOI BibTeX RDF |
call-by-copy-restore, Java, Middleware, programming model, RPC |
| 1 | Christoph Csallner, Yannis Smaragdakis, Tao Xie |
DSD-Crasher: A hybrid analysis tool for bug finding. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
usability, static analysis, dynamic analysis, Automatic testing, test case generation, false positives, bug finding, extended static checking, dynamic invariant detection |
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Domain-specific languages and program generation with meta-AspectJ. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
program transformation, program verification, domain-specific languages, program synthesis, language extensions, Metaprogramming |
| 1 | Shan Shan Huang, Yannis Smaragdakis |
Expressive and safe static reflection with MorphJ. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
class morphing, structural abstraction, object-oriented programming, aspect-oriented programming, meta-programming, language extensions |
| 1 | Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young |
General and efficient locking without blocking. |
MSPC |
2008 |
DBLP DOI BibTeX RDF |
adaptive locks, hybrid locks, transactional memory, nested transactions |
| 1 | Yannis Smaragdakis |
Combining Static and Dynamic Reasoning for the Discovery of Program Properties. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Jeremy G. Siek (eds.) |
Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings |
GPCE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis |
DySy: dynamic symbolic execution for invariant inference. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
daikon, dynamic invariant inference, dysy, pex, symbolic reasoning |
| 1 | Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian |
Scalable automatic test data generation from modeling diagrams. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
ORM-modeling, test databases, NP-hardness, ORM |
| 1 | Yannis Smaragdakis, Christoph Csallner |
Combining Static and Dynamic Reasoning for Bug Detection. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
cJ: enhancing java with safe type conditions. |
AOSD |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, meta-programming, language extensions |
| 1 | Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young |
Transactions with isolation and cooperation. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
TIC, open-nesting, transactional memory, nested transactions, punctuation |
| 1 | Shan Shan Huang, Yannis Smaragdakis |
Morphing Software for Easier Evolution. |
RAM-SE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Morphing: Safely Shaping a Class in the Image of Others. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Shan Huang, Yannis Smaragdakis |
Building Scalable Libraries with cJ. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Csallner, Yannis Smaragdakis |
DSD-Crasher: a hybrid analysis tool for bug finding. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
usability, static analysis, dynamic analysis, automatic testing, test case generation, false positives, bug finding, extended static checking, dynamic invariant detection |
| 1 | Ranjith Subramanian, Yannis Smaragdakis, Gabriel H. Loh |
Adaptive Caches: Effective Shaping of Cache Behavior to Workloads. |
MICRO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Tilevich, Yannis Smaragdakis |
Transparent program transformationsin the presence of opaque code. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
program enhancement, aspect-oriented programming, program transformation |
| 1 | Shan Shan Huang, Yannis Smaragdakis |
Easy language extension with meta-aspectJ. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
domain-specific languages, language extensions |
| 1 | Christoph Csallner, Yannis Smaragdakis |
Dynamically discovering likely interface invariants. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
invariant detection, method overriding, interfaces, dynamic analysis |
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Statically Safe Program Generation with SafeGen. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Tilevich, Yannis Smaragdakis, Marcus Handte |
Appletizing: Running Legacy Java Code Remotely from a Web Browser. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Tilevich, Yannis Smaragdakis |
Binary refactoring: improving code behind the scenes. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
optimization, adaptation, refactoring, software evolution, maintenance, bytecode engineering |
| 1 | Christoph Csallner, Yannis Smaragdakis |
Check 'n' crash: combining static checking and testing. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
usability, static analysis, dynamic analysis, automatic testing, test case generation, extended static checking |
| 1 | Christoph Csallner, Yannis Smaragdakis |
JCrasher: an automatic robustness tester for Java. |
Softw., Pract. Exper. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikitas Liogkas, Blair MacIntyre, Elizabeth D. Mynatt, Yannis Smaragdakis, Eli Tilevich, Stephen Voida |
Automatic Partitioning: Prototyping Ubiquitous-Computing Applications. |
IEEE Pervasive Computing |
2004 |
DBLP DOI BibTeX RDF |
distributed systems programming, automatic partitioning, ubiquitous computing |
| 1 | Brian McNamara, Yannis Smaragdakis |
Functional programming with the FC++ library. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Shan Shan Huang, David Zook |
Program generators and the tools to make them. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
safety guarantees, meta-programming, program generators |
| 1 | Yannis Smaragdakis |
General adaptive replacement policies. |
ISMM |
2004 |
DBLP DOI BibTeX RDF |
adaptive, virtual memory, replacement algorithms, LRU |
| 1 | David Zook, Shan Shan Huang, Yannis Smaragdakis |
Generating AspectJ Programs with Meta-AspectJ. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis |
Invited talk: program generators and the tools to make them. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
safety guarantees, meta-programming, program generators |
| 1 | Eli Tilevich, Yannis Smaragdakis |
Portable and Efficient Distributed Threads for Java. |
Middleware |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis |
Program Generators and the Tools to Make Them. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson |
Flexible reference trace reduction for VM simulations. |
ACM Trans. Model. Comput. Simul. |
2003 |
DBLP DOI BibTeX RDF |
reference traces, locality, cache hierarchies, trace reduction, trace compression |
| 1 | Yannis Smaragdakis, Scott F. Kaplan, Paul R. Wilson |
The EELRU adaptive replacement algorithm. |
Perform. Eval. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc Fleury |
Aspectizing Server-Side Distribution. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis |
A Personal Outlook on Generator Research (A Position Paper). |
Domain-Specific Program Generation |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Pfenning, Yannis Smaragdakis (eds.) |
Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings |
GPCE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Eli Tilevich, Yannis Smaragdakis |
NRMI: Natural and Efficient Middleware. |
ICDCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Brian McNamara |
FC++: Functional tools for object-oriented tasks. |
Softw., Pract. Exper. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Don S. Batory |
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. |
ACM Trans. Softw. Eng. Methodol. |
2002 |
DBLP DOI BibTeX RDF |
component-based software, product-line architectures, Collaboration-based design |
| 1 | Kei Davis, Yannis Smaragdakis, Jörg Striegnitz |
Multiparadigm Programming with Object-Oriented Languages. |
ECOOP Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Tilevich, Yannis Smaragdakis |
J-Orchestra: Automatic Java Application Partitioning. |
ECOOP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Yannis Smaragdakis |
Layered Development with (Unix) Dynamic Libraries. |
ICSR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian McNamara, Yannis Smaragdakis |
Functional Programming in C++ using the FC++ Library. |
SIGPLAN Notices |
2001 |
DBLP DOI BibTeX RDF |
C++ |
| 1 | Kei Davis, Yannis Smaragdakis, Jörg Striegnitz |
Multiparadigm Programming with OO Languages. |
ECOOP Workshops |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Richard Cardone, Yannis Smaragdakis |
Object-oriented frameworks and product lines. |
SPLC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Paul R. Wilson |
Performing Replacement in Modem Pools. |
USENIX Annual Technical Conference, General Track |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Don S. Batory |
Mixin-Based Programming in C++. |
GCSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian McNamara, Yannis Smaragdakis |
Functional programming in C++. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
C++ |
| 1 | Yannis Smaragdakis, Don S. Batory |
Building Product-Lines with Mixin-Layers. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Don S. Batory, Yannis Smaragdakis, Lou Coglianese |
Architectural Styles as Adaptors. |
WICSA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Paul R. Wilson, Scott F. Kaplan, Yannis Smaragdakis |
The Case for Compressed Caching in Virtual Memory Systems. |
USENIX Annual Technical Conference, General Track |
1999 |
DBLP BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Don S. Batory |
Scoping Constructs for Software Generators. |
GCSE |
1999 |
DBLP DOI BibTeX RDF |
generation scoping, hygienic macro expansion, program transformations, software generators |
| 1 | Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson |
Trace Reduction for Virtual Memory Simulations. |
SIGMETRICS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Scott F. Kaplan, Paul R. Wilson |
EELRU: Simple and Effective Adaptive Page Replacement. |
SIGMETRICS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis |
Implementing Layered Object-Oriented Designs. |
ECOOP Workshops |
1998 |
DBLP BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Don S. Batory |
Implementing Layered Designs with Mixin Layers. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Don S. Batory |
DiSTiL: A Transformation Library for Data Structures. |
DSL |
1997 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")