Zobrazeno 1 - 8
of 8
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
Autor:
Mansinghka, Vikash K., Schaechtle, Ulrich, Handa, Shivam, Radul, Alexey, Chen, Yutian, Rinard, Martin
Publikováno v:
ACM / SIGPLAN Notices; Apr2018, Vol. 53 Issue 4, p603-616, 14p
Publikováno v:
ACM / SIGPLAN Notices; Jul2015, Vol. 50 Issue 7, p161-172, 12p
Autor:
Handa, Shivam.
Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2019
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 139-142).
Inference metaprogramming e
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 139-142).
Inference metaprogramming e
Externí odkaz:
https://hdl.handle.net/1721.1/122758