Do you fancy a challenge? Recently, we have been ranked in the top-5 in the UK for Software Engineering research (csrankings.org). Come join us! I currently have opportunities for PhD students to join my group. The research topics are on…
Paper at ESEC/FSE 2020
Our work on separation of concerns in individual commits titled “Flexeme: Untangling Commits Using Lexical Flows.” has been accepted at ESEC/FSE 2020. Here is the project page with further information: https://pppi.github.io/Flexeme/
ICSE NIER papers on Dual-Channel Research
Two of our papers on dual-channel research have been accepted into the NIER track of International Conference on Software Engineering. The first of these papers titled “A Theory of Dual-Channel Constraints” with Casey Casalnuovo, Earl Barr, Prem Devanbu and Emily…
ICSE 2020
Pleased to share that out paper titled “POSIT: Simultaneously Tagging Natural and Programming Languages” with Profir-Petru Pârțachi, Christoph Treude, and Earl T. Barr has been accepted at ICSE 2020
CYSREN Singapore Visit
I’m visiting Prof Thambipillai Srikanthan and Asst Prof Lam Siew Kei at Cyber Security Research Centre at Nanyang Technological University, Singapore this week. I have known both of them for many years now. Prof Sri was the one who got…
Opening for a Postdoctoral Researcher
We are hiring a postdoctoral researcher to look into verified secure systems. The researcher would build a trusted execution engine by leveraging the isolation guarantees provided by the sel4 microkernel. The project would further propose attestation schemes that can run…
Research Grant
We’ve been awarded a research grant worth £200k for a proposal titled FaCT: Faithful Composition of Trust. Details to follow.
Appointment
I have started as a Lecturer at the Computer Science department at the University of Surrey. We have a strong presence in cybersecurity and machine learning. Please reach out to me if you would like to be a part of…
Paper at ESEC/FSE 2018
Our work titled “RefiNym: Using Names To Refine Types” has been accepted at Foundations of Software Engineering (FSE) 2018. RefiNym uses signal from identifier names and interflows between them to identify types for identifiers. The paper is available here and…
Paper at Usenix Security Symposium
Our work on detecting concept drift in malware classification models titled “Transcend: Detecting Concept Drift in Malware Classification Models” has been accepted at Usenix Security Symposium 2017. Concept drift in malware classification is a serious issue whereby models trained on older…