Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Avraham Shinnar"'
Publikováno v:
Empirical Software Engineering. 27
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f201c781a529d40837bd90257fbd8d8a
https://doi.org/10.1007/s10664-022-10206-6
https://doi.org/10.1007/s10664-022-10206-6
Publikováno v:
Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb010b23dc79415f56ef3c872f2144d9
https://doi.org/10.1145/3534678.3542630
https://doi.org/10.1145/3534678.3542630
Autor:
Avraham Shinnar, Barry Trager
Publikováno v:
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1883903fc51f07380f745e35e69bbce9
https://doi.org/10.1109/dsn-w54100.2022.00021
https://doi.org/10.1109/dsn-w54100.2022.00021
Autor:
Véronique Benzaken, Évelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA1), pp.1-27. ⟨10.1145/3527327⟩
Proceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA1), pp.1-27. ⟨10.1145/3527327⟩
SQL is by far the most widely used and implemented query language. Yet, on some key features, such as correlated queries and NULL value semantics, many implementations diverge or contain bugs. We leverage recent advances in the formalization of SQL a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::58e08a0905f3fec0e939cb78aeecd529
Publikováno v:
info:eu-repo/grantAgreement/EC/H2020/851895
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
ISSTA
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
ISSTA
JSON is a data format used pervasively in web APIs, cloud computing, NoSQL databases, and increasingly also machine learning. To ensure that JSON data is compatible with an application, one can define a JSON schema and use a validator to check data a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59524c9e1a08adb3c4e014b87b41b3e6
http://orbilu.uni.lu/handle/10993/50268
http://orbilu.uni.lu/handle/10993/50268
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming
Publikováno v:
PLDI '21-42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
PLDI '21-42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jun 2021, Virtual, Canada. pp.497-510, ⟨10.1145/3453483.3454058⟩
PLDI
PLDI '21-42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jun 2021, Virtual, Canada. pp.497-510, ⟨10.1145/3453483.3454058⟩
PLDI
International audience; Stan is a probabilistic programming language that is popular in the statistics community, with a high-level syntax for expressing probabilistic models. Stan differs by nature from generative probabilistic programming languages
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e05bfabbfe66aca920ed1caf0e8e539d
https://hal.science/hal-03401742/document
https://hal.science/hal-03401742/document
Autor:
Benjamin Herta, Olivier Tardieu, Sara S. Hamouda, David Grove, Vijay Saraswat, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe, Mikio Takeuchi, Avraham Shinnar
Publikováno v:
ACM Transactions on Programming Languages and Systems. 41:1-30
Cloud computing has made the resources needed to execute large-scale in-memory distributed computations widely available. Specialized programming models, e.g., MapReduce, have emerged to offer transparent fault tolerance and fault recovery for specif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8eab4f23c5f6aa3b5d7f929eb8ac1c31
https://doi.org/10.1145/3332372
https://doi.org/10.1145/3332372
Publikováno v:
CPP
Reinforcement learning algorithms solve sequential decision-making problems in probabilistic environments by optimizing for long-term reward. The desire to use reinforcement learning in safety-critical settings inspires a recent line of work on forma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8da74641550bef4307b9f0cd9a97d224
http://arxiv.org/abs/2009.11403
http://arxiv.org/abs/2009.11403
Publikováno v:
MSR
Despite all of the power that machine learning and artificial intelligence (AI) models bring to applications, much of AI development is currently a fairly ad hoc process. Software engineering and AI development share many of the same languages and to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dac94c9aaf6e9cd53737c49ce097b10b
https://doi.org/10.1145/3379597.3387448
https://doi.org/10.1145/3379597.3387448
Publikováno v:
Proceedings of the ACM on Programming Languages. 1:1-15
Designing and prototyping new features is important in many industrial projects. Functional programming and formal verification tools can prove valuable for that purpose, but lead to challenges when integrating with existing product code or when plan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::963007993c95f6f4d1a032caa0f038bc
https://doi.org/10.1145/3110253
https://doi.org/10.1145/3110253