E-LIB Suche - Ergebnisse für: Bodik, Rastislav

1

Grisette: Symbolic Compilation as a Functional Programming ..:

Lu, Sirui ; Bodík, Rastislav
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 455-487 , 2023

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

2

Synthesizing analytical SQL queries from computation demons..:

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

Zhou, Xiangyu ; Bodik, Rastislav ; Cheung, Alvin. - p. 168-182 , 2022

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

3

Tree traversal synthesis using domain-specific symbolic com..:

, In: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

Chen, Yanju ; Liu, Junrui ; Feng, Yu. - p. 1030-1042 , 2022

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

4

Falx: Synthesis-Powered Visualization Authoring:

, In: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems,

Wang, Chenglong ; Feng, Yu ; Bodik, Rastislav... - p. 1-15 , 2021

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

5

Summary-based symbolic evaluation for smart contracts:

, In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering,

Feng, Yu ; Torlak, Emina ; Bodik, Rastislav - p. 1141-1152 , 2020

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

6

Verifying and improving Halide's term rewriting system with..:

Newcomb, Julie L. ; Adams, Andrew ; Johnson, Steven..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-28 , 2020

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

7

Learning inductive invariants by sampling from frequency di..:

Fedyukovich, Grigory ; Kaufman, Samuel J. ; Bodík, Rastislav
Formal Methods in System Design. 56 (2020) 1-3 - p. 154-177 , 2020

Link: https://doi.org/10.1007/..

8

Verifying and improving Halide's term rewriting system with..:

Newcomb, Julie L. ; Adams, Andrew ; Johnson, Steven..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-28 , 2020

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

9

Fireiron : A Data-Movement-Aware Scheduling Language for..:

, In: Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques,

Hagedorn, Bastian ; Elliott, Archibald Samuel ; Barthels, Henrik.. - p. 71-82 , 2020

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

10

Visualization by example:

Wang, Chenglong ; Feng, Yu ; Bodik, Rastislav..
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-28 , 2019

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

11

Swizzle Inventor : Data Movement Synthesis for GPU Kerne..:

, In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems,

Phothilimthana, Phitchaya Mangpo ; Elliott, Archibald Samuel ; Wang, An... - p. 65-78 , 2019

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

12

Visualization by example:

Wang, Chenglong ; Feng, Yu ; Bodik, Rastislav..
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-28 , 2019

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

13

Speeding up symbolic reasoning for relational queries:

Wang, Chenglong ; Cheung, Alvin ; Bodik, Rastislav
Proceedings of the ACM on Programming Languages. 2 (2018) OOPSLA - p. 1-25 , 2018

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

14

Floem : a programming system for NIC-accelerated network..:

, In: Proceedings of the 13th USENIX conference on Operating Systems Design and Implementation,

Phothilimthana, Phitchaya Mangpo ; Liu, Ming ; Kaufmann, Antoine... - p. 663-679 , 2018

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

15

Accelerating Syntax-Guided Invariant Synthesis:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Fedyukovich, Grigory ; Bodík, Rastislav - p. 251-269 , 2018

Link: https://doi.org/10.1007/..