Travelled to:1 × Canada
1 × France
1 × United Kingdom
5 × USA
Collaborated with:S.McCamant D.Babic E.Shi L.Martignoni P.Poosankam C.Y.Cho V.D'Silva D.Reynaud T.H.Chan P.Saxena P.Maniatis P.Mohan A.Thakurta D.E.Culler V.Kuznetsov L.Szekeres M.Payer G.Candea R.Sekar Z.Wu E.Johnson W.Y.0013 O.Bastani J.Peng T.X.0001 J.P.Near D.Darais Chike Abuah Tim Stevens Pranav Gaddamadugu L.Wang Neel Somani Mu Zhang 0001 N.Sharma Alex Shan
Talks about:program (2) privaci (2) analysi (2) static (2) infer (2) test (2) differenti (1) reinforc (1) composit (1) automata (1)
Person: Dawn Song
DBLP: Song:Dawn
Contributed to:
2014
2013
2012
2012
2011
2011
20102009
2019
2019Wrote 10 papers:
- OSDI-2014-KuznetsovSPCSS
- Code-Pointer Integrity (VK, LS, MP, GC, RS, DS), pp. 147–163.
- ASE-2013-ChoDS #bound #composition #model checking #named #source code
- BLITZ: Compositional bounded model checking for real-world programs (CYC, VD, DS), pp. 136–146.
- ASPLOS-2012-MartignoniMPSM #testing
- Path-exploration lifting: hi-fi tests for lo-fi emulators (LM, SM, PP, DS, PM), pp. 337–348.
- SIGMOD-2012-MohanTSSC #data analysis #named #privacy
- GUPT: privacy preserving data analysis made easy (PM, AT, ES, DS, DEC), pp. 349–360.
- CAV-2011-BabicRS #analysis #automaton
- Malware Analysis with Tree Automata Inference (DB, DR, DS), pp. 116–131.
- ISSTA-2011-BabicMMS #automation #generative #testing
- Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.
- ICALP-v2-2010-ChanSS #statistics
- Private and Continual Release of Statistics (THHC, ES, DS), pp. 405–417.
- ISSTA-2009-SaxenaPMS #execution #source code #symbolic computation
- Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.
- ESEC-FSE-2019-WuJYBSPX #grammar inference #learning #named
- REINAM: reinforcement learning for input-grammar inference (ZW, EJ, WY0, OB, DS, JP, TX0), pp. 488–498.
- 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.