BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Song:Dawn

Contributed to:

OSDI 20142014
ASE 20132013
ASPLOS 20122012
SIGMOD 20122012
CAV 20112011
ISSTA 20112011
ICALP (2) 20102010
ISSTA 20092009
ESEC/FSE 20192019
OOPSLA 20192019

Wrote 10 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.