مقالات بحثية تمّ التفويض بإتاحتها للجميع - Julian Dolbyمزيد من المعلومات
عدد المقالات البحثية غير المتاحة للجميع في أي موقع: 2
Finding incorrect compositions of atomicity
P Liu, J Dolby, C Zhang
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
التفويضات: Research Grants Council, Hong Kong
Generating Permission-Based Security Policies
X Li, HV Le Thanh, Y Deng, J Dolby
2018 5th International Conference on Dependable Systems and Their …, 2018
التفويضات: National Natural Science Foundation of China
عدد المقالات البحثية المتاحة للجميع في موقع ما: 13
CLAP: recording local executions to reproduce concurrency failures
J Huang, C Zhang, J Dolby
ACM SIGPLAN Notices 48 (6), 141-152, 2013
التفويضات: Research Grants Council, Hong Kong
Static Analysis of Shape in TensorFlow Programs
S Lagouvardos, J Dolby, N Grech, A Antoniadis, Y Smaragdakis
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
التفويضات: European Commission
Symbolic Execution for JavaScript
JF Santos, P Maksimović, T Grohens, J Dolby, P Gardner
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
التفويضات: UK Engineering and Physical Sciences Research Council, Ministry of Education …
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper)
L Luo, J Dolby, E Bodden
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
التفويضات: German Research Foundation
Python 3 types in the wild: a tale of two type systems
I Rak-amnouykit, D McCrevan, A Milanova, M Hirzel, J Dolby
Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic …, 2020
التفويضات: AIRC Foundation for Cancer Research in Italy
A Study of Call Graph Construction for JVM-Hosted Languages
K Ali, X Lai, Z Luo, O Lhoták, J Dolby, F Tip
IEEE Transactions on Software Engineering, 2019
التفويضات: US National Science Foundation, US Department of Defense, Natural Sciences …
Jcrypt: Towards computation over encrypted data
Y Dong, A Milanova, J Dolby
Proceedings of the 13th International Conference on Principles and Practices …, 2016
التفويضات: US National Science Foundation
SWAN: a static analysis framework for swift
D Tiganov, J Cho, K Ali, J Dolby
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
التفويضات: Natural Sciences and Engineering Research Council of Canada
Type-based call graph construction algorithms for Scala
K Ali, M Rapoport, O Lhoták, J Dolby, F Tip
ACM Transactions on Software Engineering and Methodology (TOSEM) 25 (1), 1-43, 2015
التفويضات: Natural Sciences and Engineering Research Council of Canada
SecureMR: secure mapreduce computation using homomorphic encryption and program partitioning
Y Dong, A Milanova, J Dolby
Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the …, 2018
التفويضات: US National Science Foundation
QED: out-of-the-box datasets for SPARQL query evaluation
V Thost, J Dolby
The Semantic Web: 16th International Conference, ESWC 2019, Portorož …, 2019
التفويضات: German Research Foundation
The raise of machine learning hyperparameter constraints in Python code
I Rak-amnouykit, A Milanova, G Baudart, M Hirzel, J Dolby
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
التفويضات: US National Science Foundation
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints
I Rak‐amnouykit, A Milanova, G Baudart, M Hirzel, J Dolby
Software: Practice and Experience 54 (3), 363-393, 2024
التفويضات: US National Science Foundation
يتم تحديد معلومات التمويل والنشر من خلال برنامج كمبيوتر تلقائيًا.