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 × 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 DBLP: McCamant:Stephen

Contributed to:

ASPLOS 20122012
ISSTA 20112011
ISSTA 20092009
PLDI 20082008
ISSTA 20062006
ECOOP 20042004
ESEC/FSE 20032003
ASPLOS 20182018

Wrote 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.

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.