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: Grech:Neville
Contributed to:
2013
2010
2017
20182018Wrote 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.
- OOPSLA-2017-GrechFFS
- 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.