Travelled to:1 × Finland
1 × Ireland
1 × Japan
1 × Poland
1 × Slovenia
1 × South Africa
1 × Spain
1 × Taiwan
18 × USA
2 × China
2 × Czech Republic
2 × Hungary
2 × Switzerland
2 × The Netherlands
2 × United Kingdom
3 × France
3 × Germany
3 × Italy
5 × Canada
Collaborated with:M.Eichberg K.Ostermann S.Erdweg T.Schäfer M.Monperrus G.Salvaneschi J.Lerch E.Bodden C.Bockisch A.Charfi K.J.Lieberherr A.Sewe B.Hermann M.Bruch G.Kiczales ∅ R.Mogk T.Dinkelaker S.Kloppenburg M.Reif R.Knöll S.Grewe J.Drechsler M.Haupt V.Gasiunas S.Amann M.Aly M.Martin S.Nadi W.Binder S.Proksch K.Klose V.Cepa A.P.Buchmann S.Herrmann R.Mitschke M.Akşit M.Arnold J.Späth O.Bracevac E.Kuci S.Kanthak L.Glanz A.Sarimbekov M.Köhler S.Henß M.Kimmig H.Müller J.Jonas D.H.Lorenz L.M.Seiter S.Krüger K.A.0001 D.Ansaloni P.Wittmann B.Schmeling M.Cilia L.Fiege G.Mühl J.U.Pipka T.Dittmar W.Boot Michael Raulf A.Pacak M.Krebs J.Sinschek H.Oueslati H.Yin M.Kahl D.Saha I.Aracic M.Merz B.Rank D.Germanus L.Mrokon T.Schuh D.Helm F.Kübler A.Bejleri L.Baumgärtner B.Freisleben Matthias Eichholz Eric Campbell N.Foster S.Arzt K.Ali T.Tolêdo M.Ribeiro C.Brabrand P.Borba Daniel Sokolowski P.Haller N.P.Ricci S.Z.Guyer Y.Zheng L.Marek A.Villazón P.Tuma Z.Qi F.Göpfert F.G.0001 C.Weinert D.Demmler R.Kamath
Talks about:softwar (11) program (11) languag (8) model (8) type (7) java (7) toward (6) system (6) orient (6) code (6)
♀ Person: Mira Mezini
DBLP: Mezini:Mira
Facilitated 6 volumes:
PrCo
EdPrCh
PrCo
Ed
EdContributed to:
2015
2015
2015
20142014
2013
2013
2013
2013
2013
2012
2012
2012
20122011201120112011
2011201320112012
2010
20102010
20102009200920082007
2007
200720062006
200620062005
20052005
2005
2005200420042004
20032003200220022001200020001999199919981997199720152016201620172017201820172018201820192019
20162018Wrote 79 papers:
- ESEC-FSE-2015-EichbergHMG
- Hidden truths in dead software paths (ME, BH, MM, LG), pp. 474–484.
- ESEC-FSE-2015-HermannREM #java #towards
- Getting to know you: towards a capability model for Java (BH, MR, ME, MM), pp. 758–769.
- OOPSLA-2015-ErdwegBKKM #incremental #type checking
- A co-contextual formulation of type rules and its application to incremental type checking (SE, OB, EK, MK, MM), pp. 880–897.
- Onward-2015-ArztNABEM #encryption #integration #towards
- Towards secure integration of cryptographic software (SA, SN, KA, EB, SE, MM), pp. 1–13.
- Onward-2015-GreweEWM #performance #proving #type system
- Type systems for the masses: deriving soundness proofs and efficient checkers (SG, SE, PW, MM), pp. 137–150.
- FSE-2014-LerchHBM #analysis #named #performance #scalability
- FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases (JL, BH, EB, MM), pp. 98–108.
- FSE-2014-SalvaneschiAPM #comprehension #empirical #programming
- An empirical study on program comprehension with reactive programming (GS, SA, SP, MM), pp. 564–575.
- OOPSLA-2014-DrechslerSMM #algorithm #distributed #programming
- Distributed REScala: an update algorithm for distributed reactive programming (JD, GS, RM, MM), pp. 361–376.
- OOPSLA-2014-MitschkeEKMS #named
- i3QL: language-integrated live data views (RM, SE, MK, MM, GS), pp. 417–432.
- CSMR-2013-LerchM #debugging
- Finding Duplicates of Your Yet Unwritten Bug Report (JL, MM), pp. 69–78.
- EDOC-2013-AlyCEM #interface #multi #named
- XPoints: Extension Interfaces for Multilayered Applications (MA, AC, SE, MM), pp. 237–246.
- GPCE-2013-MartinME #reuse
- Template constructors for reusable object initialization (MM, MM, SE), pp. 43–52.
- ICPC-2013-AlyCM #comprehension #towards
- Building extensions for applications: Towards the understanding of extension possibilities (MA, AC, MM), pp. 182–191.
- PLDI-2013-BoddenTRBBM #named #product line
- SPLLIFT: statically analyzing software product lines in minutes instead of years (EB, TT, MR, CB, PB, MM), pp. 355–364.
- CAiSE-2012-SchmelingCMM #composition #non-functional #towards
- Towards Conflict-Free Composition of Non-functional Concerns (BS, AC, MM, MM), pp. 80–94.
- ICSE-2012-HenssMM #automation #development
- Semi-automatically extracting FAQs to improve accessibility of software development knowledge (SH, MM, MM), pp. 793–803.
- ISMM-2012-SeweMSABRG #behaviour #comparison #java #memory management #scala #source code
- new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs (AS, MM, AS, DA, WB, NPR, SZG), pp. 97–108.
- TOOLS-EUROPE-2012-ZhengAMSBVTQM #bytecode #partial evaluation
- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation (YZ, DA, LM, AS, WB, AV, PT, ZQ, MM), pp. 353–368.
- ASE-2011-KimmigMM #natural language #query #source code
- Querying source code with natural language (MK, MM, MM), pp. 376–379.
- ICSE-2011-BoddenSSOM #static analysis
- Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders (EB, AS, JS, HO, MM), pp. 241–250.
- OOPSLA-2011-SeweMSB #analysis #benchmark #design #java #metric #scala #virtual machine
- Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine (AS, MM, AS, WB), pp. 657–676.
- Onward-2011-KnollGM
- Naturalistic types (RK, VG, MM), pp. 33–48.
- SAC-2011-DinkelakerEM #embedded #incremental #syntax
- Incremental concrete syntax for embedded languages (TD, ME, MM), pp. 1309–1316.
- SAC-PL-J-2011-DinkelakerEM13 #compilation #embedded #incremental #syntax
- Incremental concrete syntax for embedded languages with support for separate compilation (TD, ME, MM), pp. 615–632.
- TOOLS-EUROPE-2011-BockischSMA #execution #overview
- An Overview of ALIA4J — An Execution Model for Advanced-Dispatching Languages (CB, AS, MM, MA), pp. 131–146.
- TOOLS-EUROPE-J-2011-BockischSYMA12
- An In-Depth Look at ALIA4J (CB, AS, HY, MM, MA), pp. 1–28.
- CBSE-2010-EichbergKMM #component #composition #feature model #modelling #using
- Component Composition Using Feature Models (ME, KK, RM, MM), pp. 200–215.
- ECMFA-2010-CharfiMM #aspect-oriented #modelling #process
- Aspect-Oriented Business Process Modeling with AO4BPMN (AC, HM, MM), pp. 48–61.
- ECMFA-2010-EichbergMKM #execution #modelling
- Model-Driven Engineering of Machine Executable Code (ME, MM, SK, MM), pp. 104–115.
- ECOOP-2010-MonperrusBM #detection #object-oriented
- Detecting Missing Method Calls in Object-Oriented Software (MM, MB, MM), pp. 2–25.
- MSR-2010-BruchMM #framework #mining #reuse #subclass
- Mining subclassing directives to improve framework reuse (MB, MM, MM), pp. 141–150.
- ESEC-FSE-2009-BruchMM #code completion #learning
- Learning from examples to improve code completion systems (MB, MM, MM), pp. 213–222.
- OOPSLA-2009-KnollM #named #pattern matching
- pi: a pattern language (RK, MM), pp. 503–522.
- ICSE-2008-EichbergKKM #dependence
- Defining and continuous checking of structural program dependencies (ME, SK, KK, MM), pp. 391–400.
- ICSE-2008-SchaferJM #framework #mining
- Mining framework usage changes from instantiation code (TS, JJ, MM), pp. 471–480.
- OOPSLA-2007-GasiunasMO
- Dependent classes (VG, MM, KO), pp. 133–152.
- PADL-2007-EichbergKSMO #analysis #automation #prolog
- Automatic Incrementalization of Prolog Based Static Analyses (ME, MK, DS, MM, KO), pp. 109–123.
- WCRE-2007-SchaferAMMO #clustering #framework #generative
- Clustering for Generating Framework Top-Level Views (TS, IA, MM, MM, KO), pp. 239–248.
- ASE-2006-EichbergMKOR #analysis #scheduling #set
- Integrating and Scheduling an Open Set of Static Analyses (ME, MM, SK, KO, BR), pp. 113–122.
- CSMR-2006-EichbergGMMS #framework #named
- QScope: an Open, Extensible Framework for Measuring Software Projects (ME, DG, MM, LM, TS), pp. 113–122.
- LDTA-2006-EichbergKKMS #analysis #incremental
- Incremental Confined Types Analysis (ME, SK, SK, MM, TS), pp. 81–96.
- OOPSLA-2006-BockischADM #adaptation #virtual machine
- Adapting virtual machine techniques for seamless aspect support (CB, MA, TD, MM), pp. 109–124.
- OOPSLA-2006-BockischKHAM #control flow #performance #quantifier
- Efficient control flow quantification (CB, SK, MH, MA, MM), pp. 125–138.
- ECOOP-2005-KiczalesM
- Separation of Concerns with Procedures, Annotations, Advice and Pointcuts (GK, MM), pp. 195–213.
- ECOOP-2005-OstermannMB #composition
- Expressive Pointcuts for Increased Modularity (KO, MM, CB), pp. 214–240.
- FASE-2005-EichbergSM #using
- Using Annotations to Check Structural Properties of Classes (ME, TS, MM), pp. 237–252.
- ICSE-2005-KiczalesM #aspect-oriented #composition #programming #reasoning
- Aspect-oriented programming and modular reasoning (GK, MM), pp. 49–58.
- ICSM-2005-EichbergHMS #comprehension
- Comprehensive Software Understanding with SEXTANT (ME, MH, MM, TS), pp. 315–324.
- VISSOFT-2005-SchaferM #flexibility #tool support #towards #visualisation
- Towards More Flexibility in Software Visualization Tools (TS, MM), pp. 64–69.
- FSE-2004-MeziniO #aspect-oriented #feature model #programming #variability
- Variability management with feature-oriented programming and aspects (MM, KO), pp. 127–136.
- GPCE-2004-CepaM #dependence #dot-net
- Declaring and Enforcing Dependencies Between .NET Custom Attributes (VC, MM), pp. 283–297.
- WCRE-2004-EichbergMOS #development #kernel #named
- XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments (ME, MM, KO, TS), pp. 182–191.
- AdaEurope-2003-MeziniO #modelling
- Modules for Crosscutting Models (MM, KO), pp. 24–44.
- GPCE-2003-CiliaHMB #aspect-oriented #convergence #database #middleware #towards
- The Convergence of AOP and Active Databases: Towards Reactive Middleware (MC, MH, MM, APB), pp. 169–188.
- ECOOP-2002-FiegeMMB
- Engineering Event-Based Systems with Scopes (LF, MM, GM, APB), pp. 309–333.
- OOPSLA-2002-MeziniO #component #independence #on-demand
- Integrating independent components with on-demand remodularization (MM, KO), pp. 52–67.
- OOPSLA-2001-OstermannM #composition #object-oriented
- Object-Oriented Composition Untangled (KO, MM), pp. 283–299.
- ICSE-2000-LieberherrLM #composition #object-oriented #reuse
- Building modular object-oriented systems with reusable collaborations (KJL, DHL, MM), p. 821.
- OOPSLA-2000-HerrmannM #case study #multi #named #re-engineering
- PIROL: a case study for multidimensional separation of concerns in software engineering environments (SH, MM), pp. 188–207.
- GCSE-1999-SeiterML #component
- Dynamic Component Gluing (LMS, MM, KJL), pp. 134–164.
- TOOLS-USA-1999-MeziniPDB #detection #evolution #java
- Detecting Evolution Incompatibilities by Analyzing Java Binaries (MM, JUP, TD, WB), pp. 126–135.
- OOPSLA-1998-MeziniL #adaptation #component #development
- Adaptive Plug-and-Play Components for Evolutionary Software Development (MM, KJL), pp. 97–116.
- ECOOP-1997-Mezini #evolution
- Dynamic Object Evolution without Name Collisions (MM), pp. 190–219.
- OOPSLA-1997-Mezini #consistency #evolution #library #maintenance
- Maintaining the Consistency of Class Libraries During Their Evolution (MM), pp. 1–21.
- ASE-2015-LerchSBM #abstraction #analysis #bound #data flow #scalability
- Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T) (JL, JS, EB, MM), pp. 619–629.
- ASE-2016-ProkschANM #recommendation
- Evaluating the evaluations of code recommender systems: a reality check (SP, SA, SN, MM), pp. 111–121.
- FSE-2016-ReifEHLM #graph #java #library
- Call graph construction for Java libraries (MR, ME, BH, JL, MM), pp. 474–486.
- ASE-2017-KrugerNRAMBGGWD #developer #encryption #named #using
- CogniCrypt: supporting developers in using cryptography (SK, SN, MR, KA0, MM, EB, FG, FG0, CW, DD, RK), pp. 931–936.
- ESEC-FSE-2017-GlanzAERHLM #named #obfuscation
- CodeMatch: obfuscation won't conceal your repackaged app (LG, SA, ME, MR, BH, JL, MM), pp. 638–648.
- ASE-2018-HelmKERM #analysis #framework
- A unified lattice model and framework for purity analyses (DH, FK, ME, MR, MM), pp. 340–350.
- ECOOP-2017-KuciEBBM #java
- A Co-contextual Type Checker for Featherweight Java (EK, SE, OB, AB, MM), p. 26.
- ECOOP-2018-KrugerS0BM #api #approach #encryption #named #validation
- CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (SK, JS, KA0, EB, MM), p. 27.
- ECOOP-2018-MogkBSFM #distributed #fault tolerance #programming
- Fault-tolerant Distributed Reactive Programming (RM, LB, GS, BF, MM), p. 26.
- OOPSLA-2018-DrechslerMSM #programming #thread
- Thread-safe reactive programming (JD, RM, GS, MM), p. 30.
- ECOOP-2019-EichholzCFSM #how #programming #type safety
- How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 (ME, EC, NF, GS, MM), p. 28.
- OOPSLA-2019-MogkDSM #distributed #fault tolerance #interactive #programming
- A fault-tolerant programming model for distributed interactive applications (RM, JD, GS, MM), p. 29.
- OOPSLA-2019-SalvaneschiKSHE #distributed #privacy #query
- Language-integrated privacy-aware distributed queries (GS, MK, DS, PH, SE, MM), p. 30.
- PPDP-2016-GreweERM #compilation #first-order #logic #specification
- Exploration of language specifications by compilation to first-order logic (SG, SE, MR, MM), pp. 104–117.
- PPDP-2018-GreweEPM #automation #framework #proving #theorem proving
- System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers (SG, SE, AP, MM), p. 10.