BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
G.Rosu D.Guth C.Hathhorn D.P.0001 Y.Zhang P.Daian
Talks about:
ethereum (1) program (1) practic (1) bytecod (1) analysi (1) semant (1) formal (1) verif (1) match (1) tool (1)

Person: Manasvi Saxena

DBLP DBLP: Saxena:Manasvi

Contributed to:

ESEC/FSE 20182018
CAV (1) 20162016

Wrote 2 papers:

ESEC-FSE-2018-0001ZSDR #bytecode #verification #virtual machine
A formal verification tool for Ethereum VM bytecode (DP0, YZ, MS, PD, GR), pp. 912–915.
CAV-2016-GuthHSR #named #program analysis #semantics
RV-Match: Practical Semantics-Based Program Analysis (DG, CH, MS, GR), pp. 447–453.

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.