Travelled to:1 × Canada
1 × Finland
1 × Norway
1 × United Kingdom
3 × USA
Collaborated with:M.D.Ernst D.Song L.Martignoni P.Poosankam P.J.Guo J.H.Perkins D.Babic P.Saxena W.Wang A.Zhai P.Yew P.Maniatis B.Demsky M.C.Rinard
Talks about:upgrad (2) compon (2) infer (2) dynam (2) test (2) flow (2) translat (1) structur (1) incompat (1) abstract (1)
Person: Stephen McCamant
DBLP: McCamant:Stephen
Contributed to:
2012
20112009
20082006
2004
20032018Wrote 9 papers:
- ASPLOS-2012-MartignoniMPSM #testing
- Path-exploration lifting: hi-fi tests for lo-fi emulators (LM, SM, PP, DS, PM), pp. 337–348.
- ISSTA-2011-BabicMMS #automation #generative #testing
- Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.
- ISSTA-2009-SaxenaPMS #execution #source code #symbolic computation
- Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.
- PLDI-2008-McCamantE #capacity #data flow #network
- Quantitative information flow as network flow capacity (SM, MDE), pp. 193–205.
- ISSTA-2006-DemskyEGMPR #consistency #data type #specification
- Inference and enforcement of data structure consistency specifications (BD, MDE, PJG, SM, JHP, MCR), pp. 233–244.
- ISSTA-2006-GuoPME #data type
- Dynamic inference of abstract types (PJG, JHP, SM, MDE), pp. 255–265.
- ECOOP-2004-McCamantE #component #identification #multi
- Early Identification of Incompatibilities in Multi-component Upgrades (SM, MDE), pp. 440–464.
- ESEC-FSE-2003-McCamantE #component #predict #problem
- Predicting problems caused by component upgrades (SM, MDE), pp. 287–296.
- ASPLOS-2018-WangMZY #automation
- Enhancing Cross-ISA DBT Through Automatically Learned Translation Rules (WW, SM, AZ, PCY), pp. 84–97.