2 papers
cs.DC2025
Making Serverless Computing Extensible: A Case Study of Serverless Data Analytics
Minchen Yu, Yinghao Ren, Jiamu Zhao +1
Serverless computing has attracted a broad range of applications due to its ease of use and resource elasticity. However, developing serverless applications often poses a dilemma -…
cs.LG2025
Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness
Emil Vatai, Aleksandr Drozd, Ivan R. Ivanov +3
Frameworks and domain-specific languages for auto-generating code have traditionally depended on human experts to implement rigorous methods ensuring the legality of code transform…