Travelled to:1 × Belgium
1 × Czech Republic
1 × Estonia
1 × Hungary
1 × Portugal
1 × Russia
1 × Spain
1 × Switzerland
2 × China
2 × United Kingdom
20 × USA
4 × Germany
4 × Italy
6 × Canada
Collaborated with:C.Csallner S.S.Huang G.Kastrinis D.S.Batory E.Tilevich ∅ C.Reichenbach A.Biboudis D.Zook G.Balatsouras G.Fourtounis M.Bravenboer N.Grech J.Altidor K.Li P.Gerakios N.Immerman N.Palladinos M.Young B.McNamara Y.L.0006 T.T.0001 A.Møller K.Ferles O.Lhoták M.Might D.V.Horn N.Tillmann R.Subramanian M.Handte R.Cardone L.Coglianese H.Ackermann C.Müller V.Ureche M.Odersky A.Kay R.Behrends S.Urbanski M.Fleury A.Francalanza O.Kiselyov Jacob Van Geffen I.Dillig Y.Diao J.Evans C.Sadowski J.Yi C.Flanagan E.Aftandilian S.Z.Guyer N.Prokopaki-Kostopoulou Michael Kong Anton Jurisevic Lexi Brent B.Scholz
Talks about:program (14) analysi (14) generat (10) java (8) point (7) static (6) safe (6) context (5) sensit (5) object (4)
♂ Person: Yannis Smaragdakis
DBLP: Smaragdakis:Yannis
Facilitated 10 volumes:
ExpertReviewPaPrBoardExpertReviewPaPrBoardPrCo
Ed
PrCoPrCoEd
EdContributed to:
2015
201520152014
201420132013
20132013201320132012
2012
2012201120112010201020092009
20082008200720072007
2007200620062006200520112005
20052004
2004
2004
2004
2004200320022000
2000
20001999
19991998
2015201820182017201820182019
201920172018Wrote 64 papers:
- CC-2015-AckermannRMS #java #optimisation #runtime
- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.
- ECOOP-2015-BiboudisPFS #algebra #pipes and filters
- Streams a la carte: Extensible Pipelines with Object Algebras (AB, NP, GF, YS), pp. 591–613.
- OOPSLA-2015-UrecheBSO #ad hoc #automation #data transformation #representation
- Automating ad hoc data representation transformations (VU, AB, YS, MO), pp. 801–820.
- OOPSLA-2014-AltidorS #java #refactoring
- Refactoring Java generics by inferring wildcards, in practice (JA, YS), pp. 271–290.
- PLDI-2014-SmaragdakisKB #analysis #context-sensitive grammar
- Introspective analysis: context-sensitivity, across the board (YS, GK, GB), p. 50.
- ASE-2013-LiRSDC #data flow #generative #named #source code
- SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
- CC-2013-KastrinisS #analysis #effectiveness #exception #java #performance #points-to
- Efficient and Effective Handling of Exceptions in Java Points-to Analysis (GK, YS), pp. 41–60.
- ESEC-FSE-2013-LiRSY #constraints #higher-order #invariant
- Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.
- GPCE-2013-GerakiosBS #java #parametricity #using
- Reified type parameters using Java annotations (PG, AB, YS), pp. 61–64.
- OOPSLA-2013-BalatsourasS #graph
- Class hierarchy complementation: soundly completing a partial type graph (GB, YS), pp. 515–532.
- OOPSLA-2013-GerakiosBS #inheritance
- Forsaking inheritance: supercharged delegation in DelphJ (PG, AB, YS), pp. 233–252.
- OOPSLA-2013-SmaragdakisBK #analysis #points-to #preprocessor
- Set-based pre-processing for points-to analysis (YS, GB, GK), pp. 253–270.
- PLDI-2013-KastrinisS #analysis #context-sensitive grammar #hybrid #points-to
- Hybrid context-sensitivity for points-to analysis (GK, YS), pp. 423–434.
- ECOOP-2012-AltidorRS #java
- Java Wildcards Meet Definition-Site Variance (JA, CR, YS), pp. 509–534.
- ECOOP-2012-ReichenbachSI #java #named #parallel #programming
- PQL: A Purely-Declarative Java Extension for Parallel Programming (CR, YS, NI), pp. 53–78.
- ISSTA-2012-LiRCS #debugging #detection #precise #predict
- Residual investigation: predictive and precise bug detection (KL, CR, CC, YS), pp. 298–308.
- POPL-2012-SmaragdakisESYF #concurrent #detection #polynomial #predict
- Sound predictive race detection in polynomial time (YS, JE, CS, JY, CF), pp. 387–400.
- PLDI-2011-AltidorHS
- Taming the wildcards: combining definition- and use-site variance (JA, SSH, YS), pp. 602–613.
- POPL-2011-SmaragdakisBL #comprehension
- Pick your contexts well: understanding object-sensitivity (YS, MB, OL), pp. 17–30.
- OOPSLA-2010-ReichenbachISAG #garbage collection #what
- What can the GC compute efficiently?: a language for heap assertions at GC time (CR, NI, YS, EA, SZG), pp. 256–269.
- PLDI-2010-MightSH #functional #object-oriented #program analysis
- Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis (MM, YS, DVH), pp. 305–315.
- ISSTA-2009-BravenboerS #analysis #exception #points-to
- Exception analysis and points-to analysis: better together (MB, YS), pp. 1–12.
- OOPSLA-2009-BravenboerS #analysis #declarative #points-to #specification #strict
- Strictly declarative specification of sophisticated points-to analyses (MB, YS), pp. 243–262.
- ICSE-2008-CsallnerTS #execution #invariant #named #symbolic computation
- DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.
- PLDI-2008-HuangS
- Expressive and safe static reflection with MorphJ (SSH, YS), pp. 79–89.
- ASE-2007-SmaragdakisCS #automation #diagrams #generative #modelling #scalability #testing
- Scalable automatic test data generation from modeling diagrams (YS, CC, RS), pp. 4–13.
- ECOOP-2007-HuangZS #image #named
- Morphing: Safely Shaping a Class in the Image of Others (SSH, DZ, YS), pp. 399–424.
- OOPSLA-2007-SmaragdakisKBY #transaction
- Transactions with isolation and cooperation (YS, AK, RB, MY), pp. 191–210.
- TAP-2007-SmaragdakisC #debugging #detection #reasoning
- Combining Static and Dynamic Reasoning for Bug Detection (YS, CC), pp. 1–16.
- GPCE-2006-TilevichS #program transformation
- Transparent program transformations in the presence of opaque code (ET, YS), pp. 89–94.
- ICSE-2006-CsallnerS #interface #invariant
- Dynamically discovering likely interface invariants (CC, YS), pp. 861–864.
- ICSE-2006-HuangS #aspectj
- Easy language extension with meta-aspectJ (SSH, YS), pp. 865–868.
- ISSTA-2006-CsallnerS #analysis #debugging #hybrid #named
- DSD-Crasher: a hybrid analysis tool for bug finding (CC, YS), pp. 245–254.
- GPCE-2005-HuangZS #generative #static typing
- Statically Safe Program Generation with SafeGen (SSH, DZ, YS), pp. 309–326.
- GPCE-J-2005-HuangZS11 #generative #static typing
- Statically safe program generation with SafeGen (SSH, DZ, YS), pp. 376–391.
- ICSE-2005-CsallnerS #static analysis #testing
- Check’n’crash: combining static checking and testing (CC, YS), pp. 422–431.
- ICSE-2005-TilevichS #refactoring
- Binary refactoring: improving code behind the scenes (ET, YS), pp. 264–273.
- ICSM-2005-TilevichSH #java #legacy #named #web
- Appletizing: Running Legacy Java Code Remotely from a Web Browser (ET, YS, MH), pp. 91–100.
- GPCE-2004-ZookHS #aspectj #generative #source code
- Generating AspectJ Programs with Meta-AspectJ (DZ, SSH, YS), pp. 1–18.
- ISMM-2004-Smaragdakis #adaptation #policy
- General adaptive replacement policies (YS), pp. 108–119.
- PEPM-2004-SmaragdakisHZ #generative #tool support
- Program generators and the tools to make them (YS, SSH, DZ), pp. 92–100.
- PPDP-2004-Smaragdakis #generative #tool support
- Invited talk: program generators and the tools to make them (YS), pp. 7–8.
- SAS-2004-Smaragdakis #generative #tool support
- Program Generators and the Tools to Make Them (YS), pp. 19–20.
- ASE-2003-TilevichUSF #aspect-oriented
- Aspectizing Server-Side Distribution (ET, SU, YS, MF), pp. 130–141.
- ECOOP-2002-TilevichS #automation #clustering #java #named
- J-Orchestra: Automatic Java Application Partitioning (ET, YS), pp. 178–204.
- GCSE-2000-SmaragdakisB #c++ #mixin #programming
- Mixin-Based Programming in C++ (YS, DSB), pp. 163–177.
- ICFP-2000-McNamaraS #c++ #functional #programming
- Functional programming in C++ (BM, YS), pp. 118–129.
- SPLC-2000-BatoryCS #framework #object-oriented #product line
- Object-oriented frameworks and product lines (DSB, RC, YS), pp. 227–248.
- GCSE-1999-SmaragdakisB #generative
- Scoping Constructs for Software Generators (YS, DSB), pp. 65–78.
- WICSA-1999-BatorySC #adaptation #architecture
- Architectural Styles as Adaptors (DSB, YS, LC), pp. 203–224.
- ECOOP-1998-SmaragdakisB #design #implementation #mixin
- Implementing Layered Designs with Mixin Layers (YS, DSB), pp. 550–570.
- GTTSE-2015-SmaragdakisBF #generative
- Structured Program Generation Techniques (YS, AB, GF), pp. 154–178.
- ESEC-FSE-2018-LiTMS #analysis #context-sensitive grammar #pointer #self
- Scalability-first pointer analysis with self-tuning context-sensitivity (YL0, TT0, AM, YS), pp. 129–140.
- CC-2018-KastrinisBFPS #alias #analysis #data type #performance
- An efficient data structure for must-alias analysis (GK, GB, KF, NPK, YS), pp. 48–58.
- OOPSLA-2017-GrechFFS
- Heaps don't lie: countering unsoundness with heap snapshots (NG, GF, AF, YS), p. 27.
- OOPSLA-2017-GrechS #analysis #named #points-to
- P/Taint: unified points-to and taint analysis (NG, YS), p. 28.
- ECOOP-2018-GrechKS #analysis #graph #performance #string
- Efficient Reflection String Analysis via Graph Coloring (NG, GK, YS), p. 25.
- ECOOP-2018-SmaragdakisK #analysis #effectiveness #lazy evaluation #points-to
- Defensive Points-To Analysis: Effective Soundness via Laziness (YS, GK), p. 28.
- OOPSLA-2018-GrechKJBSS #contract #named
- MadMax: surviving out-of-gas conditions in Ethereum smart contracts (NG, MK, AJ, LB, BS, YS), p. 27.
- OOPSLA-2018-LiTMS #analysis #context-sensitive grammar #pointer
- Precision-guided context sensitivity for pointer analysis (YL0, TT0, AM, YS), p. 29.
- ECOOP-2019-FourtounisS #modelling
- Deep Static Modeling of invokedynamic (GF, YS), p. 28.
- Onward-2019-Smaragdakis #programming language #question #what
- Next-paradigm programming languages: what will they look like and what changes will they bring? (YS), pp. 187–197.
- POPL-2017-KiselyovBPS
- Stream fusion, to completeness (OK, AB, NP, YS), pp. 285–299.
- PLDI-2018-FerlesGDS #automation #reasoning
- Symbolic reasoning for automatic signal placement (KF, JVG, ID, YS), pp. 120–134.