Julian Dolby

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 55

Top Venues

Publications

Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints. Softw. Pract. Exp. 54 (3) (2024)
Karl Munson, Chih-Kai Ting, Serenity Wade, Anish Savla, Julian Dolby, Kiran Kate, Kavitha Srinivas
Out of style: Misadventures with LLMs and code style transfer. CoRR (2024)
Aamod Khatiwada, Harsha Kokel, Ibrahim Abdelaziz, Subhajit Chaudhury, Julian Dolby, Oktie Hassanzadeh, Zhenhan Huang, Tejaswini Pedapati, Horst Samulowitz, Kavitha Srinivas
TabSketchFM: Sketch-based Tabular Representation Learning for Data Discovery over Data Lakes. CoRR (2024)
Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf
Model Generation For Java Frameworks. ICST (2023)
Kavitha Srinivas, Julian Dolby, Ibrahim Abdelaziz, Oktie Hassanzadeh, Harsha Kokel, Aamod Khatiwada, Tejaswini Pedapati, Subhajit Chaudhury, Horst Samulowitz
LakeBench: Benchmarks for Data Discovery over Data Lakes. CoRR (2023)
Ibrahim Abdelaziz, Julian Dolby, Udayan Khurana, Horst Samulowitz, Kavitha Srinivas
DataRinse: Semantic Transforms for Data preparation based on Code Mining. Proc. VLDB Endow. 16 (12) (2023)
Ibrahim Abdelaziz, Julian Dolby, Udayan Khurana, Horst Samulowitz, Kavitha Srinivas
SemFORMS: Automatic Generation of Semantic Transforms By Mining Data Science Code. IJCAI (2023)
Wenting Zhao, Ibrahim Abdelaziz, Julian Dolby, Kavitha Srinivas, Mossad Helali, Essam Mansour
Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning. CoRR (2023)
Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
The raise of machine learning hyperparameter constraints in Python code. ISSTA (2022)
Mossad Helali, Essam Mansour, Ibrahim Abdelaziz, Julian Dolby, Kavitha Srinivas
A Scalable AutoML Approach Based on Graph Neural Networks. Proc. VLDB Endow. 15 (11) (2022)
Joanna C. S. Santos, Julian Dolby
Program analysis using WALA (tutorial). ESEC/SIGSOFT FSE (2022)
Ibrahim Abdelaziz, Julian Dolby, Kavitha Srinivas
Large Scale Generation of Labeled Type Data for Python. CoRR (2022)
Ibrahim Abdelaziz, Julian Dolby, Jamie P. McCusker, Kavitha Srinivas
Can Machines Read Coding Manuals Yet? - A Benchmark for Building Better Language Models for Code Understanding. AAAI (2022)
Julian Dolby, Jason Tsay, Martin Hirzel
Automatically debugging AutoML pipelines using maro: ML automated remediation oracle. MAPS@PLDI (2022)
Julian Dolby, Jason Tsay, Martin Hirzel
Automatically Debugging AutoML Pipelines using Maro: ML Automated Remediation Oracle (Extended Version). CoRR (2022)
Ruchir Puri, David S. Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R. Choudhury, Lindsey Decker, Veronika Thost, Luca Buratti, Saurabh Pujar, Shyam Ramji, Ulrich Finkler, Susan Malaika, Frederick Reiss
CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. NeurIPS Datasets and Benchmarks (2021)
Mossad Helali, Essam Mansour, Ibrahim Abdelaziz, Julian Dolby, Kavitha Srinivas
A Scalable AutoML Approach Based on Graph Neural Networks. CoRR (2021)
Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhoták, Julian Dolby, Frank Tip
A Study of Call Graph Construction for JVM-Hosted Languages. IEEE Trans. Software Eng. 47 (12) (2021)
Ibrahim Abdelaziz, Julian Dolby, Jamie P. McCusker, Kavitha Srinivas
A Toolkit for Generating Code Knowledge Graphs. K-CAP (2021)
Ruchir Puri, David S. Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R. Choudhury, Lindsey Decker, Veronika Thost, Luca Buratti, Saurabh Pujar, Ulrich Finkler
Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. CoRR (2021)
Ibrahim Abdelaziz, Julian Dolby, Jamie P. McCusker, Kavitha Srinivas
Can Machines Read Coding Manuals Yet? - A Benchmark for Building Better Language Models for Code Understanding. CoRR (2021)
Ibrahim Abdelaziz, Kavitha Srinivas, Julian Dolby, Jamie P. McCusker
A Demonstration of CodeBreaker: A Machine Interpretable Knowledge Graph for Code. ISWC (Demos/Industry) (2020)
Ingkarat Rak-amnouykit, Daniel McCrevan, Ana Milanova, Martin Hirzel, Julian Dolby
Python 3 types in the wild: a tale of two type systems. DLS (2020)
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
Static Analysis of Shape in TensorFlow Programs. ECOOP (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, Wei-Cheng Wu
Efficient handling of string-number conversion. PLDI (2020)
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
Static Analysis of Shape in TensorFlow Programs (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Kavitha Srinivas, Ibrahim Abdelaziz, Julian Dolby, Jamie P. McCusker
Graph4Code: A Machine Interpretable Knowledge Graph for Code. CoRR (2020)
Daniil Tiganov, Jeff Cho, Karim Ali, Julian Dolby
SWAN: a static analysis framework for swift. ESEC/SIGSOFT FSE (2020)
Veronika Thost, Julian Dolby
QED: Out-of-the-Box Datasets for SPARQL Query Evaluation. ESWC (2019)
Linghui Luo, Julian Dolby, Eric Bodden
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper). ECOOP (2019)
Jinqiu Yang, Erik Wittern, Annie T. T. Ying, Julian Dolby, Lin Tan
Automatically Extracting Web API Specifications from HTML Documentation. CoRR (2018)
Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen
Ariadne: analysis for machine learning programs. MAPL@PLDI (2018)
Yao Dong, Ana Milanova, Julian Dolby
SecureMR: secure mapreduce using homomorphic encryption and program partitioning. PPOPP (2018)
Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar
Protecting chatbots from toxic content. Onward! (2018)
Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen
Ariadne: Analysis for Machine Learning Program. CoRR (2018)
Veronika Thost, Julian Dolby
QED: Out-of-the-box Datasets for SPARQL Query Evaluation. ISWC (P&D/Industry/BlueSky) (2018)
Kavitha Srinivas, Abraham Gale, Julian Dolby
Merging datasets through deep learning. CoRR (2018)
Jinqiu Yang, Erik Wittern, Annie T. T. Ying, Julian Dolby, Lin Tan
Towards extracting web API specifications from documentation. MSR (2018)
Yao Dong, Ana Milanova, Julian Dolby
SecureMR: secure mapreduce computation using homomorphic encryption and program partitioning. HotSoS (2018)
José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner
Symbolic Execution for JavaScript. PPDP (2018)
Xin Li, Hua Vy Le Thanh, Yuxin Deng, Julian Dolby
Generating Permission-Based Security Policies. DSA (2018)
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Jim Alain Laredo, Julian Dolby, Christopher C. Young, Aleksander Slominski
Opportunities in Software Engineering Research for Web API Consumption. WAPI@ICSE (2017)
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Julian Dolby, Jim Alain Laredo
Statically Checking Web API Requests in JavaScript. CoRR (2017)
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Julian Dolby, Jim Alain Laredo
Statically checking web API requests in JavaScript. ICSE (2017)
Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
Who you gonna call?: analyzing web requests in Android applications. MSR (2017)
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang
Z3str2: an efficient solver for strings, regular expressions, and length constraints. Formal Methods Syst. Des. 50 (2-3) (2017)
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Jim Alain Laredo, Julian Dolby, Christopher C. Young, Aleksander Slominski
Opportunities in Software Engineering Research for Web API Consumption. CoRR (2017)
Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
Who you gonna call? Analyzing Web Requests in Android Applications. CoRR (2017)
Vivek Kumar, Julian Dolby, Stephen M. Blackburn
Integrating Asynchronous Task Parallelism and Data-centric Atomicity. PPPJ (2016)
Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision. SIGSOFT FSE (2016)
Sungho Lee, Julian Dolby, Sukyoung Ryu
HybriDroid: static analysis framework for Android hybrid applications. ASE (2016)
Yao Dong, Ana Milanova, Julian Dolby
JCrypt: Towards Computation over Encrypted Data. PPPJ (2016)
Julian Dolby, Achille Fokoue, Mariano Rodriguez-Muro, Kavitha Srinivas, Wen Sun
Extending SPARQL for Data Analytic Tasks. ISWC (2) (2016)
Julian Dolby, Orna Grumberg, Peter Müller, Omer Tripp
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201). Dagstuhl Reports 6 (5) (2016)
Mihaela A. Bornea, Julian Dolby, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas, Mandana Vaziri
An Executable Specification for SPARQL. WISE (2) (2016)
Wei Huang, Yao Dong, Ana Milanova, Julian Dolby
Scalable and precise taint analysis for Android. ISSTA (2015)
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. CAV (1) (2015)
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
Type-Based Call Graph Construction Algorithms for Scala. ACM Trans. Softw. Eng. Methodol. 25 (1) (2015)
Julian Dolby
Program analysis for mobile: how and why to run WALA on your phone. MobileDeLi (2015)
Yoonseok Ko, Hongki Lee, Julian Dolby, Sukyoung Ryu
Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T). ASE (2015)
Achille Fokoue, Mihaela A. Bornea, Julian Dolby, Anastasios Kementsietsidis, Kavitha Srinivas
An Offline Optimal SPARQL Query Planning Approach to Evaluate Online Heuristic Planners. WISE (1) (2014)
Julian Dolby
To Dream the Impossible Dream: Toward Security Analysis for JavaScript. PLAS@ECOOP (2014)
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
Constructing Call Graphs of Scala Programs. ECOOP (2014)
Mihaela A. Bornea, Julian Dolby, Anastasios Kementsietsidis, Kavitha Srinivas, Patrick Dantressangle, Octavian Udrea, Bishwaranjan Bhattacharjee
Building an efficient RDF store over a relational database. SIGMOD Conference (2013)
Peng Liu, Julian Dolby, Charles Zhang
Finding incorrect compositions of atomicity. ESEC/SIGSOFT FSE (2013)
Jeff Huang, Charles Zhang, Julian Dolby
CLAP: recording local executions to reproduce concurrency failures. PLDI (2013)
Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
Dynamic determinacy analysis. PLDI (2013)
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek
Detecting deadlock in programs with data-centric synchronization. ICSE (2013)
Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
Efficient construction of approximate call graphs for JavaScript IDE services. ICSE (2013)
Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip
Correlation Tracking for Points-To Analysis of JavaScript. ECOOP (2012)
Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34 (1) (2012)
Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby
Race detection for web applications. PLDI (2012)
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia
Fault Localization for Dynamic Web Applications. IEEE Trans. Software Eng. 38 (2) (2012)
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri
Finding concurrency-related bugs using random isolation. Int. J. Softw. Tools Technol. Transf. 13 (6) (2011)
Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg
Saving the world wide web from vulnerable JavaScript. ISSTA (2011)
Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip
A framework for automated testing of javascript web applications. ICSE (2011)
Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
Refactoring Java programs for flexible locking. ICSE (2011)
William N. Sumner, Christian Hammer, Julian Dolby
Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. RV (2011)
Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek
A Type System for Data-Centric Synchronization. ECOOP (2010)
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia
Directed test generation for effective fault localization. ISSTA (2010)
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. IEEE Trans. Software Eng. 36 (4) (2010)
Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip
Correct Refactoring of Concurrent Java Code. ECOOP (2010)
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia
Practical fault localization for dynamic web applications. ICSE (1) (2010)
Emina Torlak, Mandana Vaziri, Julian Dolby
MemSAT: checking axiomatic specifications of memory models. PLDI (2010)
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri
Finding Concurrency-Related Bugs Using Random Isolation. VMCAI (2009)
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. CC (2009)
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby
Modular string-sensitive permission analysis with demand-driven precision. ICSE (2009)
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, Kavitha Srinivas
Extracting Enterprise Vocabularies Using Linked Open Data. ISWC (2009)
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, Kavitha Srinivas
Scalable highly expressive reasoner (SHER). J. Web Semant. 7 (4) (2009)
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Li Ma, Edith Schonberg, Kavitha Srinivas, Xingzhi Sun
Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases. ISWC (2008)
Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip
Dynamic detection of atomic-set-serializability violations. ICSE (2008)
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
Finding bugs in dynamic web applications. ISSTA (2008)
Chintan Patel, James J. Cimino, Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Li Ma, Edith Schonberg, Kavitha Srinivas
Matching Patient Records to Clinical Trials Using Ontologies. ISWC/ASWC (2007)
Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby
Declarative Object Identity Using Relation Types. ECOOP (2007)
Sean McDirmid, Robert M. Fuhrer, Julian Dolby, Eugene Vigdorchik
The first workshop on programming languages and integrated development environments (PLIDE). OOPSLA Companion (2007)
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Li Ma
Scalable Semantic Retrieval through Summarization and Refinement. AAAI (2007)
Julian Dolby, Mandana Vaziri, Frank Tip
Finding bugs efficiently with a SAT solver. ESEC/SIGSOFT FSE (2007)
Julian Dolby, James Fan, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Li Ma, J. William Murdock, Kavitha Srinivas, Christopher A. Welty
Scalable Cleanup of Information Extraction Data Using Ontologies. ISWC/ASWC (2007)
Philippe Charles, Julian Dolby, Robert M. Fuhrer, Stanley M. Sutton Jr., Mandana Vaziri
SAFARI: a meta-tooling framework for generating language-specific IDE's. OOPSLA Companion (2006)
Mandana Vaziri, Frank Tip, Julian Dolby
Associating synchronization constraints with data in an object-oriented language. POPL (2006)

Julian Dolby.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Julian Dolby