default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYannis Smaragdakis
Person information
- affiliation: University of Athens, Athens, Greece
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2022
[j37]Neville Grech
, Sifis Lagouvardos, Ilias Tsatiris, Yannis Smaragdakis:
Elipmoc: advanced decompilation of Ethereum smart contracts. Proc. ACM Program. Lang. 6(OOPSLA1): 1-27 (2022)- 2021
- [j36]Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris:
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021) - [j35]Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis:
Making pointer analysis more precise by unleashing the power of selective context sensitivity. Proc. ACM Program. Lang. 5(OOPSLA): 1-27 (2021) - 2020
- [j34]Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis:
MadMax: analyzing the out-of-gas world of smart contracts. Commun. ACM 63(10): 87-95 (2020) - [j33]Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis:
Static Analysis of Shape in TensorFlow Programs (Artifact). Dagstuhl Artifacts Ser. 6(2): 06:1-06:3 (2020) - [j32]Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis:
Precise static modeling of Ethereum "memory". Proc. ACM Program. Lang. 4(OOPSLA): 190:1-190:26 (2020) - [j31]Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis:
Symbolic Reasoning for Automatic Signal Placement. ACM SIGOPS Oper. Syst. Rev. 54(1): 64-76 (2020) - [j30]Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis:
A Principled Approach to Selective Context Sensitivity for Pointer Analysis. ACM Trans. Program. Lang. Syst. 42(2): 10:1-10:40 (2020) - 2019
- [j29]George Fourtounis, Yannis Smaragdakis:
Deep Static Modeling of invokedynamic (Artifact). Dagstuhl Artifacts Ser. 5(2): 06:1-06:4 (2019) - 2018
- [j28]Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis:
Effectiveness of anonymization in double-blind review. Commun. ACM 61(6): 30-33 (2018) - [j27]Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis:
MadMax: surviving out-of-gas conditions in Ethereum smart contracts. Proc. ACM Program. Lang. 2(OOPSLA): 116:1-116:27 (2018) - [j26]Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis:
Precision-guided context sensitivity for pointer analysis. Proc. ACM Program. Lang. 2(OOPSLA): 141:1-141:29 (2018) - 2017
- [j25]Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis:
Heaps don't lie: countering unsoundness with heap snapshots. Proc. ACM Program. Lang. 1(OOPSLA): 68:1-68:27 (2017) - [j24]Neville Grech, Yannis Smaragdakis:
P/Taint: unified points-to and taint analysis. Proc. ACM Program. Lang. 1(OOPSLA): 102:1-102:28 (2017) - 2015
- [j23]Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondrej Lhoták, José Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, Dimitrios Vardoulakis:
In defense of soundiness: a manifesto. Commun. ACM 58(2): 44-46 (2015) - [j22]Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis:
Streams à la carte: Extensible Pipelines with Object Algebras (Artifact). Dagstuhl Artifacts Ser. 1(1): 09:1-09:2 (2015) - [j21]Yannis Smaragdakis, George Balatsouras:
Pointer Analysis. Found. Trends Program. Lang. 2(1): 1-69 (2015) - 2014
- [j20]Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis:
Residual Investigation: Predictive and Precise Bug Detection. ACM Trans. Softw. Eng. Methodol. 24(2): 7:1-7:32 (2014) - 2012
- [j19]Yannis Smaragdakis:
High-level data structures: technical perspective. Commun. ACM 55(12): 90 (2012) - 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. Exp. 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:1-6:44 (2011) - 2010
- [j15]Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis:
Adaptive locks: Combining transactions and locks for efficient concurrency. J. Parallel Distributed Comput. 70(10): 1009-1023 (2010) - 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, Jeffrey S. Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic:
An overview of the Oregon programming languages summer school. ACM 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): 1:1-1:40 (2009) - 2008
- [j11]Christoph Csallner, Yannis Smaragdakis, Tao Xie:
DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. 17(2): 8:1-8:37 (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): 6:1-6:32 (2008) - [j9]Eli Tilevich, Yannis Smaragdakis:
NRMI: Natural and Efficient Middleware. IEEE Trans. Parallel Distributed Syst. 19(2): 174-187 (2008) - 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 Comput. 3(3): 40-47 (2004) - [j6]Christoph Csallner, Yannis Smaragdakis:
JCrasher: an automatic robustness tester for Java. Softw. Pract. Exp. 34(11): 1025-1050 (2004) - 2003
- [j5]Yannis Smaragdakis, Scott F. Kaplan, Paul R. Wilson:
The EELRU adaptive replacement algorithm. Perform. Evaluation 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) - 2002
- [j3]Yannis Smaragdakis, Brian McNamara:
FC++: Functional tools for object-oriented tasks. Softw. Pract. Exp. 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) - 2001
- [j1]Brian McNamara, Yannis Smaragdakis:
Functional Programming in C++ using the FC++ Library. ACM SIGPLAN Notices 36(4): 25-30 (2001)
Conference and Workshop Papers
- 2020
- [c98]Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis:
Static Analysis of Shape in TensorFlow Programs. ECOOP 2020: 15:1-15:29 - [c97]George Fourtounis, Leonidas Triantafyllou, Yannis Smaragdakis:
Identifying Java calls in native code via binary scanning. ISSTA 2020: 388-400 - [c96]Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis:
Explaining bug provenance with trace witnesses. SOAP@PLDI 2020: 14-19 - [c95]Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis:
Ethainter: a smart contract security analyzer for composite vulnerabilities. PLDI 2020: 454-469 - [c94]Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, Yannis Smaragdakis:
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room. PLDI 2020: 794-807 - 2019
- [c93]George Fourtounis, Yannis Smaragdakis:
Deep Static Modeling of invokedynamic. ECOOP 2019: 15:1-15:28 - [c92]Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis:
Gigahorse: thorough, declarative decompilation of smart contracts. ICSE 2019: 1176-1186 - [c91]Yannis Smaragdakis:
Next-paradigm programming languages: what will they look like and what changes will they bring? Onward! 2019: 187-197 - 2018
- [c90]George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis:
An efficient data structure for must-alias analysis. CC 2018: 48-58 - [c89]Yannis Smaragdakis, George Kastrinis:
Defensive Points-To Analysis: Effective Soundness via Laziness. ECOOP 2018: 23:1-23:28 - [c88]Neville Grech, George Kastrinis, Yannis Smaragdakis:
Efficient Reflection String Analysis via Graph Coloring. ECOOP 2018: 26:1-26:25 - [c87]Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis:
Shooting from the heap: ultra-scalable static analysis with heap snapshots. ISSTA 2018: 198-208 - [c86]George Fourtounis, George Kastrinis, Yannis Smaragdakis:
Static analysis of Java dynamic proxies. ISSTA 2018: 209-220 - [c85]Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis:
Symbolic reasoning for automatic signal placement. PLDI 2018: 120-134 - [c84]Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis:
Scalability-first pointer analysis with self-tuning context-sensitivity. ESEC/SIGSOFT FSE 2018: 129-140 - 2017
- [c83]George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis:
A Datalog model of must-alias analysis. SOAP@PLDI 2017: 7-12 - [c82]Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis:
Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses. SOAP@PLDI 2017: 25-30 - [c81]Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis:
Stream fusion, to completeness. POPL 2017: 285-299 - 2016
- [c80]George Balatsouras, Yannis Smaragdakis:
Structure-Sensitive Points-To Analysis for C and C++. SAS 2016: 84-104 - 2015
- [c79]Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer:
More Sound Static Handling of Java Reflection. APLAS 2015: 485-503 - [c78]Hilmar Ackermann, Christoph Reichenbach, Christian Müller, Yannis Smaragdakis:
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation. CC 2015: 111-130 - [c77]Prodromos Gerakios, George Fourtounis, Yannis Smaragdakis:
Foo: a minimal modern OO calculus. FTfJP@ECOOP 2015: 3:1-3:4 - [c76]Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis:
Streams a la carte: Extensible Pipelines with Object Algebras. ECOOP 2015: 591-613 - [c75]Yannis Smaragdakis, Aggelos Biboudis, George Fourtounis:
Structured Program Generation Techniques. GTTSE 2015: 154-178 - [c74]Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky:
Automating ad hoc data representation transformations. OOPSLA 2015: 801-820 - [c73]Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis:
Residual Investigation: Predictive and Precise Bug Detection. Software Engineering & Management 2015: 133-134 - 2014
- [c72]John Altidor, Yannis Smaragdakis:
Refactoring Java generics by inferring wildcards, in practice. OOPSLA 2014: 271-290 - [c71]Yannis Smaragdakis, George Kastrinis, George Balatsouras:
Introspective analysis: context-sensitivity, across the board. PLDI 2014: 485-495 - [c70]Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young:
Second-Order Constraints in Dynamic Invariant Inference. Software Engineering 2014: 93-94 - 2013
- [c69]George Kastrinis, Yannis Smaragdakis:
Efficient and Effective Handling of Exceptions in Java Points-to Analysis. CC 2013: 41-60 - [c68]Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis:
Reified type parameters using Java annotations. GPCE 2013: 61-64 - [c67]Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner:
SEDGE: Symbolic example data generation for dataflow programs. ASE 2013: 235-245 - [c66]Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis:
Forsaking inheritance: supercharged delegation in DelphJ. OOPSLA 2013: 233-252 - [c65]Yannis Smaragdakis, George Balatsouras, George Kastrinis:
Set-based pre-processing for points-to analysis. OOPSLA 2013: 253-270 - [c64]George Balatsouras, Yannis Smaragdakis:
Class hierarchy complementation: soundly completing a partial type graph. OOPSLA 2013: 515-532 - [c63]George Kastrinis, Yannis Smaragdakis:
Hybrid context-sensitivity for points-to analysis. PLDI 2013: 423-434 - [c62]Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young:
Second-order constraints in dynamic invariant inference. ESEC/SIGSOFT FSE 2013: 103-113 - 2012
- [c61]Sven Köhler, Bertram Ludäscher, Yannis Smaragdakis:
Declarative Datalog Debugging for Mere Mortals. Datalog 2012: 111-122 - [c60]Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman:
PQL: A Purely-Declarative Java Extension for Parallel Programming. ECOOP 2012: 53-78 - [c59]John Altidor, Christoph Reichenbach, Yannis Smaragdakis:
Java Wildcards Meet Definition-Site Variance. ECOOP 2012: 509-534 - [c58]Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis:
Residual investigation: predictive and precise bug detection. ISSTA 2012: 298-308 - [c57]Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan:
Sound predictive race detection in polynomial time. POPL 2012: 387-400 - 2011
- [c56]John Altidor, Shan Shan Huang, Yannis Smaragdakis:
Taming the wildcards: combining definition- and use-site variance. PLDI 2011: 602-613 - [c55]Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták:
Pick your contexts well: understanding object-sensitivity. POPL 2011: 17-30 - 2010
- [c54]Yannis Smaragdakis, Martin Bravenboer:
Using Datalog for Fast and Easy Program Analysis. Datalog 2010: 245-251 - [c53]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 - [c52]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 - 2009
- [c51]Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis:
Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency. PACT 2009: 3-14 - [c50]Martin Bravenboer, Yannis Smaragdakis:
Exception analysis and points-to analysis: better together. ISSTA 2009: 1-12 - [c49]Martin Bravenboer, Yannis Smaragdakis:
Strictly declarative specification of sophisticated points-to analyses. OOPSLA 2009: 243-262 - 2008
- [c48]Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young:
General and efficient locking without blocking. MSPC 2008: 1-5 - [c47]Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis:
DySy: dynamic symbolic execution for invariant inference. ICSE 2008: 281-290 - [c46]Shan Shan Huang, Yannis Smaragdakis:
Expressive and safe static reflection with MorphJ. PLDI 2008: 79-89 - [c45]Yannis Smaragdakis:
Combining Static and Dynamic Reasoning for the Discovery of Program Properties. SPIN 2008: 7-8 - 2007
- [c44]Shan Shan Huang, David Zook, Yannis Smaragdakis:
cJ: enhancing java with safe type conditions. AOSD 2007: 185-198 - [c43]Shan Shan Huang, Yannis Smaragdakis:
Morphing Software for Easier Evolution. RAM-SE 2007: 71-80 - [c42]Shan Shan Huang, David Zook, Yannis Smaragdakis:
Morphing: Safely Shaping a Class in the Image of Others. ECOOP 2007: 399-424 - [c41]Shan Shan Huang, Yannis Smaragdakis:
Building Scalable Libraries with cJ. ICSE Companion 2007: 45-46 - [c40]Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian:
Scalable automatic test data generation from modeling diagrams. ASE 2007: 4-13 - [c39]Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young:
Transactions with isolation and cooperation. OOPSLA 2007: 191-210 - [c38]Yannis Smaragdakis, Christoph Csallner:
Combining Static and Dynamic Reasoning for Bug Detection. TAP 2007: 1-16 - 2006
- [c37]Eli Tilevich, Yannis Smaragdakis:
Transparent program transformationsin the presence of opaque code. GPCE 2006: 89-94 - [c36]Christoph Csallner, Yannis Smaragdakis:
Dynamically discovering likely interface invariants. ICSE 2006: 861-864 - [c35]Shan Shan Huang, Yannis Smaragdakis:
Easy language extension with meta-aspectJ. ICSE 2006: 865-868 - [c34]Christoph Csallner, Yannis Smaragdakis:
DSD-Crasher: a hybrid analysis tool for bug finding. ISSTA 2006: 245-254 - [c33]Ranjith Subramanian, Yannis Smaragdakis, Gabriel H. Loh:
Adaptive Caches: Effective Shaping of Cache Behavior to Workloads. MICRO 2006: 385-396 - 2005
- [c32]Shan Shan Huang, David Zook, Yannis Smaragdakis:
Statically Safe Program Generation with SafeGen. GPCE 2005: 309-326 - [c31]Eli Tilevich, Yannis Smaragdakis:
Binary refactoring: improving code behind the scenes. ICSE 2005: 264-273 - [c30]Christoph Csallner, Yannis Smaragdakis:
Check 'n' crash: combining static checking and testing. ICSE 2005: 422-431 - [c29]Eli Tilevich, Yannis Smaragdakis, Marcus Handte:
Appletizing: Running Legacy Java Code Remotely from a Web Browser. ICSM 2005: 91-100 - 2004
- [c28]David Zook, Shan Shan Huang, Yannis Smaragdakis:
Generating AspectJ Programs with Meta-AspectJ. GPCE 2004: 1-18 - [c27]Yannis Smaragdakis:
General adaptive replacement policies. ISMM 2004: 108-119 - [c26]Eli Tilevich, Yannis Smaragdakis:
Portable and Efficient Distributed Threads for Java. Middleware 2004: 478-492 - [c25]Yannis Smaragdakis, Shan Shan Huang, David Zook:
Program generators and the tools to make them. PEPM 2004: 92-100 - [c24]Yannis Smaragdakis:
Invited talk: program generators and the tools to make them. PPDP 2004: 7-8 - [c23]Yannis Smaragdakis:
Program Generators and the Tools to Make Them. SAS 2004: 19-20 - 2003
- [c22]Yannis Smaragdakis:
A Personal Outlook on Generator Research (A Position Paper). Domain-Specific Program Generation 2003: 92-106 - [c21]Eli Tilevich, Yannis Smaragdakis:
NRMI: Natural and Efficient Middleware. ICDCS 2003: 252- - [c20]Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc J. Fleury:
Aspectizing Server-Side Distribution. ASE 2003: 130-141 - 2002
- [c19]Eli Tilevich, Yannis Smaragdakis:
J-Orchestra: Automatic Java Application Partitioning. ECOOP 2002: 178-204 - [c18]Kei Davis, Yannis Smaragdakis, Jörg Striegnitz:
Multiparadigm Programming with Object-Oriented Languages. ECOOP Workshops 2002: 154-159 - [c17]Yannis Smaragdakis:
Layered Development with (Unix) Dynamic Libraries. ICSR 2002: 33-45 - 2001
- [c16]Kei Davis, Yannis Smaragdakis, Jörg Striegnitz:
Multiparadigm Programming with OO Languages. ECOOP Workshops 2001: 131-134 - 2000
- [c15]Yannis Smaragdakis, Don S. Batory:
Mixin-Based Programming in C++. GCSE 2000: 163-177 - [c14]Brian McNamara, Yannis Smaragdakis:
Functional programming in C++. ICFP 2000: 118-129 - [c13]Don S. Batory, Richard Cardone, Yannis Smaragdakis:
Object-oriented frameworks and product lines. SPLC 2000: 227-248 - [c12]Yannis Smaragdakis, Paul R. Wilson:
Performing Replacement in Modem Pools. USENIX ATC, General Track 2000: 277-292 - 1999
- [c11]Yannis Smaragdakis, Don S. Batory:
Building Product-Lines with Mixin-Layers. ECOOP Workshops 1999: 197 - [c10]Yannis Smaragdakis, Don S. Batory:
Scoping Constructs for Software Generators. GCSE 1999: 65-78 - [c9]Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson:
Trace Reduction for Virtual Memory Simulations. SIGMETRICS 1999: 47-58 - [c8]Yannis Smaragdakis, Scott F. Kaplan, Paul R. Wilson:
EELRU: Simple and Effective Adaptive Page Replacement. SIGMETRICS 1999: 122-133 - [c7]Paul R. Wilson, Scott F. Kaplan, Yannis Smaragdakis:
The Case for Compressed Caching in Virtual Memory Systems. USENIX ATC, General Track 1999: 101-116 - [c6]Don S. Batory, Yannis Smaragdakis, Lou Coglianese:
Architectural Styles as Adaptors. WICSA 1999: 203-224 - 1998
- [c5]Yannis Smaragdakis, Don S. Batory:
Implementing Layered Designs with Mixin Layers. ECOOP 1998: 550-570 - [c4]Yannis Smaragdakis:
Implementing Layered Object-Oriented Designs. ECOOP Workshops 1998: 34-35 - [c3]Yannis Smaragdakis, Don S. Batory:
Implementing reusable object-oriented components. ICSR 1998: 36-45 - [c2]Don S. Batory, Bernie J. Lofaso, Yannis Smaragdakis:
JTS: tools for implementing domain-specific languages. ICSR 1998: 143-153 - 1997
- [c1]Yannis Smaragdakis, Don S. Batory:
DiSTiL: A Transformation Library for Data Structures. DSL 1997
Editorship
- 2022
- [e5]Sukyoung Ryu, Yannis Smaragdakis:
ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022. ACM 2022, ISBN 978-1-4503-9379-9 [contents] - 2019
- [e4]Yannis Smaragdakis:
Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2019, Athens, Greece, October 20-25, 2019. ACM 2019, ISBN 978-1-4503-6992-3 [contents] - 2016
- [e3]Eelco Visser, Yannis Smaragdakis:
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016. ACM 2016, ISBN 978-1-4503-4444-9 [contents] - 2008
- [e2]Yannis Smaragdakis, Jeremy G. Siek:
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 [contents] - 2003
- [e1]Frank Pfenning, Yannis Smaragdakis:
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 [contents]
Informal and Other Publications
- 2024
- [i11]Sifis Lagouvardos, Yannis Bollanos, Neville Grech, Yannis Smaragdakis:
The Incredible Shrinking Context... in a decompiler near you. CoRR abs/2409.11157 (2024) - 2020
- [i10]George Fourtounis, Yannis Smaragdakis:
Deep Static Modeling of invokedynamic. CoRR abs/2001.02545 (2020) - 2019
- [i9]Yannis Smaragdakis:
Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring? CoRR abs/1905.00402 (2019) - [i8]Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis:
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots. CoRR abs/1905.02088 (2019) - 2018
- [i7]Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis:
Symbolic Reasoning for Automatic Signal Placement (Extended Version). CoRR abs/1804.02503 (2018) - 2017
- [i6]Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis:
Effectiveness of Anonymization in Double-Blind Review. CoRR abs/1709.01609 (2017) - 2016
- [i5]Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis:
Stream Fusion, to Completeness. CoRR abs/1612.06668 (2016) - 2015
- [i4]Aggelos Biboudis, George Fourtounis, Yannis Smaragdakis:
jUCM: Universal Class Morphing (position paper). CoRR abs/1506.05270 (2015) - 2014
- [i3]Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis:
Clash of the Lambdas. CoRR abs/1406.6631 (2014) - 2013
- [i2]Matthew Might, Yannis Smaragdakis, David Van Horn:
Resolving and Exploiting the $k$-CFA Paradox. CoRR abs/1311.4231 (2013) - [i1]Ondrej Lhoták, Yannis Smaragdakis, Manu Sridharan:
Pointer Analysis (Dagstuhl Seminar 13162). Dagstuhl Reports 3(4): 91-113 (2013)
Coauthor Index
Georgios Fourtounis 0001
aka: George Fourtounis
aka: George Fourtounis
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 21:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
