Travelled to:1 × Croatia
1 × Italy
1 × Norway
1 × Russia
1 × Slovenia
1 × South Africa
1 × Sweden
10 × USA
2 × China
2 × Germany
2 × United Kingdom
5 × Canada
Collaborated with:F.Tip M.Vaziri M.Sridharan M.Schäfer A.A.Chien M.Pistoia S.Artzi C.Zhang C.Hammer O.Tripp S.Ryu E.Torlak ∅ B.G.Ryder J.Vitek A.Kiezun P.Liu J.Huang B.D.Sutter S.Lee L.Luo E.Bodden W.Huang Y.Dong A.Milanova B.Petrov M.T.Vechev N.Vasudevan O.Tardieu S.A.Edwards N.Kidd T.W.Reps S.Fink Y.Ko H.Lee S.Wei K.Ali M.Rapoport O.Lhoták A.Feldthaus S.Chandra S.H.Jensen A.Møller E.Geay T.Tateishi R.M.Fuhrer M.Keller Guillaume Baudart E.Duesterwald M.Hirzel A.Shinnar J.F.Santos P.Maksimovic Théotime Grohens P.Gardner Y.Zheng V.Ganesh S.Subramanian X.Zhang D.Marino S.Guarnieri S.Teilhet R.Berg M.A.Bornea A.Kementsietsidis K.Srinivas P.Dantressangle O.Udrea B.Bhattacharjee D.Dig A.M.Paradkar M.D.Ernst
Talks about:analysi (8) javascript (7) applic (7) object (5) web (5) program (4) concurr (4) static (4) effici (4) local (4)
Person: Julian Dolby
DBLP: Dolby:Julian
Contributed to:
2015
2015
2014
2013
2013
2013
201320122012201120112010201020102010
20092009
20092008200820072007
2006200520042000
19981997
20152016
2016
20182019
2018Wrote 38 papers:
- CAV-2015-ZhengGSTDZ #constraints #effectiveness #equation #regular expression #string
- Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints (YZ, VG, SS, OT, JD, XZ), pp. 235–254.
- ISSTA-2015-HuangDMD #analysis #android #precise #scalability
- Scalable and precise taint analysis for Android (WH, YD, AM, JD), pp. 106–117.
- ECOOP-2014-AliRLDT #graph #scala #source code
- Constructing Call Graphs of Scala Programs (KA, MR, OL, JD, FT), pp. 54–79.
- ESEC-FSE-2013-LiuDZ #composition
- Finding incorrect compositions of atomicity (PL, JD, CZ), pp. 158–168.
- 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.
- ICSE-2013-MarinoHDVTV #concurrent #detection #source code
- Detecting deadlock in programs with data-centric synchronization (DM, CH, JD, MV, FT, JV), pp. 322–331.
- PLDI-2013-HuangZD #concurrent #named
- CLAP: recording local executions to reproduce concurrency failures (JH, CZ, JD), pp. 141–152.
- PLDI-2013-SchaferSDT #analysis
- Dynamic determinacy analysis (MS, MS, JD, FT), pp. 165–174.
- SIGMOD-2013-BorneaDKSDUB #database #performance #rdf #relational
- Building an efficient RDF store over a relational database (MAB, JD, AK, KS, PD, OU, BB), pp. 121–132.
- ECOOP-2012-SridharanDCST #analysis #correlation #javascript #points-to
- Correlation Tracking for Points-To Analysis of JavaScript (MS, JD, SC, MS, FT), pp. 435–458.
- PLDI-2012-PetrovVSD #concurrent #detection #web
- Race detection for web applications (BP, MTV, MS, JD), pp. 251–262.
- ICSE-2011-ArtziDJMT #automation #framework #javascript #testing #web
- A framework for automated testing of javascript web applications (SA, JD, SHJ, AM, FT), pp. 571–580.
- ICSE-2011-SchaferSDT #flexibility #java #refactoring #source code
- Refactoring Java programs for flexible locking (MS, MS, JD, FT), pp. 71–80.
- ISSTA-2011-GuarnieriPTDTB #javascript #web
- Saving the world wide web from vulnerable JavaScript (SG, MP, OT, JD, ST, RB), pp. 177–187.
- ECOOP-2010-SchaferDSTT #concurrent #java #refactoring
- Correct Refactoring of Concurrent Java Code (MS, JD, MS, ET, FT), pp. 225–249.
- ECOOP-2010-VaziriTDHV #type system
- A Type System for Data-Centric Synchronization (MV, FT, JD, CH, JV), pp. 304–328.
- ICSE-2010-ArtziDTP #fault #locality #web
- Practical fault localization for dynamic web applications (SA, JD, FT, MP), pp. 265–274.
- ISSTA-2010-ArtziDTP #effectiveness #fault #generative #locality #testing
- Directed test generation for effective fault localization (SA, JD, FT, MP), pp. 49–60.
- PLDI-2010-TorlakVD #axiom #memory management #modelling #named #specification
- MemSAT: checking axiomatic specifications of memory models (ET, MV, JD), pp. 341–350.
- CC-2009-VasudevanTDE #analysis #concurrent #source code
- Compile-Time Analysis and Specialization of Clocks in Concurrent Programs (NV, OT, JD, SAE), pp. 48–62.
- ICSE-2009-GeayPTRD #analysis #composition #precise #string
- Modular string-sensitive permission analysis with demand-driven precision (EG, MP, TT, BGR, JD), pp. 177–187.
- VMCAI-2009-KiddRDV #debugging #random #using
- Finding Concurrency-Related Bugs Using Random Isolation (NK, TWR, JD, MV), pp. 198–213.
- ICSE-2008-HammerDVT #detection
- Dynamic detection of atomic-set-serializability violations (CH, JD, MV, FT), pp. 231–240.
- ISSTA-2008-ArtziKDTDPE #debugging #web
- Finding bugs in dynamic web applications (SA, AK, JD, FT, DD, AMP, MDE), pp. 261–272.
- ECOOP-2007-VaziriTFD #declarative #using
- Declarative Object Identity Using Relation Types (MV, FT, SF, JD), pp. 54–78.
- ESEC-FSE-2007-DolbyVT #debugging #satisfiability
- Finding bugs efficiently with a SAT solver (JD, MV, FT), pp. 195–204.
- POPL-2006-VaziriTD #constraints #object-oriented
- Associating synchronization constraints with data in an object-oriented language (MV, FT, JD), pp. 334–345.
- ECOOP-2005-FuhrerTKDK #java #library #refactoring
- Efficiently Refactoring Java Applications to Use Generic Libraries (RMF, FT, AK, JD, MK), pp. 71–96.
- ECOOP-2004-SutterTD #constraints #java #library #using
- Customization of Java Library Classes Using Type Constraints and Profile Information (BDS, FT, JD), pp. 585–610.
- PLDI-2000-DolbyC #automation #evaluation #optimisation
- An automatic object inlining optimization and its evaluation (JD, AAC), pp. 345–357.
- OOPSLA-1998-DolbyC #automation #evaluation
- An Evaluation of Automatic Object Inline Allocation Techniques (JD, AAC), pp. 1–20.
- PLDI-1997-Dolby #automation
- Automatic Inline Allocation of Objects (JD), pp. 7–17.
- ASE-2015-KoLDR #framework #javascript #scalability #static analysis
- Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T) (YK, HL, JD, SR), pp. 541–551.
- ASE-2016-LeeDR #android #framework #hybrid #named #static analysis
- HybriDroid: static analysis framework for Android hybrid applications (SL, JD, SR), pp. 250–261.
- FSE-2016-WeiTRD #javascript #locality #static analysis
- Revamping JavaScript static analysis via localization and remediation of root causes of imprecision (SW, OT, BGR, JD), pp. 487–498.
- Onward-2018-BaudartDDHS
- Protecting chatbots from toxic content (GB, JD, ED, MH, AS), pp. 99–110.
- ECOOP-2019-LuoDB #analysis #approach #editing #ide #named
- MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper) (LL, JD, EB), p. 25.
- PPDP-2018-SantosMGDG #execution #javascript #symbolic computation
- Symbolic Execution for JavaScript (JFS, PM, TG, JD, PG), p. 14.