Travelled to:
1 × USA
Collaborated with:
H.Hojjat P.Cerný N.Foster
Talks about:
network (3) synthesi (2) program (2) synchron (1) effici (1) driven (1) updat (1) event (1)
Person: Jedidiah McClurg
DBLP: McClurg:Jedidiah
Contributed to:
Wrote 3 papers:
- PLDI-2015-McClurgHCF #network #performance #synthesis
- Efficient synthesis of network updates (JM, HH, PC, NF), pp. 196–207.
- CAV-2017-McClurgHC #network #source code #synthesis
- Synchronization Synthesis for Network Programs (JM, HH, PC), pp. 301–321.
- PLDI-2016-McClurgHFC #network #programming
- Event-driven network programming (JM, HH, NF, PC), pp. 369–385.