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 × Spain
1 × The Netherlands
Collaborated with:
Y.Smaragdakis J.Rathke B.Fischer G.Kastrinis G.Fourtounis A.Francalanza Michael Kong Anton Jurisevic Lexi Brent B.Scholz U.Liqat S.Kerrison A.Serrano K.Georgiou P.López-García M.V.Hermenegildo K.Eder
Talks about:
analysi (3) taint (2) equal (2) heap (2) snapshot (1) ethereum (1) contract (1) consumpt (1) unsound (1) reflect (1)

Person: Neville Grech

DBLP DBLP: Grech:Neville

Contributed to:

LOPSTR 20132013
GPCE 20102010
OOPSLA 20172017
ECOOP 20182018
OOPSLA 20182018

Wrote 6 papers:

LOPSTR-2013-LiqatKSGLGHE #analysis #energy #modelling #source code
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models (UL, SK, AS, KG, PLG, NG, MVH, KE), pp. 72–90.
GPCE-2010-GrechRF #generative #named #similarity
JEqualityGen: generating equality and hashing methods (NG, JR, BF), pp. 177–186.
Heaps don't lie: countering unsoundness with heap snapshots (NG, GF, AF, YS), p. 27.
OOPSLA-2017-GrechS #analysis #named #points-to
P/Taint: unified points-to and taint analysis (NG, YS), p. 28.
ECOOP-2018-GrechKS #analysis #graph #performance #string
Efficient Reflection String Analysis via Graph Coloring (NG, GK, YS), p. 25.
OOPSLA-2018-GrechKJBSS #contract #named
MadMax: surviving out-of-gas conditions in Ethereum smart contracts (NG, MK, AJ, LB, BS, YS), p. 27.

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.