From post

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.

 

Другие публикации лиц с тем же именем

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