BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sch=auml=fer:Max

Contributed to:

ICSE 20152015
CC 20132013
ICSE 20132013
OOPSLA 20132013
PLDI 20132013
ECOOP 20122012
ICSE 20122012
ICSE 20112011
OOPSLA 20112011
ECOOP 20102010
OOPSLA 20102010
POPL 20102010
ECOOP 20092009
ESOP 20092009
OOPSLA 20082008
ECOOP 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.