Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synthesizing CRDTs from Sequential Data Types with Verified Lifting., , , , and . CoRR, (2022)Optimizing Stateful Dataflow with Local Rewrites., , , , and . CoRR, (2023)Analyzing and Comparing Lakehouse Storage Systems., , , , , and . CIDR, www.cidrdb.org, (2023)Keep CALM and CRDT On., , , , , and . Proc. VLDB Endow., 16 (4): 856-863 (2022)Modelling of Electron Injection and Confinement in Cryogenic 22-nm FD-SOI Quantum Dot Arrays., , , , , , and . ICECS 2022, page 1-4. IEEE, (2022)Katara: synthesizing CRDTs with verified lifting., , , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 1349-1377 (2022)Optimizing the cloud? Don't train models. Build oracles!, , , , and . CoRR, (2023)The Cosmos Big Data Platform at Microsoft: Over a Decade of Progress and a Decade to Look Forward., , , , , , , , , and 5 other author(s). Proc. VLDB Endow., 14 (12): 3148-3161 (2021)Characterisation and Modelling of 22-nm FD-SOI Transistors Operating at Cryogenic Temperatures., , , , , , , , and . ICECS 2022, page 1-4. IEEE, (2022)Cryogenic Transistor Confinement Well Simulation through Material and Carrier Transport Decoupling., , and . ICECS 2022, page 1-2. IEEE, (2022)