Julian Dolby
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
60
Venues
22
Active years
1997–2025
Best venue rank
A*
Where they publish
Papers
60 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECOOP | PoTo: A Hybrid Andersen's Points-To Analysis for Python. | Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby |
| 2025 | ICDE | TabSketchFM: Sketch-Based Tabular Representation Learning for Data Discovery Over Data Lakes. | Aamod Khatiwada, Harsha Kokel, Ibrahim Abdelaziz, Subhajit Chaudhury, Julian Dolby, Oktie Hassanzadeh, Zhenhan Huang, Tejaswini Pedapati, Horst Samulowitz, Kavitha Srinivas |
| 2023 | IJCAI | SemFORMS: Automatic Generation of Semantic Transforms By Mining Data Science Code. | Ibrahim Abdelaziz, Julian Dolby, Udayan Khurana, Horst Samulowitz, Kavitha Srinivas |
| 2023 | ICST | Model Generation For Java Frameworks. | Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schf |
| 2022 | AAAI | Can Machines Read Coding Manuals Yet? - A Benchmark for Building Better Language Models for Code Understanding. | Ibrahim Abdelaziz, Julian Dolby, Jamie P. McCusker, Kavitha Srinivas |
| 2022 | ISSTA | The raise of machine learning hyperparameter constraints in Python code. | Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby |
| 2022 | PLDI | Automatically debugging AutoML pipelines using maro: ML automated remediation oracle. | Julian Dolby, Jason Tsay, Martin Hirzel |
| 2020 | DLS | Python 3 types in the wild: a tale of two type systems. | Ingkarat Rak-amnouykit, Daniel McCrevan, Ana L. Milanova, Martin Hirzel, Julian Dolby |
| 2020 | ECOOP | Static Analysis of Shape in TensorFlow Programs. | Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis |
| 2020 | PLDI | Efficient handling of string-number conversion. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Luks Holk, Wei-Cheng Wu |
| 2019 | ECOOP | MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper). | Linghui Luo, Julian Dolby, Eric Bodden |
| 2018 | MSR | Towards extracting web API specifications from documentation. | Jinqiu Yang, Erik Wittern, Annie T. T. Ying, Julian Dolby, Lin Tan |
| 2018 | OOPSLA | Protecting chatbots from toxic content. | Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar |
| 2018 | PLDI | Ariadne: analysis for machine learning programs. | Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen |
| 2018 | PPDP | Symbolic Execution for JavaScript. | Jos Fragoso Santos, Petar Maksimovic, Thotime Grohens, Julian Dolby, Philippa Gardner |
| 2018 | PPoPP | SecureMR: secure mapreduce using homomorphic encryption and program partitioning. | Yao Dong, Ana L. Milanova, Julian Dolby |
| 2017 | ICSE | Statically checking web API requests in JavaScript. | Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Julian Dolby, Jim Alain Laredo |
| 2017 | ICSE | Opportunities in Software Engineering Research for Web API Consumption. | Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Jim Alain Laredo, Julian Dolby, Christopher C. Young, Aleksander Slominski |
| 2017 | MSR | Who you gonna call?: analyzing web requests in Android applications. | Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhotk, Julian Dolby |
| 2016 | WISE | An Executable Specification for SPARQL. | Mihaela A. Bornea, Julian Dolby, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas, Mandana Vaziri |
| 2015 | CAV | Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. | Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang |
| 2015 | ISSTA | Scalable and precise taint analysis for Android. | Wei Huang, Yao Dong, Ana L. Milanova, Julian Dolby |
| 2015 | OOPSLA | Program analysis for mobile: how and why to run WALA on your phone. | Julian Dolby |
| 2014 | ECOOP | Constructing Call Graphs of Scala Programs. | Karim Ali, Marianna Rapoport, Ondrej Lhotk, Julian Dolby, Frank Tip |
| 2014 | ECOOP | To Dream the Impossible Dream: Toward Security Analysis for JavaScript. | Julian Dolby |
| 2014 | WISE | An Offline Optimal SPARQL Query Planning Approach to Evaluate Online Heuristic Planners. | Achille Fokoue, Mihaela A. Bornea, Julian Dolby, Anastasios Kementsietsidis, Kavitha Srinivas |
| 2013 | ICSE | Efficient construction of approximate call graphs for JavaScript IDE services. | Asger Feldthaus, Max Schfer, Manu Sridharan, Julian Dolby, Frank Tip |
| 2013 | ICSE | Detecting deadlock in programs with data-centric synchronization. | Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek |
| 2013 | PLDI | CLAP: recording local executions to reproduce concurrency failures. | Jeff Huang, Charles Zhang, Julian Dolby |
| 2013 | PLDI | Dynamic determinacy analysis. | Max Schfer, Manu Sridharan, Julian Dolby, Frank Tip |
| 2013 | SIGMOD | Building an efficient RDF store over a relational database. | Mihaela A. Bornea, Julian Dolby, Anastasios Kementsietsidis, Kavitha Srinivas, Patrick Dantressangle, Octavian Udrea, Bishwaranjan Bhattacharjee |
| 2012 | ECOOP | Correlation Tracking for Points-To Analysis of JavaScript. | Manu Sridharan, Julian Dolby, Satish Chandra, Max Schfer, Frank Tip |
| 2012 | PLDI | Race detection for web applications. | Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby |
| 2011 | ICSE | A framework for automated testing of javascript web applications. | Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Mller, Frank Tip |
| 2011 | ICSE | Refactoring Java programs for flexible locking. | Max Schfer, Manu Sridharan, Julian Dolby, Frank Tip |
| 2011 | ISSTA | Saving the world wide web from vulnerable JavaScript. | Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg |
| 2011 | RV | Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. | William N. Sumner, Christian Hammer, Julian Dolby |
| 2010 | ECOOP | Correct Refactoring of Concurrent Java Code. | Max Schfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip |
| 2010 | ECOOP | A Type System for Data-Centric Synchronization. | Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek |
| 2010 | ICSE | Practical fault localization for dynamic web applications. | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
| 2010 | ISSTA | Directed test generation for effective fault localization. | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
| 2010 | PLDI | MemSAT: checking axiomatic specifications of memory models. | Emina Torlak, Mandana Vaziri, Julian Dolby |
| 2009 | CC | Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. | Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards |
| 2009 | ICSE | Modular string-sensitive permission analysis with demand-driven precision. | Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby |
| 2009 | VMCAI | Finding Concurrency-Related Bugs Using Random Isolation. | Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri |
| 2008 | ICSE | Dynamic detection of atomic-set-serializability violations. | Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip |
| 2008 | ISSTA | Finding bugs in dynamic web applications. | Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst |
| 2007 | AAAI | Scalable Semantic Retrieval through Summarization and Refinement. | Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Li Ma |
| 2007 | ECOOP | Declarative Object Identity Using Relation Types. | Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby |
| 2007 | OOPSLA | The first workshop on programming languages and integrated development environments (PLIDE). | Sean McDirmid, Robert M. Fuhrer, Julian Dolby, Eugene Vigdorchik |
| 2006 | OOPSLA | SAFARI: a meta-tooling framework for generating language-specific IDE's. | Philippe Charles, Julian Dolby, Robert M. Fuhrer, Stanley M. Sutton Jr., Mandana Vaziri |
| 2006 | POPL | Associating synchronization constraints with data in an object-oriented language. | Mandana Vaziri, Frank Tip, Julian Dolby |
| 2005 | ECOOP | Efficiently Refactoring Java Applications to Use Generic Libraries. | Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller |
| 2004 | ECOOP | Customization of Java Library Classes Using Type Constraints and Profile Information. | Bjorn De Sutter, Frank Tip, Julian Dolby |
| 2004 | OOPSLA | Validating structural properties of nested objects. | Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Julian Dolby, Aaron Kershenbaum, Larry Koved |
| 2001 | HiPC | High-Performance Scalable Java Virtual Machines. | Vivek Sarkar, Julian Dolby |
| 2000 | PLDI | An automatic object inlining optimization and its evaluation. | Julian Dolby, Andrew A. Chien |
| 1998 | OOPSLA | An Evaluation of Automatic Object Inline Allocation Techniques. | Julian Dolby, Andrew A. Chien |
| 1997 | HIPS | Supporting High Level Programming with High Performance: The Illinois Concert Syste. | Andrew A. Chien, Julian Dolby, Bishwaroop Ganguly, Vijay Karamcheti, Xingbin Zhang |
| 1997 | PLDI | Automatic Inline Allocation of Objects. | Julian Dolby |