Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Yannis Smaragdakis
2010 – today
- 2013
[c61]George Kastrinis, Yannis Smaragdakis: Efficient and Effective Handling of Exceptions in Java Points-to Analysis. CC 2013: 41-60- [c60]George Kastrinis, Yannis Smaragdakis: Hybrid context-sensitivity for points-to analysis. PLDI 2013: 423-434
- 2012
- [j19]Yannis Smaragdakis: High-level data structures: technical perspective. Commun. ACM 55(12): 90 (2012)
- [c59]Sven Köhler, Bertram Ludäscher, Yannis Smaragdakis: Declarative Datalog Debugging for Mere Mortals. Datalog 2012: 111-122
- [c58]Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman: PQL: A Purely-Declarative Java Extension for Parallel Programming. ECOOP 2012: 53-78
- [c57]John Altidor, Christoph Reichenbach, Yannis Smaragdakis: Java Wildcards Meet Definition-Site Variance. ECOOP 2012: 509-534
- [c56]Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis: Residual investigation: predictive and precise bug detection. ISSTA 2012: 298-308
- [c55]Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan: Sound predictive race detection in polynomial time. POPL 2012: 387-400
- 2011
- [j18]Shan Shan Huang, David Zook, Yannis Smaragdakis: Statically safe program generation with SafeGen. Sci. Comput. Program. 76(5): 376-391 (2011)
- [j17]Kostas Saidis, Yannis Smaragdakis, Alex Delis: DOLAR: virtualizing heterogeneous information spaces to support their expansion. Softw., Pract. Exper. 41(11): 1349-1383 (2011)
- [j16]Shan Shan Huang, Yannis Smaragdakis: Morphing: Structurally shaping a class by reflecting on others. ACM Trans. Program. Lang. Syst. 33(2): 6 (2011)
- [c54]John Altidor, Shan Shan Huang, Yannis Smaragdakis: Taming the wildcards: combining definition- and use-site variance. PLDI 2011: 602-613
- [c53]Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták: Pick your contexts well: understanding object-sensitivity. POPL 2011: 17-30
- 2010
- [j15]Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis: Adaptive locks: Combining transactions and locks for efficient concurrency. J. Parallel Distrib. Comput. 70(10): 1009-1023 (2010)
- [c52]Yannis Smaragdakis, Martin Bravenboer: Using Datalog for Fast and Easy Program Analysis. Datalog 2010: 245-251
- [c51]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: 256-269
- [c50]Matthew Might, Yannis Smaragdakis, David Van Horn: Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. PLDI 2010: 305-315
2000 – 2009
- 2009
- [j14]Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian: Scalable satisfiability checking and test data generation from modeling diagrams. Autom. Softw. Eng. 16(1): 73-99 (2009)
- [j13]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 44(11): 1-3 (2009)
- [j12]Eli Tilevich, Yannis Smaragdakis: J-Orchestra: Enhancing Java programs with distribution capabilities. ACM Trans. Softw. Eng. Methodol. 19(1) (2009)
- [c49]Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis: Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency. PACT 2009: 3-14
- [c48]Martin Bravenboer, Yannis Smaragdakis: Exception analysis and points-to analysis: better together. ISSTA 2009: 1-12
- [c47]Martin Bravenboer, Yannis Smaragdakis: Strictly declarative specification of sophisticated points-to analyses. OOPSLA 2009: 243-262
- 2008
- [j11]Christoph Csallner, Yannis Smaragdakis, Tao Xie: DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. 17(2) (2008)
- [j10]Shan Shan Huang, David Zook, Yannis Smaragdakis: Domain-specific languages and program generation with meta-AspectJ. ACM Trans. Softw. Eng. Methodol. 18(2) (2008)
- [j9]Eli Tilevich, Yannis Smaragdakis: NRMI: Natural and Efficient Middleware. IEEE Trans. Parallel Distrib. Syst. 19(2): 174-187 (2008)
- [c46]Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young: General and efficient locking without blocking. MSPC 2008: 1-5
- [c45]Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis: DySy: dynamic symbolic execution for invariant inference. ICSE 2008: 281-290
- [c44]Shan Shan Huang, Yannis Smaragdakis: Expressive and safe static reflection with MorphJ. PLDI 2008: 79-89
- [c43]Yannis Smaragdakis: Combining Static and Dynamic Reasoning for the Discovery of Program Properties. SPIN 2008: 7-8
- [e2]Yannis Smaragdakis, Jeremy G. Siek (Eds.): Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings. ACM 2008, ISBN 978-1-60558-267-2
- 2007
- [c42]Shan Shan Huang, David Zook, Yannis Smaragdakis: cJ: enhancing java with safe type conditions. AOSD 2007: 185-198
- [c41]
- [c40]Shan Shan Huang, David Zook, Yannis Smaragdakis: Morphing: Safely Shaping a Class in the Image of Others. ECOOP 2007: 399-424
- [c39]Shan Shan Huang, Yannis Smaragdakis: Building Scalable Libraries with cJ. ICSE Companion 2007: 45-46
- [c38]Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian: Scalable automatic test data generation from modeling diagrams. ASE 2007: 4-13
- [c37]Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young: Transactions with isolation and cooperation. OOPSLA 2007: 191-210
- [c36]Yannis Smaragdakis, Christoph Csallner: Combining Static and Dynamic Reasoning for Bug Detection. TAP 2007: 1-16
- 2006
- [c35]Eli Tilevich, Yannis Smaragdakis: Transparent program transformationsin the presence of opaque code. GPCE 2006: 89-94
- [c34]Christoph Csallner, Yannis Smaragdakis: Dynamically discovering likely interface invariants. ICSE 2006: 861-864
- [c33]
- [c32]Christoph Csallner, Yannis Smaragdakis: DSD-Crasher: a hybrid analysis tool for bug finding. ISSTA 2006: 245-254
- [c31]Ranjith Subramanian, Yannis Smaragdakis, Gabriel H. Loh: Adaptive Caches: Effective Shaping of Cache Behavior to Workloads. MICRO 2006: 385-396
- 2005
- [c30]Shan Shan Huang, David Zook, Yannis Smaragdakis: Statically Safe Program Generation with SafeGen. GPCE 2005: 309-326
- [c29]Eli Tilevich, Yannis Smaragdakis: Binary refactoring: improving code behind the scenes. ICSE 2005: 264-273
- [c28]Christoph Csallner, Yannis Smaragdakis: Check 'n' crash: combining static checking and testing. ICSE 2005: 422-431
- [c27]Eli Tilevich, Yannis Smaragdakis, Marcus Handte: Appletizing: Running Legacy Java Code Remotely from a Web Browser. ICSM 2005: 91-100
- 2004
- [j8]Brian McNamara, Yannis Smaragdakis: Functional programming with the FC++ library. J. Funct. Program. 14(4): 429-472 (2004)
- [j7]Nikitas Liogkas, Blair MacIntyre, Elizabeth D. Mynatt, Yannis Smaragdakis, Eli Tilevich, Stephen Voida: Automatic Partitioning: Prototyping Ubiquitous-Computing Applications. IEEE Pervasive Computing 3(3): 40-47 (2004)
- [j6]Christoph Csallner, Yannis Smaragdakis: JCrasher: an automatic robustness tester for Java. Softw., Pract. Exper. 34(11): 1025-1050 (2004)
- [c26]David Zook, Shan Shan Huang, Yannis Smaragdakis: Generating AspectJ Programs with Meta-AspectJ. GPCE 2004: 1-18
- [c25]
- [c24]Eli Tilevich, Yannis Smaragdakis: Portable and Efficient Distributed Threads for Java. Middleware 2004: 478-492
- [c23]Yannis Smaragdakis, Shan Shan Huang, David Zook: Program generators and the tools to make them. PEPM 2004: 92-100
- [c22]
- [c21]
- 2003
- [j5]Yannis Smaragdakis, Scott F. Kaplan, Paul R. Wilson: The EELRU adaptive replacement algorithm. Perform. Eval. 53(2): 93-123 (2003)
- [j4]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)
- [c20]Yannis Smaragdakis: A Personal Outlook on Generator Research (A Position Paper). Domain-Specific Program Generation 2003: 92-106
- [c19]
- [c18]Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc Fleury: Aspectizing Server-Side Distribution. ASE 2003: 130-141
- [e1]Frank Pfenning, Yannis Smaragdakis (Eds.): Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings. Lecture Notes in Computer Science 2830, Springer 2003, ISBN 3-540-20102-5
- 2002
- [j3]Yannis Smaragdakis, Brian McNamara: FC++: Functional tools for object-oriented tasks. Softw., Pract. Exper. 32(10): 1015-1033 (2002)
- [j2]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)
- [c17]Eli Tilevich, Yannis Smaragdakis: J-Orchestra: Automatic Java Application Partitioning. ECOOP 2002: 178-204
- [c16]Kei Davis, Yannis Smaragdakis, Jörg Striegnitz: Multiparadigm Programming with Object-Oriented Languages. ECOOP Workshops 2002: 154-159
- [c15]
- 2001
- [j1]Brian McNamara, Yannis Smaragdakis: Functional Programming in C++ using the FC++ Library. SIGPLAN Notices 36(4): 25-30 (2001)
- [c14]Kei Davis, Yannis Smaragdakis, Jörg Striegnitz: Multiparadigm Programming with OO Languages. ECOOP Workshops 2001: 131-134
- 2000
- [c13]
- [c12]
- [c11]Don S. Batory, Richard Cardone, Yannis Smaragdakis: Object-oriented frameworks and product lines. SPLC 2000: 227-248
- [c10]Yannis Smaragdakis, Paul R. Wilson: Performing Replacement in Modem Pools. USENIX Annual Technical Conference, General Track 2000: 277-292
1990 – 1999
- 1999
- [c9]Yannis Smaragdakis, Don S. Batory: Building Product-Lines with Mixin-Layers. ECOOP Workshops 1999: 197
- [c8]
- [c7]Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson: Trace Reduction for Virtual Memory Simulations. SIGMETRICS 1999: 47-58
- [c6]Yannis Smaragdakis, Scott F. Kaplan, Paul R. Wilson: EELRU: Simple and Effective Adaptive Page Replacement. SIGMETRICS 1999: 122-133
- [c5]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
- [c4]Don S. Batory, Yannis Smaragdakis, Lou Coglianese: Architectural Styles as Adaptors. WICSA 1999: 203-224
- 1998
- [c3]Yannis Smaragdakis, Don S. Batory: Implementing Layered Designs with Mixin Layers. ECOOP 1998: 550-570
- [c2]
- 1997
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 09:57 CEST by the dblp team