Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Shivam Handa"'
Autor:
Martin Rinard, Shivam Handa, Alizee Schoen, Jiasi Shen, Nikos Vasilakis, Achilles Benetopoulos
Publikováno v:
CCS
Software supply-chain attacks target components that are integrated into client applications. Such attacks often target widely-used components, with the attack taking place via operations (for example, file system or network accesses) that do not aff
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8626080537f8bd155cc91960ef15b947
https://doi.org/10.1145/3460120.3484736
https://doi.org/10.1145/3460120.3484736
We present a dataflow model for modelling parallel Unix shell pipelines. To accurately capture the semantics of complex Unix pipelines, the dataflow model is order-aware, i.e., the order in which a node in the dataflow graph consumes inputs from diff
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d8cbcf2b08c6494033d9fc3885926da1
http://arxiv.org/abs/2012.15422
http://arxiv.org/abs/2012.15422
Autor:
Martin Rinard, Shivam Handa
Publikováno v:
ESEC/SIGSOFT FSE
We present a new framework and associated synthesis algorithms for program synthesis over noisy data, i.e., data that may contain incorrect/corrupted input-output examples. This framework is based on an extension of finite tree automata called {\em w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::44aabe7d6b6fe085be3fbfd59a553c28
https://doi.org/10.1145/3368089.3409732
https://doi.org/10.1145/3368089.3409732
We derive the energy levels of a circular Quantum Dot (QD) under a transverse magnetic field, incorporating the Ben-Daniel Duke boundary condition (BDD). The parameters in our model are the confinement barrier height, the size of the QD, the magnetic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::483b91f2beeaec0b2dcd2feb77087e83
Autor:
Yutian Chen, Alexey Radul, Martin Rinard, Shivam Handa, Ulrich Schaechtle, Vikash K. Mansinghka
Publikováno v:
PLDI
Other repository
Other repository
© 2018 Copyright held by the owner/author(s). We introduce inference metaprogramming for probabilistic programming languages, including new language constructs, a formalism, and the first demonstration of effectiveness in practice. Instead of relyin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::543325eaa98538a3ae75297456c4330b
https://doi.org/10.1145/3296979.3192409
https://doi.org/10.1145/3296979.3192409