Collaborated with:
K.Mamouras R.Alur Z.G.Ives V.Tannen
Talks about:
distribut (1) quantit (1) process (1) monitor (1) modular (1) system (1) stream (1) trace (1) type (1) data (1)
Person: Caleb Stanford
DBLP: Stanford:Caleb
Contributed to:
Wrote 2 papers:
- PLDI-2019-MamourasSAIT #distributed
- Data-trace types for distributed stream processing systems (KM, CS, RA, ZGI, VT), pp. 670–685.
- POPL-2019-AlurMS #composition #monitoring
- Modular quantitative monitoring (RA, KM, CS), p. 31.