researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

yannissmaragdakis

Statistics

Publications: 67
Edited: 2
Credit: 349

Aliases

Smaragdakis, Y.
Y. Smaragdakis
Smaragdakis
Smaragdakis, Yannis
Yannis Smaragdakis
I. Smaragdakis
Ioannis Smaragdakis

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Yannis Smaragdakis's Profile

Publications

Unidentified Publications

Publications with a 'Yannis Smaragdakis' as author, editor, or advisor:

JTS: Tools for Implementing Domain-Specific LanguagesBatory, D., Lofaso, B., Smaragdakis, Y.. In Proceedings of the 5th International Conference on Software Reuse. 1998:
Morphing: Structurally shaping a class by reflecting on othersShan Shan Huang, Yannis Smaragdakis. TOPLAS, 33(2):6, 2011. [doi]
Pick your contexts well: understanding object-sensitivityYannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták. POPL 2011: 17-30 [doi]
Taming the wildcards: combining definition- and use-site varianceJohn Altidor, Shan Shan Huang, Yannis Smaragdakis. PLDI 2011: 602-613 [doi]
Identifying Java calls in native code via binary scanningGeorge Fourtounis, Leonidas Triantafyllou, Yannis Smaragdakis. ISSTA 2020: 388-400 [doi]
A Principled Approach to Selective Context Sensitivity for Pointer AnalysisYue Li 0006, Tian Tan 0001, Anders Møller, Yannis Smaragdakis. TOPLAS, 42(2), 2020. [doi]
High-level data structures: technical perspectiveYannis Smaragdakis. CACM, 55(12):90, 2012. [doi]
Symbolic reasoning for automatic signal placementKostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis. PLDI 2018: 120-134 [doi]
JTS: tools for implementing domain-specific languagesDon S. Batory, Bernie J. Lofaso, Yannis Smaragdakis. icsr 1998: 143-153 [doi]
Precision-guided context sensitivity for pointer analysisYue Li 0006, Tian Tan 0001, Anders Møller, Yannis Smaragdakis. PACMPL, 2(OOPSLA), 2018. [doi]
Pointer Analysis (Dagstuhl Seminar 13162)Ondrej Lhoták, Yannis Smaragdakis, Manu Sridharan. dagstuhl-reports, 3(4):91-113, 2013. [doi]
Explaining bug provenance with trace witnessesJixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis. PLDI 2020: 14-19 [doi]
Deep Static Modeling of invokedynamicGeorge Fourtounis, Yannis Smaragdakis. ECOOP 2019: [doi]
Residual Investigation: Predictive and Precise Bug DetectionKaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis. se 2015: 133-134
Streams a la carte: Extensible Pipelines with Object AlgebrasAggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis. ECOOP 2015: 591-613 [doi]
Static Analysis of Shape in TensorFlow ProgramsSifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis. ECOOP 2020: [doi]
Structure-Sensitive Points-To Analysis for C and C++George Balatsouras, Yannis Smaragdakis. SAS 2016: 84-104 [doi]
An efficient data structure for must-alias analysisGeorge Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis. CC 2019: 48-58 [doi]
A Backend Extension Mechanism for PQL/Java with Free Run-Time OptimisationHilmar Ackermann, Christoph Reichenbach, Christian Müller, Yannis Smaragdakis. CC 2015: 111-130 [doi]
Sound predictive race detection in polynomial timeYannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan. POPL 2012: 387-400 [doi]
An overview of the Oregon programming languages summer schoolJim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeff Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic. SIGPLAN, 44(11):1-3, 2009. [doi]
Declarative Datalog Debugging for Mere MortalsSven Köhler 0003, Bertram Ludäscher, Yannis Smaragdakis. datalog 2012: 111-122 [doi]
MadMax: analyzing the out-of-gas world of smart contractsNeville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis. CACM, 63(10):87-95, 2020. [doi]
Foo: a minimal modern OO calculusProdromos Gerakios, George Fourtounis, Yannis Smaragdakis. ECOOP 2015: [doi]
Java Wildcards Meet Definition-Site VarianceJohn Altidor, Christoph Reichenbach, Yannis Smaragdakis. ECOOP 2012: 509-534 [doi]
In defense of soundiness: a manifestoBenjamin 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. CACM, 58(2):44-46, 2015. [doi]
PQL: A Purely-Declarative Java Extension for Parallel ProgrammingChristoph Reichenbach, Yannis Smaragdakis, Neil Immerman. ECOOP 2012: 53-78 [doi]
Statically safe program generation with SafeGenShan Shan Huang, David Zook, Yannis Smaragdakis. SCP, 76(5):376-391, 2011. [doi]
Residual investigation: predictive and precise bug detectionKaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis. ISSTA 2012: 298-308 [doi]
DOLAR: virtualizing heterogeneous information spaces to support their expansionKostas Saidis, Yannis Smaragdakis, Alex Delis. SPE, 41(11):1349-1383, 2011. [doi]
Ethainter: a smart contract security analyzer for composite vulnerabilitiesLexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis. PLDI 2020: 454-469 [doi]
Symbolic Reasoning for Automatic Signal PlacementKostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis. sigops, 54(1):64-76, 2020. [doi]
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the roomAnastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, Yannis Smaragdakis. PLDI 2020: 794-807 [doi]
Introspective analysis: context-sensitivity, across the boardYannis Smaragdakis, George Kastrinis, George Balatsouras. PLDI 2014: 50 [doi]
Structured Program Generation TechniquesYannis Smaragdakis, Aggelos Biboudis, George Fourtounis. GTTSE 2017: 154-178 [doi]
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contractsYannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris. PACMPL, 5(OOPSLA):1-30, 2021. [doi]
Second-Order Constraints in Dynamic Invariant InferenceKaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young. se 2014: 93-94
Precise static modeling of Ethereum "memory"Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis. PACMPL, 4(OOPSLA), 2020. [doi]
Efficient and Effective Handling of Exceptions in Java Points-to AnalysisGeorge Kastrinis, Yannis Smaragdakis. CC 2013: 41-60 [doi]
Effectiveness of anonymization in double-blind reviewClaire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis. CACM, 61(6):30-33, 2018. [doi]
Defensive Points-To Analysis: Effective Soundness via LazinessYannis Smaragdakis, George Kastrinis. ECOOP 2018: [doi]
SEDGE: Symbolic example data generation for dataflow programsKaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner. ASE 2013: 235-245 [doi]
Home PageYannis Smaragdakis. http://www.cc.gatech.edu/~yannis/,
Residual Investigation: Predictive and Precise Bug DetectionKaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis. TOSEM, 24(2):7, 2014. [doi]
Elipmoc: advanced decompilation of Ethereum smart contractsNeville Grech, Sifis Lagouvardos, Ilias Tsatiris, Yannis Smaragdakis. PACMPL, 6(OOPSLA):1-27, 2022. [doi]
Static Analysis of Shape in TensorFlow Programs (Artifact)Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis. darts, 6(2), 2020. [doi]
Refactoring Java generics by inferring wildcards, in practiceJohn Altidor, Yannis Smaragdakis. OOPSLA 2014: 271-290 [doi]
Static analysis of Java dynamic proxiesGeorge Fourtounis, George Kastrinis, Yannis Smaragdakis. ISSTA 2018: 209-220 [doi]
A Datalog model of must-alias analysisGeorge Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis. PLDI 2017: 7-12 [doi]
Deep Static Modeling of invokedynamic (Artifact)George Fourtounis, Yannis Smaragdakis. darts, 5(2), 2019. [doi]
Hybrid context-sensitivity for points-to analysisGeorge Kastrinis, Yannis Smaragdakis. PLDI 2013: 423-434 [doi]
Pointer AnalysisYannis Smaragdakis, George Balatsouras. FTPL, 2(1):1-69, 2015. [doi]
Streams à la carte: Extensible Pipelines with Object Algebras (Artifact)Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis. darts, 1(1), 2015. [doi]
P/Taint: unified points-to and taint analysisNeville Grech, Yannis Smaragdakis. PACMPL, 1(OOPSLA), 2017. [doi]
Shooting from the heap: ultra-scalable static analysis with heap snapshotsNeville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis. ISSTA 2018: 198-208 [doi]
Scalability-first pointer analysis with self-tuning context-sensitivityYue Li 0006, Tian Tan 0001, Anders Møller, Yannis Smaragdakis. FSE 2018: 129-140 [doi]
Forsaking inheritance: supercharged delegation in DelphJProdromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis. OOPSLA 2013: 233-252 [doi]
Automating ad hoc data representation transformationsVlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky. OOPSLA 2015: 801-820 [doi]
ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022Sukyoung Ryu, Yannis Smaragdakis, editors, ACM, 2022. [doi]
Using Datalog for Fast and Easy Program AnalysisYannis Smaragdakis, Martin Bravenboer. datalog 2011: 245-251 [doi]
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, 2016Eelco Visser, Yannis Smaragdakis, editors, ACM, 2016. [doi]
Heaps don't lie: countering unsoundness with heap snapshotsNeville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis. PACMPL, 1(OOPSLA), 2017. [doi]
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, 2019Yannis Smaragdakis, editor, ACM, 2019. [doi]
Class hierarchy complementation: soundly completing a partial type graphGeorge Balatsouras, Yannis Smaragdakis. OOPSLA 2013: 515-532 [doi]
Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analysesTony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis. PLDI 2017: 25-30 [doi]
Reified type parameters using Java annotationsProdromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis. GPCE 2013: 61-64 [doi]
More Sound Static Handling of Java ReflectionYannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer. aplas 2015: 485-503 [doi]
Next-paradigm programming languages: what will they look like and what changes will they bring?Yannis Smaragdakis. OOPSLA 2019: 187-197 [doi]
Implementing reusable object-oriented componentsYannis Smaragdakis, Don S. Batory. icsr 1998: 36-45 [doi]
Automatic Partitioning: Prototyping Ubiquitous-Computing ApplicationsNikitas Liogkas, Blair MacIntyre, Elizabeth D. Mynatt, Yannis Smaragdakis, Eli Tilevich, Stephen Voida. pervasive, 3(3):40-47, 2004. [doi]
MadMax: surviving out-of-gas conditions in Ethereum smart contractsNeville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis. PACMPL, 2(OOPSLA), 2018. [doi]
Making pointer analysis more precise by unleashing the power of selective context sensitivityTian Tan 0001, Yue Li 0006, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis. PACMPL, 5(ICFP):1-27, 2021. [doi]
Set-based pre-processing for points-to analysisYannis Smaragdakis, George Balatsouras, George Kastrinis. OOPSLA 2013: 253-270 [doi]
Gigahorse: thorough, declarative decompilation of smart contractsNeville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis. ICSE 2019: 1176-1186 [doi]
Efficient Reflection String Analysis via Graph ColoringNeville Grech, George Kastrinis, Yannis Smaragdakis. ECOOP 2018: [doi]
Second-order constraints in dynamic invariant inferenceKaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young. FSE 2013: 103-113 [doi]
Stream fusion, to completenessOleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis. POPL 2017: 285-299 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL