Yannis Smaragdakis

157 papers A* 23A 29B 17C 5Journal 54Unranked 28

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis. CoRR Panagiotis Diamantakis, Thanassis Avgerinos, Yannis Smaragdakis
2025	J	`jnl`	Precise Static Identification of Ethereum Storage Variables. CoRR Sifis Lagouvardos, Yannis Bollanos, Michael Debono, Neville Grech, Yannis Smaragdakis
2025	J	`jnl`	Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights. CoRR Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris, Yannis Bollanos, Tony Rocco Valentine
2025	J	`jnl`	The Incredible Shrinking Context... in a Decompiler Near You. Proc. ACM Softw. Eng. Sifis Lagouvardos, Yannis Bollanos, Neville Grech, Yannis Smaragdakis
2025	J	`jnl`	Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning). CoRR Anastasios Antoniadis, Ilias Tsatiris, Neville Grech, Yannis Smaragdakis
2025	J	`jnl`	Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning). Proc. ACM Program. Lang. Anastasios Antoniadis, Ilias Tsatiris, Neville Grech, Yannis Smaragdakis
2024	J	`jnl`	The Incredible Shrinking Context... in a decompiler near you. CoRR Sifis Lagouvardos, Yannis Bollanos, Neville Grech, Yannis Smaragdakis
2022	J	`jnl`	Elipmoc: advanced decompilation of Ethereum smart contracts. Proc. ACM Program. Lang. Neville Grech, Sifis Lagouvardos, Ilias Tsatiris, Yannis Smaragdakis
2022	A	`ed.`	ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022 ISSTA Sukyoung Ryu, Yannis Smaragdakis
2021	J	`jnl`	Making pointer analysis more precise by unleashing the power of selective context sensitivity. Proc. ACM Program. Lang. Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis
2021	J	`jnl`	Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts. Proc. ACM Program. Lang. Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris
2020	J	`jnl`	A Principled Approach to Selective Context Sensitivity for Pointer Analysis. ACM Trans. Program. Lang. Syst. Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
2020	J	`jnl`	Deep Static Modeling of invokedynamic. CoRR George Fourtounis, Yannis Smaragdakis
2020	A*	`conf`	Ethainter: a smart contract security analyzer for composite vulnerabilities. PLDI Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis
2020	—	`conf`	Explaining bug provenance with trace witnesses. SOAP@PLDI Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis
2020	A	`conf`	Identifying Java calls in native code via binary scanning. ISSTA George Fourtounis, Leonidas Triantafyllou, Yannis Smaragdakis
2020	J	`jnl`	MadMax: analyzing the out-of-gas world of smart contracts. Commun. ACM Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
2020	J	`jnl`	Precise static modeling of Ethereum "memory". Proc. ACM Program. Lang. Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis
2020	J	`jnl`	Static Analysis of Shape in TensorFlow Programs (Artifact). Dagstuhl Artifacts Ser. Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
2020	A	`conf`	Static Analysis of Shape in TensorFlow Programs. ECOOP Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
2020	A*	`conf`	Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room. PLDI Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, Yannis Smaragdakis
2020	J	`jnl`	Symbolic Reasoning for Automatic Signal Placement. ACM SIGOPS Oper. Syst. Rev. Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
2019	J	`jnl`	Deep Static Modeling of invokedynamic (Artifact). Dagstuhl Artifacts Ser. George Fourtounis, Yannis Smaragdakis
2019	A	`conf`	Deep Static Modeling of invokedynamic. ECOOP George Fourtounis, Yannis Smaragdakis
2019	A*	`conf`	Gigahorse: thorough, declarative decompilation of smart contracts. ICSE Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
2019	J	`jnl`	Heaps Don't Lie: Countering Unsoundness with Heap Snapshots. CoRR Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
2019	J	`jnl`	Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring? CoRR Yannis Smaragdakis
2019	—	`conf`	Next-paradigm programming languages: what will they look like and what changes will they bring? Onward! Yannis Smaragdakis
2019	—	`ed.`	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. SPLASH (Companion Volume) Yannis Smaragdakis
2018	B	`conf`	An efficient data structure for must-alias analysis. CC George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis
2018	A	`conf`	Defensive Points-To Analysis: Effective Soundness via Laziness. ECOOP Yannis Smaragdakis, George Kastrinis
2018	J	`jnl`	Effectiveness of anonymization in double-blind review. Commun. ACM Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
2018	A	`conf`	Efficient Reflection String Analysis via Graph Coloring. ECOOP Neville Grech, George Kastrinis, Yannis Smaragdakis
2018	J	`jnl`	MadMax: surviving out-of-gas conditions in Ethereum smart contracts. Proc. ACM Program. Lang. Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
2018	J	`jnl`	Precision-guided context sensitivity for pointer analysis. Proc. ACM Program. Lang. Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
2018	—	`conf`	Scalability-first pointer analysis with self-tuning context-sensitivity. ESEC/SIGSOFT FSE Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
2018	A	`conf`	Shooting from the heap: ultra-scalable static analysis with heap snapshots. ISSTA Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
2018	A	`conf`	Static analysis of Java dynamic proxies. ISSTA George Fourtounis, George Kastrinis, Yannis Smaragdakis
2018	J	`jnl`	Symbolic Reasoning for Automatic Signal Placement (Extended Version). CoRR Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
2018	A*	`conf`	Symbolic reasoning for automatic signal placement. PLDI Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
2017	—	`conf`	A Datalog model of must-alias analysis. SOAP@PLDI George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis
2017	J	`jnl`	Effectiveness of Anonymization in Double-Blind Review. CoRR Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
2017	J	`jnl`	Heaps don't lie: countering unsoundness with heap snapshots. Proc. ACM Program. Lang. Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
2017	J	`jnl`	P/Taint: unified points-to and taint analysis. Proc. ACM Program. Lang. Neville Grech, Yannis Smaragdakis
2017	—	`conf`	Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses. SOAP@PLDI Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis
2017	A*	`conf`	Stream fusion, to completeness. POPL Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
2016	A	`ed.`	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 OOPSLA Eelco Visser, Yannis Smaragdakis
2016	J	`jnl`	Stream Fusion, to Completeness. CoRR Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
2016	B	`conf`	Structure-Sensitive Points-To Analysis for C and C++. SAS George Balatsouras, Yannis Smaragdakis
2015	B	`conf`	A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation. CC Hilmar Ackermann, Christoph Reichenbach, Christian Müller, Yannis Smaragdakis
2015	A	`conf`	Automating ad hoc data representation transformations. OOPSLA Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky
2015	—	`conf`	Foo: a minimal modern OO calculus. FTfJP@ECOOP Prodromos Gerakios, George Fourtounis, Yannis Smaragdakis
2015	J	`jnl`	In defense of soundiness: a manifesto. Commun. ACM 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
2015	B	`conf`	More Sound Static Handling of Java Reflection. APLAS Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer
2015	J	`jnl`	Pointer Analysis. Found. Trends Program. Lang. Yannis Smaragdakis, George Balatsouras
2015	—	`conf`	Residual Investigation: Predictive and Precise Bug Detection. Software Engineering & Management Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
2015	A	`conf`	Streams a la carte: Extensible Pipelines with Object Algebras. ECOOP Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis
2015	J	`jnl`	Streams à la carte: Extensible Pipelines with Object Algebras (Artifact). Dagstuhl Artifacts Ser. Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis
2015	—	`conf`	Structured Program Generation Techniques. GTTSE Yannis Smaragdakis, Aggelos Biboudis, George Fourtounis
2015	J	`jnl`	jUCM: Universal Class Morphing (position paper). CoRR Aggelos Biboudis, George Fourtounis, Yannis Smaragdakis
2014	J	`jnl`	Clash of the Lambdas. CoRR Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
2014	A*	`conf`	Introspective analysis: context-sensitivity, across the board. PLDI Yannis Smaragdakis, George Kastrinis, George Balatsouras
2014	A	`conf`	Refactoring Java generics by inferring wildcards, in practice. OOPSLA John Altidor, Yannis Smaragdakis
2014	J	`jnl`	Residual Investigation: Predictive and Precise Bug Detection. ACM Trans. Softw. Eng. Methodol. Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
2014	C	`conf`	Second-Order Constraints in Dynamic Invariant Inference. Software Engineering Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
2013	A	`conf`	Class hierarchy complementation: soundly completing a partial type graph. OOPSLA George Balatsouras, Yannis Smaragdakis
2013	B	`conf`	Efficient and Effective Handling of Exceptions in Java Points-to Analysis. CC George Kastrinis, Yannis Smaragdakis
2013	A	`conf`	Forsaking inheritance: supercharged delegation in DelphJ. OOPSLA Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis
2013	A*	`conf`	Hybrid context-sensitivity for points-to analysis. PLDI George Kastrinis, Yannis Smaragdakis
2013	J	`jnl`	Pointer Analysis (Dagstuhl Seminar 13162). Dagstuhl Reports Ondrej Lhoták, Yannis Smaragdakis, Manu Sridharan
2013	B	`conf`	Reified type parameters using Java annotations. GPCE Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis
2013	J	`jnl`	Resolving and Exploiting the $k$-CFA Paradox. CoRR Matthew Might, Yannis Smaragdakis, David Van Horn
2013	A*	`conf`	SEDGE: Symbolic example data generation for dataflow programs. ASE Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner
2013	—	`conf`	Second-order constraints in dynamic invariant inference. ESEC/SIGSOFT FSE Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
2013	A	`conf`	Set-based pre-processing for points-to analysis. OOPSLA Yannis Smaragdakis, George Balatsouras, George Kastrinis
2012	—	`conf`	Declarative Datalog Debugging for Mere Mortals. Datalog Sven Köhler, Bertram Ludäscher, Yannis Smaragdakis
2012	J	`jnl`	High-level data structures: technical perspective. Commun. ACM Yannis Smaragdakis
2012	A	`conf`	Java Wildcards Meet Definition-Site Variance. ECOOP John Altidor, Christoph Reichenbach, Yannis Smaragdakis
2012	A	`conf`	PQL: A Purely-Declarative Java Extension for Parallel Programming. ECOOP Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman
2012	A	`conf`	Residual investigation: predictive and precise bug detection. ISSTA Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
2012	A*	`conf`	Sound predictive race detection in polynomial time. POPL Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan
2011	J	`jnl`	DOLAR: virtualizing heterogeneous information spaces to support their expansion. Softw. Pract. Exp. Kostas Saidis, Yannis Smaragdakis, Alex Delis
2011	J	`jnl`	Morphing: Structurally shaping a class by reflecting on others. ACM Trans. Program. Lang. Syst. Shan Shan Huang, Yannis Smaragdakis
2011	A*	`conf`	Pick your contexts well: understanding object-sensitivity. POPL Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták
2011	J	`jnl`	Statically safe program generation with SafeGen. Sci. Comput. Program. Shan Shan Huang, David Zook, Yannis Smaragdakis
2011	A*	`conf`	Taming the wildcards: combining definition- and use-site variance. PLDI John Altidor, Shan Shan Huang, Yannis Smaragdakis
2010	J	`jnl`	Adaptive locks: Combining transactions and locks for efficient concurrency. J. Parallel Distributed Comput. Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis
2010	A*	`conf`	Resolving and exploiting the PLDI Matthew Might, Yannis Smaragdakis, David Van Horn
2010	—	`conf`	Using Datalog for Fast and Easy Program Analysis. Datalog Yannis Smaragdakis, Martin Bravenboer
2010	A	`conf`	What can the GC compute efficiently?: a language for heap assertions at GC time. OOPSLA Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer
2009	B	`conf`	Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency. PACT Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis
2009	J	`jnl`	An overview of the Oregon programming languages summer school. ACM SIGPLAN Notices 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
2009	A	`conf`	Exception analysis and points-to analysis: better together. ISSTA Martin Bravenboer, Yannis Smaragdakis
2009	J	`jnl`	J-Orchestra: Enhancing Java programs with distribution capabilities. ACM Trans. Softw. Eng. Methodol. Eli Tilevich, Yannis Smaragdakis
2009	J	`jnl`	Scalable satisfiability checking and test data generation from modeling diagrams. Autom. Softw. Eng. Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian
2009	A	`conf`	Strictly declarative specification of sophisticated points-to analyses. OOPSLA Martin Bravenboer, Yannis Smaragdakis
2008	—	`conf`	Combining Static and Dynamic Reasoning for the Discovery of Program Properties. SPIN Yannis Smaragdakis
2008	J	`jnl`	DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. Christoph Csallner, Yannis Smaragdakis, Tao Xie
2008	J	`jnl`	Domain-specific languages and program generation with meta-AspectJ. ACM Trans. Softw. Eng. Methodol. Shan Shan Huang, David Zook, Yannis Smaragdakis
2008	A*	`conf`	DySy: dynamic symbolic execution for invariant inference. ICSE Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis
2008	A*	`conf`	Expressive and safe static reflection with MorphJ. PLDI Shan Shan Huang, Yannis Smaragdakis
2008	—	`conf`	General and efficient locking without blocking. MSPC Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
2008	B	`ed.`	Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings GPCE Yannis Smaragdakis, Jeremy G. Siek
2008	J	`jnl`	NRMI: Natural and Efficient Middleware. IEEE Trans. Parallel Distributed Syst. Eli Tilevich, Yannis Smaragdakis
2007	—	`conf`	Building Scalable Libraries with cJ. ICSE Companion Shan Shan Huang, Yannis Smaragdakis
2007	C	`conf`	Combining Static and Dynamic Reasoning for Bug Detection. TAP Yannis Smaragdakis, Christoph Csallner
2007	—	`conf`	Morphing Software for Easier Evolution. RAM-SE Shan Shan Huang, Yannis Smaragdakis
2007	A	`conf`	Morphing: Safely Shaping a Class in the Image of Others. ECOOP Shan Shan Huang, David Zook, Yannis Smaragdakis
2007	A*	`conf`	Scalable automatic test data generation from modeling diagrams. ASE Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian
2007	A	`conf`	Transactions with isolation and cooperation. OOPSLA Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
2007	—	`conf`	cJ: enhancing java with safe type conditions. AOSD Shan Shan Huang, David Zook, Yannis Smaragdakis
2006	A*	`conf`	Adaptive Caches: Effective Shaping of Cache Behavior to Workloads. MICRO Ranjith Subramanian, Yannis Smaragdakis, Gabriel H. Loh
2006	A	`conf`	DSD-Crasher: a hybrid analysis tool for bug finding. ISSTA Christoph Csallner, Yannis Smaragdakis
2006	A*	`conf`	Dynamically discovering likely interface invariants. ICSE Christoph Csallner, Yannis Smaragdakis
2006	A*	`conf`	Easy language extension with meta-aspectJ. ICSE Shan Shan Huang, Yannis Smaragdakis
2006	B	`conf`	Transparent program transformationsin the presence of opaque code. GPCE Eli Tilevich, Yannis Smaragdakis
2005	—	`conf`	Appletizing: Running Legacy Java Code Remotely from a Web Browser. ICSM Eli Tilevich, Yannis Smaragdakis, Marcus Handte
2005	A*	`conf`	Binary refactoring: improving code behind the scenes. ICSE Eli Tilevich, Yannis Smaragdakis
2005	A*	`conf`	Check 'n' crash: combining static checking and testing. ICSE Christoph Csallner, Yannis Smaragdakis
2005	B	`conf`	Statically Safe Program Generation with SafeGen. GPCE Shan Shan Huang, David Zook, Yannis Smaragdakis
2004	J	`jnl`	Automatic Partitioning: Prototyping Ubiquitous-Computing Applications. IEEE Pervasive Comput. Nikitas Liogkas, Blair MacIntyre, Elizabeth D. Mynatt, Yannis Smaragdakis, Eli Tilevich, Stephen Voida
2004	J	`jnl`	Functional programming with the FC++ library. J. Funct. Program. Brian McNamara, Yannis Smaragdakis
2004	C	`conf`	General adaptive replacement policies. ISMM Yannis Smaragdakis
2004	B	`conf`	Generating AspectJ Programs with Meta-AspectJ. GPCE David Zook, Shan Shan Huang, Yannis Smaragdakis
2004	C	`conf`	Invited talk: program generators and the tools to make them. PPDP Yannis Smaragdakis
2004	J	`jnl`	JCrasher: an automatic robustness tester for Java. Softw. Pract. Exp. Christoph Csallner, Yannis Smaragdakis
2004	A	`conf`	Portable and Efficient Distributed Threads for Java. Middleware Eli Tilevich, Yannis Smaragdakis
2004	B	`conf`	Program Generators and the Tools to Make Them. SAS Yannis Smaragdakis
2004	C	`conf`	Program generators and the tools to make them. PEPM Yannis Smaragdakis, Shan Shan Huang, David Zook
2003	—	`conf`	A Personal Outlook on Generator Research (A Position Paper). Domain-Specific Program Generation Yannis Smaragdakis
2003	A*	`conf`	Aspectizing Server-Side Distribution. ASE Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc J. Fleury
2003	J	`jnl`	Flexible reference trace reduction for VM simulations. ACM Trans. Model. Comput. Simul. Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson
2003	B	`ed.`	Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings GPCE Frank Pfenning, Yannis Smaragdakis
2003	A	`conf`	NRMI: Natural and Efficient Middleware. ICDCS Eli Tilevich, Yannis Smaragdakis
2003	J	`jnl`	The EELRU adaptive replacement algorithm. Perform. Evaluation Yannis Smaragdakis, Scott F. Kaplan, Paul R. Wilson
2002	J	`jnl`	FC++: Functional tools for object-oriented tasks. Softw. Pract. Exp. Yannis Smaragdakis, Brian McNamara
2002	A	`conf`	J-Orchestra: Automatic Java Application Partitioning. ECOOP Eli Tilevich, Yannis Smaragdakis
2002	B	`conf`	Layered Development with (Unix) Dynamic Libraries. ICSR Yannis Smaragdakis
2002	J	`jnl`	Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM Trans. Softw. Eng. Methodol. Yannis Smaragdakis, Don S. Batory
2002	—	`conf`	Multiparadigm Programming with Object-Oriented Languages. ECOOP Workshops Kei Davis, Yannis Smaragdakis, Jörg Striegnitz
2001	J	`jnl`	Functional Programming in C++ using the FC++ Library. ACM SIGPLAN Notices Brian McNamara, Yannis Smaragdakis
2001	—	`conf`	Multiparadigm Programming with OO Languages. ECOOP Workshops Kei Davis, Yannis Smaragdakis, Jörg Striegnitz
2000	A	`conf`	Functional programming in C++. ICFP Brian McNamara, Yannis Smaragdakis
2000	—	`conf`	Mixin-Based Programming in C++. GCSE Yannis Smaragdakis, Don S. Batory
2000	B	`conf`	Object-oriented frameworks and product lines. SPLC Don S. Batory, Richard Cardone, Yannis Smaragdakis
2000	—	`conf`	Performing Replacement in Modem Pools. USENIX ATC, General Track Yannis Smaragdakis, Paul R. Wilson
1999	—	`conf`	Architectural Styles as Adaptors. WICSA Don S. Batory, Yannis Smaragdakis, Lou Coglianese
1999	—	`conf`	Building Product-Lines with Mixin-Layers. ECOOP Workshops Yannis Smaragdakis, Don S. Batory
1999	A*	`conf`	EELRU: Simple and Effective Adaptive Page Replacement. SIGMETRICS Yannis Smaragdakis, Scott F. Kaplan, Paul R. Wilson
1999	—	`conf`	Scoping Constructs for Software Generators. GCSE Yannis Smaragdakis, Don S. Batory
1999	—	`conf`	The Case for Compressed Caching in Virtual Memory Systems. USENIX ATC, General Track Paul R. Wilson, Scott F. Kaplan, Yannis Smaragdakis
1999	A*	`conf`	Trace Reduction for Virtual Memory Simulations. SIGMETRICS Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson
1998	A	`conf`	Implementing Layered Designs with Mixin Layers. ECOOP Yannis Smaragdakis, Don S. Batory
1998	—	`conf`	Implementing Layered Object-Oriented Designs. ECOOP Workshops Yannis Smaragdakis
1998	B	`conf`	Implementing reusable object-oriented components. ICSR Yannis Smaragdakis, Don S. Batory
1998	B	`conf`	JTS: tools for implementing domain-specific languages. ICSR Don S. Batory, Bernie J. Lofaso, Yannis Smaragdakis
1997	—	`conf`	DiSTiL: A Transformation Library for Data Structures. DSL Yannis Smaragdakis, Don S. Batory