Songlin Jia | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Tiark Rompf
12 publications
Yuyan Bao
7 publications
Oliver Bračevac
5 publications
Guannan Wei
4 publications
Supun Abeysinghe
4 publications
Yuxuan Jiang
1 publication

research

∙ 09/15/2023

Graph IRs for Impure Higher-Order Languages (Technical Report)

This is a companion report for the OOPSLA 2023 paper of the same title, ...

0 Oliver Bračevac, et al. ∙

research

∙ 07/25/2023

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

Reachability types are a recent proposal that has shown promise in scali...

0 Guannan Wei, et al. ∙

Success!

An error occurred