Zobrazeno 1 - 10
of 316
pro vyhledávání: '"Isil Dillig"'
Autor:
Isil Dillig, Serdar Tasiran
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together w
Publikováno v:
Transactions of the Association for Computational Linguistics, Vol 8 (2021)
Externí odkaz:
https://doaj.org/article/1da3065e722e424292a764be341a1a5e
Autor:
Hayley LeBlanc, Shankara Pailoor, Om Saran K R E, Isil Dillig, James Bornholt, Vijay Chidambaram
Publikováno v:
Proceedings of the Eighteenth European Conference on Computer Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dcd49330b4a8f7fab0d7223502a1a5ad
https://doi.org/10.1145/3552326.3567498
https://doi.org/10.1145/3552326.3567498
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-26
Many data processing systems allow SQL queries that call user-defined functions (UDFs) written in conventional programming languages. While such SQL extensions provide convenience and flexibility to users, queries involving UDFs are not as efficient
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cec45e214b5cf13d516b6d1930a0c03e
https://doi.org/10.1145/3485489
https://doi.org/10.1145/3485489
Publikováno v:
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c02b997e0c7870db24a1ec1bf963ea9
https://doi.org/10.1145/3551349.3556962
https://doi.org/10.1145/3551349.3556962
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-30
Several real-world libraries (e.g., reentrant locks, GUI frameworks, serialization libraries) require their clients to use the provided API in a manner that conforms to a context-free specification. Motivated by this observation, this paper describes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::24f009901398b3aec24e182eb9a6a813
https://doi.org/10.1145/3434298
https://doi.org/10.1145/3434298
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-26
System call whitelisting is a powerful sandboxing approach that can significantly reduce the capabilities of an attacker if an application is compromised. Given a policy that specifies which system calls can be invoked with what arguments, a sandboxi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cce8b5deed489093741820126bebe65c
https://doi.org/10.1145/3428203
https://doi.org/10.1145/3428203
Publikováno v:
ESEC/SIGSOFT FSE
A good graphical user interface (GUI) is crucial for an application's usability, so vendors and regulatory agencies increasingly place restrictions on how GUI elements should appear to and interact with users. Motivated by this concern, this paper pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d2245682e19e801f56c98a20461818cf
https://doi.org/10.1145/3468264.3468561
https://doi.org/10.1145/3468264.3468561
Publikováno v:
ESEC/SIGSOFT FSE
While machine learning (ML) models play an increasingly prevalent role in many software engineering tasks, their prediction accuracy is often problematic. When these models do mispredict, it can be very difficult to isolate the cause. In this paper,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a03c524935c4d1c58595116df45eafc
https://doi.org/10.1145/3468264.3468614
https://doi.org/10.1145/3468264.3468614