BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × The Netherlands
1 × USA
Collaborated with:
A.Kotha K.Anand K.Elwazeer R.Barua T.Creech A.D.Keromytis
Talks about:
binari (3) rewrit (2) supplement (1) framework (1) tradeoff (1) parallel (1) abstract (1) without (1) variabl (1) scalabl (1)

Person: Matthew Smithson

DBLP DBLP: Smithson:Matthew

Contributed to:

ESOP 20142014
ICSM 20132013
PLDI 20132013
WCRE 20132013

Wrote 4 papers:

ESOP-2014-KothaACESB #bound #parallel #runtime
Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries (AK, KA, TC, KE, MS, RB), pp. 554–574.
ICSM-2013-AnandEKSBK #abstraction #analysis #bytecode #framework #memory management #stack
An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables (KA, KE, AK, MS, RB, ADK), pp. 90–99.
PLDI-2013-ElwazeerAKSB #data type #detection #scalability
Scalable variable and data type detection in a binary rewriter (KE, KA, AK, MS, RB), pp. 51–60.
WCRE-2013-SmithsonEAKB #correctness #trade-off
Static binary rewriting without supplemental information: Overcoming the tradeoff between coverage and correctness (MS, KE, KA, AK, RB), pp. 52–61.

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.