Travelled to:1 × China
1 × Slovenia
1 × Spain
1 × Switzerland
1 × United Kingdom
3 × Italy
7 × USA
Collaborated with:O.d.Moor F.Tip M.Sridharan J.Dolby T.Ekman L.J.Hendren A.Feldthaus P.Avgustinov T.D.Millstein S.Radpour V.Raychev M.T.Vechev M.Verbaere M.P.Jones S.Chandra A.Møller E.Torlak H.Samimi S.Artzi A.I.Baars A.S.Henriksen R.G.Lavender G.Menzel J.Tibble
Talks about:refactor (7) javascript (3) analysi (3) java (3) track (2) type (2) characterist (1) determinaci (1) constraint (1) implement (1)
Person: Max Schäfer
DBLP: Sch=auml=fer:Max
Contributed to:
2015
20132013
2013
2013
201220122011201120102010
20102009
200920082016Wrote 16 papers:
- ICSE-v1-2015-AvgustinovBHLMM #developer #static analysis
- Tracking Static Analysis Violations over Time to Capture Developer Characteristics (PA, AIB, ASH, RGL, GM, OdM, MS, JT), pp. 437–447.
- CC-2013-RadpourHS #matlab #refactoring
- Refactoring MATLAB (SR, LJH, MS), pp. 224–243.
- ICSE-2013-FeldthausSSDT #approximate #graph #ide #javascript #performance
- Efficient construction of approximate call graphs for JavaScript IDE services (AF, MS, MS, JD, FT), pp. 752–761.
- OOPSLA-2013-RaychevSSV #refactoring #synthesis
- Refactoring with synthesis (VR, MS, MS, MTV), pp. 339–354.
- PLDI-2013-SchaferSDT #analysis
- Dynamic determinacy analysis (MS, MS, JD, FT), pp. 165–174.
- ECOOP-2012-SridharanDCST #analysis #correlation #javascript #points-to
- Correlation Tracking for Points-To Analysis of JavaScript (MS, JD, SC, MS, FT), pp. 435–458.
- ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #php #string #theorem proving #using
- Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
- ICSE-2011-SchaferSDT #flexibility #java #refactoring #source code
- Refactoring Java programs for flexible locking (MS, MS, JD, FT), pp. 71–80.
- OOPSLA-2011-FeldthausMMST #javascript #refactoring
- Tool-supported refactoring for JavaScript (AF, TDM, AM, MS, FT), pp. 119–138.
- ECOOP-2010-SchaferDSTT #concurrent #java #refactoring
- Correct Refactoring of Concurrent Java Code (MS, JD, MS, ET, FT), pp. 225–249.
- OOPSLA-2010-SchaferM #implementation #refactoring #specification
- Specifying and implementing refactorings (MS, OdM), pp. 286–301.
- POPL-2010-SchaferM #datalog #type inference
- Type inference for datalog with complex type hierarchies (MS, OdM), pp. 145–156.
- ECOOP-2009-SchaferVEM #refactoring
- Stepping Stones over the Refactoring Rubicon (MS, MV, TE, OdM), pp. 369–393.
- ESOP-2009-SchaferEM #attribute grammar #coq #formal method #verification
- Formalising and Verifying Reference Attribute Grammars in Coq (MS, TE, OdM), pp. 143–159.
- OOPSLA-2008-SchaferEM #java
- Sound and extensible renaming for java (MS, TE, OdM), pp. 277–294.
- ECOOP-2016-AvgustinovMJS #named #object-oriented #query #relational
- QL: Object-oriented Queries on Relational Data (PA, OdM, MPJ, MS), p. 25.