PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Grech, Neville"

Author of the publication

copydeleteadd this publication to your clipboard
Shooting from the heap: ultra-scalable static analysis with heap snapshots.

, , , and . ISSTA, page 198-208. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Grech, Neville
add a person with the name Grech, Neville
 

Other publications of authors with the same name

Pre-emptive type checking in dynamically typed programs.. University of Southampton, UK, (2013)British Library, EThOS.MadMax: surviving out-of-gas conditions in Ethereum smart contracts., , , , , and . Proc. ACM Program. Lang., 2 (OOPSLA): 116:1-116:27 (2018)JEqualityGen: generating equality and hashing methods., , and . GPCE, page 177-186. ACM, (2010)Efficient Reflection String Analysis via Graph Coloring., , and . ECOOP, volume 109 of LIPIcs, page 26:1-26:25. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)Shooting from the heap: ultra-scalable static analysis with heap snapshots., , , and . ISSTA, page 198-208. ACM, (2018)Gigahorse: thorough, declarative decompilation of smart contracts., , , and . ICSE, page 1176-1186. IEEE / ACM, (2019)Preemptive type checking., , and . J. Log. Algebraic Methods Program., (2018)Preemptive Type Checking in Dynamically Typed Languages., , and . ICTAC, volume 8049 of Lecture Notes in Computer Science, page 195-212. Springer, (2013)Static energy consumption analysis of LLVM IR programs., , , , and . CoRR, (2014)Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models., , , , , , , and . LOPSTR, volume 8901 of Lecture Notes in Computer Science, page 72-90. Springer, (2013)