E-LIB Suche - Ergebnisse für: Laddad, Shadaj

1

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

2

Invited Paper: Initial Steps Toward a Compiler for Distribu..:

, In: Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems,

Hellerstein, Joseph M. ; Laddad, Shadaj ; Milano, Mae.. - p. 1-10 , 2023

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

3

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

4

VizSmith : automated visualization synthesis by mining d..:

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

Bavishi, Rohan ; Laddad, Shadaj ; Yoshida, Hiroaki.. - p. 129-141 , 2021

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

5

ScalaPy: seamless Python interoperability for cross-platfor..:

, In: Proceedings of the 11th ACM SIGPLAN International Symposium on Scala,

Laddad, Shadaj ; Sen, Koushik - p. 2-13 , 2020

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

6

Fluid quotes: metaprogramming across abstraction boundaries..:

, In: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Laddad, Shadaj ; Sen, Koushik - p. 98-110 , 2020

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

7

Optimizing Stateful Dataflow with Local Rewrites:

Laddad, Shadaj ; Power, Conor ; Hou, Tyler..
http://arxiv.org/abs/2306.10585. , 2023

Link: http://arxiv.org/abs/230..

8

Invited Paper: Initial Steps Toward a Compiler for Distribu..:

Hellerstein, Joseph M ; Laddad, Shadaj ; Milano, Mae..
http://arxiv.org/abs/2305.14614. , 2023

Link: http://arxiv.org/abs/230..

9

Code Transpilation for Hardware Accelerators:

Nishida, Yuto ; Bhatia, Sahil ; Laddad, Shadaj...
http://arxiv.org/abs/2308.06410. , 2023

Link: http://arxiv.org/abs/230..

10

Katara: Synthesizing CRDTs with Verified Lifting:

Laddad, Shadaj ; Power, Conor ; Milano, Mae..
qt812021b7. , 2022

Link: https://escholarship.org..

11

Keep CALM and CRDT On:

Laddad, Shadaj ; Power, Conor ; Milano, Mae...
qt6m41g3fc. , 2022

Link: https://escholarship.org..

12

Katara: Synthesizing CRDTs with Verified Lifting:

Laddad, Shadaj ; Power, Conor ; Milano, Mae..
http://arxiv.org/abs/2205.12425. , 2022

Link: http://arxiv.org/abs/220..

13

Keep CALM and CRDT On:

Laddad, Shadaj ; Power, Conor ; Milano, Mae...
http://arxiv.org/abs/2210.12605. , 2022

Link: http://arxiv.org/abs/221..

14

Katara: Synthesizing CRDTs with Verified Lifting:

Shadaj Laddad ; Conor Power ; Mae Milano..
doi:10.1145/3563336. , 2022

Link: https://zenodo.org/recor..