Travelled to:1 × USA
Collaborated with:S.Schürmans D.Zhang D.Auras R.Leupers G.Ascheid X.Chen J.P.Near D.Darais Chike Abuah Tim Stevens Pranav Gaddamadugu Neel Somani Mu Zhang 0001 N.Sharma Alex Shan D.Song
Talks about:architectur (1) differenti (1) creation (1) communic (1) privaci (1) languag (1) express (1) automat (1) system (1) static (1)
Person: Lun Wang
DBLP: Wang:Lun
Contributed to:
2013
2019Wrote 2 papers:
- DAC-2013-SchurmansZALACW #architecture #automation #communication #modelling #using
- Creation of ESL power models for communication architectures using automatic calibration (SS, DZ, DA, RL, GA, XC, LW), p. 58.
- OOPSLA-2019-NearDASGWSZSSS #difference #higher-order #linear #named #privacy #type system
- Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy (JPN, DD, CA, TS, PG, LW, NS, MZ0, NS, AS, DS), p. 30.