Travelled to:1 × Canada
1 × Italy
1 × Russia
2 × USA
Collaborated with:M.Schäf T.Wies C.Oh S.Malik F.Liu D.I.August C.Chan D.Sethi Talia Ringer D.Grossman S.Tasiran
Talks about:program (2) explain (2) tool (2) checkpoint (1) inconsist (1) synthesi (1) rollback (1) parallel (1) vermeer (1) passert (1)
Person: Daniel Schwartz-Narbonne
DBLP: Schwartz-Narbonne:Daniel
Contributed to:
2015
2014
2013
2012
2012
2017Wrote 6 papers:
- ICSE-v2-2015-Schwartz-Narbonne #c #named #source code
- VERMEER: A Tool for Tracing and Explaining Faulty C Programs (DSN, CO, MS, TW), pp. 737–740.
- SCAM-2014-OhSSW #fault #locality
- Concolic Fault Localization (CO, MS, DSN, TW), pp. 135–144.
- ESEC-FSE-2013-SchafSW #consistency
- Explaining inconsistent code (MS, DSN, TW), pp. 521–531.
- CAV-2012-Schwartz-NarbonneLAM #debugging #named #parallel #source code
- passert: A Tool for Debugging Parallel Programs (DSN, FL, DIA, SM), pp. 751–757.
- DAC-2012-ChanSSM #hardware #specification #synthesis
- Specification and synthesis of hardware checkpointing and rollback mechanisms (CC, DSN, DS, SM), pp. 1226–1232.
- OOPSLA-2017-RingerGST #generative
- A solver-aided language for test input generation (TR, DG, DSN, ST), p. 24.