Sotabase

Career

· Senior Data Analytics Engineer, Paramount Resources Ltd.2024–
· Data & Advanced Analytics Lead, Canlin Energy2022–

Publications (48)

Scaling symbolic evaluation for automated verification of systems code with Serval
Symposium on Operating Systems Principles · 2019
118
cited
Hyperkernel: Push-Button Verification of an OS Kernel
Symposium on Operating Systems Principles · 2017
117
cited
Optimisation of interdigitated electrodes for piezoelectric actuators and active fibre composites
2006
108
cited
Smart piezoelectric Fibre composites
2002
90
cited
Automated analysis and advanced defect characterisation from ultrasonic scans of composites
2009
76
cited
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel
USENIX Symposium on Operating Systems Design and Implementation · 2020
67
cited
Nickel: A Framework for Design and Verification of Information Flow Control Systems
USENIX Symposium on Operating Systems Design and Implementation · 2018
53
cited
Fibre direction and stacking sequence measurement in carbon fibre composites using Radon transforms of ultrasonic data
Composites. Part A, Applied science and manufacturing · 2019
50
cited
Manufacture and characterization of high activity piezoelectric fibres
2006
50
cited
Ultrasonic Analytic-Signal Responses From Polymer-Matrix Composite Laminates
IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control · 2018
49
cited
Progress in 3D characterisation and modelling of monolithic carbon-fibre composites
2015
42
cited
Ply-orientation measurements in composites using structure-tensor analysis of volumetric ultrasonic data
2018
41
cited
Ultrasonic tracking of ply drops in composite laminates
2016
33
cited
Synthesizing JIT Compilers for In-Kernel DSLs
International Conference on Computer Aided Verification · 2020
28
cited
Modeling and measurement of piezoelectric fibers and interdigitaded electrodes for the optimization of piezofibre composites
SPIE Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring · 2003
25
cited
Characterisation and properties of fine scale PZT fibres
2005
24
cited
Modelling and measurement of piezoelectric fibres and interdigitated electrodes for the optimisation of piezofibre composites
2003
17
cited
Failure and volume fraction dependent mechanical properties of composite sensors and actuators
2006
15
cited
A formal foundation for symbolic evaluation with merging
Proc. ACM Program. Lang. · 2022
14
cited
High-field behavior of piezoelectric fiber composites
SPIE Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring · 2003
11
cited
Sotabase
Luke Nelson | Researcher Profile | Sotabase | Sotabase