E-LIB Suche - Ergebnisse für: Rinard, Martin C.

1

GenSQL: A Probabilistic Programming System for Querying Gen..:

Huot, Mathieu ; Ghavami, Matin ; Lew, Alexander K....
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 790-815 , 2024

Link: https://doi.org/10.1145/..

2

Implementing Babylonian/G by Putting Examples into Game Con..:

, In: Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming,

Krebs, Eva ; Mattis, Toni ; Dörbandt, Marius... - p. 68-72 , 2024

Link: https://dl.acm.org/doi/1..

3

Faster Feedback with AI? A Test Prioritization Study:

, In: Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming,

Mattis, Toni ; Böhme, Lukas ; Krebs, Eva.. - p. 32-40 , 2024

Link: https://dl.acm.org/doi/1..

4

Probabilistic Programming with Programmable Variational Inf..:

Becker, McCoy R. ; Lew, Alexander K. ; Wang, Xiaoyan...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 2123-2147 , 2024

Link: https://doi.org/10.1145/..

5

Examples out of Thin Air: AI-Generated Dynamic Context to A..:

, In: Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming,

Mattis, Toni ; Krebs, Eva ; Rinard, Martin C.. - p. 99-107 , 2024

Link: https://dl.acm.org/doi/1..

6

Supply-Chain Vulnerability Elimination via Active Learning ..:

, In: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security,

Vasilakis, Nikos ; Benetopoulos, Achilles ; Handa, Shivam... - p. 1755-1770 , 2021

Link: https://dl.acm.org/doi/1..

7

Efficient module-level dynamic analysis for dynamic languag..:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Vasilakis, Nikos ; Ntousakis, Grigoris ; Heller, Veit. - p. 1202-1213 , 2021

Link: https://dl.acm.org/doi/1..

8

An order-aware dataflow model for parallel Unix pipelines:

Handa, Shivam ; Kallas, Konstantinos ; Vasilakis, Nikos.
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-28 , 2021

Link: https://doi.org/10.1145/..

9

An order-aware dataflow model for parallel Unix pipelines:

Handa, Shivam ; Kallas, Konstantinos ; Vasilakis, Nikos.
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-28 , 2021

Link: https://dl.acm.org/doi/1..

10

Active Learning for Inference and Regeneration of Applicati..:

Shen, Jiasi ; Rinard, Martin C.
ACM Transactions on Programming Languages and Systems (TOPLAS). 42 (2021) 4 - p. 1-119 , 2021

Link: https://dl.acm.org/doi/1..

11

Doing more with less: characterizing dataset downsampling f..:

Zogaj, Fatjon ; Cambronero, José Pablo ; Rinard, Martin C..
Proceedings of the VLDB Endowment. 14 (2021) 11 - p. 2059-2072 , 2021

Link: https://doi.org/10.14778..

12

SPPL: probabilistic programming with fast exact symbolic in..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Saad, Feras A. ; Rinard, Martin C. ; Mansinghka, Vikash K. - p. 804-819 , 2021

Link: https://dl.acm.org/doi/1..

13

Development and validation of a pancreatic cancer risk mode..:

Appelbaum, Limor ; Cambronero, José P. ; Stevens, Jennifer P....
European Journal of Cancer. 143 (2021) - p. 19-30 , 2021

Link: https://doi.org/10.1016/..

14

AMS: generating AutoML search spaces from weak specificatio..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Cambronero, José P. ; Cito, Jürgen ; Rinard, Martin C. - p. 763-774 , 2020

Link: https://dl.acm.org/doi/1..

15

Active Learning for Inference and Regeneration of Applicati..:

Shen, Jiasi ; Rinard, Martin C.
ACM Transactions on Programming Languages and Systems. 42 (2020) 4 - p. 1-119 , 2020

Link: https://doi.org/10.1145/..