CUFinder

Darius Foo

About Darius Foo

Darius Foo, With an exceptional h-index of 5 and a recent h-index of 5 (since 2020), a distinguished researcher at National University of Singapore, specializes in the field of program verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

DEVELOPMENT PIPELINE INTEGRATED ONGOING LEARNING FOR ASSISTED CODE REMEDIATION

Staged Specifications for Automated Verification of Higher-Order Imperative Programs

Protocol Conformance with Choreographic PlusCal

DEIDENTIFYING CODE FOR CROSS-ORGANIZATION REMEDIATION KNOWLEDGE

Tracing OCaml Programs

Automated Temporal Verification for Algebraic Effects

Out of sight, out of mind? How vulnerable dependencies affect open-source projects

Software vulnerability graph database

Darius Foo Information

University

Position

___

Citations(all)

143

Citations(since 2020)

142

Cited By

21

hIndex(all)

5

hIndex(since 2020)

5

i10Index(all)

4

i10Index(since 2020)

4

Email

University Profile Page

Google Scholar

Darius Foo Skills & Research Interests

program verification

Top articles of Darius Foo

DEVELOPMENT PIPELINE INTEGRATED ONGOING LEARNING FOR ASSISTED CODE REMEDIATION

2023/12/21

Staged Specifications for Automated Verification of Higher-Order Imperative Programs

arXiv preprint arXiv:2308.00988

2023/8/2

Darius Foo
Darius Foo

H-Index: 3

Yahui Song
Yahui Song

H-Index: 1

Protocol Conformance with Choreographic PlusCal

2023/6/27

Darius Foo
Darius Foo

H-Index: 3

Andreea Costea
Andreea Costea

H-Index: 3

DEIDENTIFYING CODE FOR CROSS-ORGANIZATION REMEDIATION KNOWLEDGE

2023/5/18

Tracing OCaml Programs

arXiv preprint arXiv:2304.04937

2023/4/11

Darius Foo
Darius Foo

H-Index: 3

Automated Temporal Verification for Algebraic Effects

2022/11/25

Yahui Song
Yahui Song

H-Index: 1

Darius Foo
Darius Foo

H-Index: 3

Out of sight, out of mind? How vulnerable dependencies affect open-source projects

Empirical Software Engineering

2021/7

Gede Artha Azriadi Prana
Gede Artha Azriadi Prana

H-Index: 3

Abhishek Sharma
Abhishek Sharma

H-Index: 12

Darius Foo
Darius Foo

H-Index: 3

David Lo
David Lo

H-Index: 0

Software vulnerability graph database

2020/10/13

Automating Continuous Planning in SAFe

2020/6/27

Darius Foo
Darius Foo

H-Index: 3

Open-source software vulnerability analysis

2020/2/6

See List of Professors in Darius Foo University(National University of Singapore)