Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints
- Ingkarat Rak-amnouykit
- Ana Milanova
- et al.
- 2023
- Software - Practice and Experience
Publications
Date
Featured collections
Popular topics
64 results for Julian Dolby
Model Generation For Java Frameworks
- Linghui Luo
- Goran Piskachev
- et al.
- 2023
- ICST 2023
The raise of machine learning hyperparameter constraints in Python code
- Ingkarat Rak-Amnouykit
- Ana Milanova
- et al.
- 2022
- ISSTA 2022
Can Machines Read Coding Manuals Yet? – A Benchmark for Building Better Language Models for Code Understanding
- Ibrahim Abdelaziz
- Julian Dolby
- et al.
- 2022
- AAAI 2022
A Toolkit for Generating Code Knowledge Graphs
- Ibrahim Abdelaziz
- Julian Dolby
- et al.
- 2021
- K-CAP 2021
A Study of Call Graph Construction for JVM-Hosted Languages
- Karim Ali
- Xiaoni Lai
- et al.
- 2021
- IEEE TSE
Speeding up OPC by leveraging existing designs with machine learning
- Cheng Chi
- Julian Dolby
- et al.
- 2021
- SPIE Advanced Lithography 2021
Python 3 types in the wild: A tale of two type systems
- Ingkarat Rak-Amnouykit
- Daniel McCrevan
- et al.
- 2020
- DLS 2020
SWAN: A static analysis framework for swift
- Daniil Tiganov
- Jeff Cho
- et al.
- 2020
- ESEC/FSE 2020
A demonstration of codebreaker: A machine interpretable knowledge graph for code
- Ibrahim Abdelaziz
- Kavitha Srinivas
- et al.
- 2020
- ISWC-Posters 2020