Collaborated with:
G.Yorsh Donald Pinckney Y.Brun A.Guha P.M.Phothilimthana Archibald Samuel Elliott An Wang 0003 Bastian Hagedorn Henrik Barthels Samuel J. Kaufman V.Grover E.Torlak R.Bodík
Talks about:
superoptim (1) serverless (1) synthesi (1) movement (1) inventor (1) unbound (1) foundat (1) swizzl (1) kernel (1) formal (1)
Person: Abhinav Jangda
DBLP: Jangda:Abhinav
Contributed to:
Wrote 3 papers:
- Onward-2017-JangdaY #bound
- Unbounded superoptimization (AJ, GY), pp. 78–88.
- OOPSLA-2019-JangdaPBG #formal method
- Formal foundations of serverless computing (AJ, DP, YB, AG), p. 26.
- ASPLOS-2019-PhothilimthanaE #data flow #gpu #kernel #synthesis
- Swizzle Inventor: Data Movement Synthesis for GPU Kernels (PMP, ASE, AW0, AJ, BH, HB, SJK, VG, ET, RB), pp. 65–78.