E-LIB Suche - Ergebnisse für: Cheung, Alvin

1

Syntactic Code Search with Sequence-to-Tree Matching: Suppo..:

Matute, Gabriel ; Ni, Wode ; Barik, Titus..
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 2051-2072 , 2024

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

2

Interpretability Meets Generalizability: A Hybrid Machine L..:

, In: Advances in Knowledge Discovery and Data Mining; Lecture Notes in Computer Science,

Lu, Yixiao ; Lee, Yokiu ; Feng, Haoran... - p. 322-334 , 2023

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

3

Leveraging Application Data Constraints to Optimize Databas..:

Liu, Xiaoxuan ; Wang, Shuxian ; Sun, Mengzhu...
Proceedings of the VLDB Endowment. 16 (2023) 6 - p. 1208-1221 , 2023

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

4

Towards Auto-Generated Data Systems:

Cheung, Alvin ; Ahmad, Maaz Bin Safeer ; Haynes, Brandon...
Proceedings of the VLDB Endowment. 16 (2023) 12 - p. 4116-4129 , 2023

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

5

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..

6

Katara: synthesizing CRDTs with verified lifting:

Laddad, Shadaj ; Power, Conor ; Milano, Mae..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1349-1377 , 2022

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

7

Vector instruction selection for digital signal processors ..:

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

Ahmad, Maaz Bin Safeer ; Root, Alexander J. ; Adams, Andrew.. - p. 1004-1016 , 2022

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

8

The Seattle report on database research:

Abadi, Daniel ; Ailamaki, Anastasia ; Andersen, David...
Communications of the ACM. 65 (2022) 8 - p. 72-79 , 2022

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

9

A PACTful Agenda for Cloud Programming Research : (Invit..:

, In: The 18th International Symposium on Database Programming Languages,

Cheung, Alvin - p. 1 ff. , 2021

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

10

VSS: A Storage System for Video Analytics:

, In: Proceedings of the 2021 International Conference on Management of Data,

Haynes, Brandon ; Daum, Maureen ; He, Dong... - p. 685-696 , 2021

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

11

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..

12

Demonstration of apperception: a database management system..:

Ge, Yongming ; Lin, Vanessa ; Daum, Maureen...
Proceedings of the VLDB Endowment. 14 (2021) 12 - p. 2767-2770 , 2021

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

13

Managing data constraints in database-backed web applicatio..:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering,

Yang, Junwen ; Sethi, Utsav ; Yan, Cong.. - p. 1098-1109 , 2020

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

14

The Seattle Report on Database Research:

Abadi, Daniel ; Ailamaki, Anastasia ; Andersen, David...
ACM SIGMOD Record. 48 (2020) 4 - p. 44-53 , 2020

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

15

Handling Highly Contended OLTP Workloads Using Fast Dynamic..:

, In: Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data,

Prasaad, Guna ; Cheung, Alvin ; Suciu, Dan - p. 527-542 , 2020

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