Julian Dolby
Orcid: 0000-0002-6658-2678
According to our database1,
Julian Dolby
authored at least 109 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints.
Softw. Pract. Exp., March, 2024
TabSketchFM: Sketch-based Tabular Representation Learning for Data Discovery over Data Lakes.
CoRR, 2024
2023
Proc. VLDB Endow., 2023
Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning.
CoRR, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023
2022
Automatically Debugging AutoML Pipelines using Maro: ML Automated Remediation Oracle (Extended Version).
CoRR, 2022
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Automatically debugging AutoML pipelines using maro: ML automated remediation oracle.
Proceedings of the MAPS@PLDI 2022: 6th ACM SIGPLAN International Symposium on Machine Programming, 2022
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
Can Machines Read Coding Manuals Yet? - A Benchmark for Building Better Language Models for Code Understanding.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
IEEE Trans. Software Eng., 2021
Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks.
CoRR, 2021
Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021
Proceedings of the K-CAP '21: Knowledge Capture Conference, 2021
2020
Dagstuhl Artifacts Ser., 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020
2019
Proceedings of the Semantic Web - 16th International Conference, 2019
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper).
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
2018
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018
Proceedings of the 15th International Conference on Mining Software Repositories, 2018
SecureMR: secure mapreduce computation using homomorphic encryption and program partitioning.
Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018
Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018
2017
Z3str2: an efficient solver for strings, regular expressions, and length constraints.
Formal Methods Syst. Des., 2017
Proceedings of the 14th International Conference on Mining Software Repositories, 2017
Proceedings of the 1st IEEE/ACM International Workshop on API Usage and Evolution, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201).
Dagstuhl Reports, 2016
Proceedings of the Web Information Systems Engineering - WISE 2016, 2016
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Proceedings of the Semantic Web - ISWC 2016, 2016
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
2015
ACM Trans. Softw. Eng. Methodol., 2015
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015
Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
An Offline Optimal SPARQL Query Planning Approach to Evaluate Online Heuristic Planners.
Proceedings of the Web Information Systems Engineering - WISE 2014, 2014
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014
2013
Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
2012
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012
2011
Int. J. Softw. Tools Technol. Transf., 2011
Proceedings of the Runtime Verification - Second International Conference, 2011
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
2010
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.
IEEE Trans. Software Eng., 2010
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
2009
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the Compiler Construction, 18th International Conference, 2009
2008
Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the Semantic Web, 2007
Proceedings of the Semantic Web, 2007
The first workshop on programming languages and integrated development environments (PLIDE).
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
2005
The Jikes Research Virtual Machine project: Building an open-source research community.
IBM Syst. J., 2005
Proceedings of the ECOOP 2005, 2005
2004
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004
Customization of Java Library Classes Using Type Constraints and Profile Information.
Proceedings of the ECOOP 2004, 2004
2002
Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, 2002
2001
Proceedings of the High Performance Computing - HiPC 2001, 8th International Conference, 2001
2000
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000
1998
Evaluating High Level Parallel Programming Support for Irregular Applications in ICC++.
Softw. Pract. Exp., 1998
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998
1997
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997
Evaluation High Level Parallel Programming Support for Irregular Applications in ICC++.
Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, 1997
Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97), 1997
1996
Proceedings of the Object Technologies for Advanced Software, 1996
1994
Proceedings of the Specification of Parallel Algorithms, 1994