I agree that this site is using cookies. You can find further informations here.
X
Foo, Darius
33  results:
Search for persons X
?
1

Protocol Conformance with Choreographic PlusCal:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,
Foo, Darius ; Costea, Andreea ; Chin, Wei-Ngan - p. 126-145 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Automated Temporal Verification for Algebraic Effects:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Song, Yahui ; Foo, Darius ; Chin, Wei-Ngan - p. 88-109 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Out of sight, out of mind? How vulnerable dependencies affe..:

Prana, Gede Artha Azriadi ; Sharma, Abhishek ; Shar, Lwin Khin...
Empirical Software Engineering.  26 (2021)  4 - p. , 2021
Link: https://doi.org/10.1007/..
 
?
4

Automating Continuous Planning in SAFe:

, In: Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops,
Foo, Darius ; Cruz, Jonah Dela ; Sekar, Subashree. - p. 504 ff. , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

Efficient static checking of library updates:

, In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Foo, Darius ; Chua, Hendy ; Yeo, Jason.. - p. 791-796 , 2018
Link: https://dl.acm.org/doi/1..
 
?
6

Tracing OCaml Programs:

Foo, Darius ; Chin, Wei-Ngan
http://arxiv.org/abs/2304.04937.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

Staged Specifications for Automated Verification of Higher-..:

Foo, Darius ; Song, Yahui ; Chin, Wei-Ngan
http://arxiv.org/abs/2308.00988.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

Out of sight, out of mind? How vulnerable dependencies affe..:

PRANA, Gede Artha Azriadi ; SHARMA, Abhishek ; SHAR, Lwin Khin...
https://ink.library.smu.edu.sg/sis_research/6048.  , 2021
Link: https://ink.library.smu...
 
?
9

The Dynamics of Software Composition Analysis:

Foo, Darius ; Yeo, Jason ; Xiao, Hao.
http://arxiv.org/abs/1909.00973.  , 2019
Link: http://arxiv.org/abs/190..
 
?
10

Global Specifications for Distributed Protocols:

Darius Foo ; Andreea Costea ; Chin Wei Ngan
doi:10.5281/zenodo.5512673.  , 2021
Link: https://zenodo.org/recor..
 
?
11

Global Specifications for Distributed Protocols:

Darius Foo ; Andreea Costea ; Chin Wei Ngan
doi:10.5281/zenodo.5512673.  , 2021
Link: https://zenodo.org/recor..
 
?
12

Multimodal prerehabilitation for elderly patients with sarc..:

Wu, Jingting ; Chi, Hannah ; Kok, Shawn...
Annals of Coloproctology.  40 (2024)  1 - p. 3-12 , 2024
Link: https://doi.org/10.3393/..
 
?
13

Su1701 CORRELATING CHANGES IN INTRAMUSCULAR ADIPOSE TISSUE ..:

Yik, Vanessa ; Kok, Shawn ; Lee, Hui-Bing...
Gastroenterology.  166 (2024)  5 - p. S-1867 , 2024
Link: https://doi.org/10.1016/..
 
?
14

Pre-operative erector spinae plane block should be consider..:

Wan, Fang-Ting ; Chin, Shuen-Ern ; Gwee, Ryan...
Surgical Endoscopy.  37 (2023)  9 - p. 7128-7135 , 2023
Link: https://doi.org/10.1007/..
 
?
15

Systematic review and meta-analysis of postoperative pain a..:

Tan, Varen Zhi Zheng ; Peck, Ern-wei ; Sivarajah, Sharmini S....
International Journal of Colorectal Disease.  37 (2022)  8 - p. 1759-1771 , 2022
Link: https://doi.org/10.1007/..
 
1-15