Nicholas Allen is a Principal Research Engineer at Oracle Labs, Australia, working in the Wafer Team.
* BEng (Software), 2013, University of Queensland
Model Checking Cache Coherence in System-Level CodeYang Zhao, Nicholas Allen, Workshop of Formal Methods in Australia
Staged Points-To Analysis For Large Code Bases
(Jun 14, 2016)
Combining Type-Analysis With Points-To Analysis For Analyzing Library Source-Code
(May 10, 2016)