ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2305.14614
  4. Cited By
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs

Invited Paper: Initial Steps Toward a Compiler for Distributed Programs

24 May 2023
J. M. Hellerstein
Shadaj Laddad
Mae Milano
Conor Power
Mingwei Samuel
ArXivPDFHTML

Papers citing "Invited Paper: Initial Steps Toward a Compiler for Distributed Programs"

2 / 2 papers shown
Title
Katara: Synthesizing CRDTs with Verified Lifting
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad
Conor Power
Mae Milano
Alvin Cheung
J. M. Hellerstein
38
18
0
25 May 2022
New Directions in Cloud Programming
New Directions in Cloud Programming
Alvin Cheung
Natacha Crooks
J. M. Hellerstein
Mae Milano
26
24
0
04 Jan 2021
1