News Item
Featured People
Arjun Radhakrishna
Konstantinos Mamouras
Konstantinos Mamouras & Arjun Radhakrishna gave talks at PLDI 2019
Sunday, June 30, 2019
Two of Rajeev Alur's doctoral students, Konstantinos Mamouras (now at Rice) and Arjun Radhakrishna (now with Microsoft), presented their work at PLDI 2019.
Links to their papers:
Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani: Synthesis and Machine Learning for Heterogeneous Extraction.
Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen: Data-Trace Types for Distributed Stream Processing Systems.