Volgen
Nicholas Ng
Nicholas Ng
Monzo
Geverifieerd e-mailadres voor monzo.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016
2012016
The Scribble protocol language
N Yoshida, R Hu, R Neykova, N Ng
Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos …, 2014
1532014
Multiparty Session C: Safe parallel programming with message optimisation
N Ng, N Yoshida, K Honda
Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012
1052012
A static verification framework for message passing in go using behavioural types
J Lange, N Ng, B Toninho, N Yoshida
Proceedings of the 40th International Conference on Software Engineering …, 2018
892018
Static deadlock detection for concurrent go by global session graph synthesis
N Ng, N Yoshida
Proceedings of the 25th International Conference on Compiler Construction …, 2016
892016
Distributed programming using role-parametric session types in go: statically-typed endpoint apis for dynamically-instantiated communication structures
D Castro, R Hu, SS Jongmans, N Ng, N Yoshida
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
832019
Fencing off go: liveness and safety for channel-based programming
J Lange, N Ng, B Toninho, N Yoshida
ACM SIGPLAN Notices 52 (1), 748-761, 2017
792017
Protocol-based verification of message-passing parallel programs
HA López, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ...
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
702015
Protocols by default: Safe MPI code generation based on session types
N Ng, JG de Figueiredo Coutinho, N Yoshida
Compiler Construction: 24th International Conference, CC 2015, Held as Part …, 2015
562015
Safe parallel programming with session java
N Ng, N Yoshida, O Pernet, R Hu, Y Kryftis
Coordination Models and Languages: 13th International Conference …, 2011
412011
Pabble: parameterised scribble
N Ng, N Yoshida
Service Oriented Computing and Applications 9, 269-284, 2015
362015
Pabble: Parameterised scribble for parallel programming
N Ng, N Yoshida
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
302014
Verification of MPI programs using session types
K Honda, ERB Marques, F Martins, N Ng, VT Vasconcelos, N Yoshida
Recent Advances in the Message Passing Interface: 19th European MPI Users …, 2012
292012
Towards deductive verification of MPI programs against session types
ERB Marques, F Martins, VT Vasconcelos, N Ng, N Martins
arXiv preprint arXiv:1312.2705, 2013
272013
Multiparty session type-safe web development with static linearity
J King, N Ng, N Yoshida
arXiv preprint arXiv:1904.01287, 2019
162019
Scalable session programming for heterogeneous high-performance systems
N Ng, N Yoshida, W Luk
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014
102014
Session types: towards safe and fast reconfigurable programming
N Ng, N Yoshida, XY Niu, KH Tsoi
ACM SIGARCH Computer Architecture News 40 (5), 22-27, 2012
102012
High performance parallel design based on session programming
N Ng, N Yoshida
MEng thesis, Department of Computing, Imperial College London, 2010
82010
Falling leaves and new roots: Informed practice within the Sydney conservatorium of music's Chinese music ensemble
C Ingram, L Liu, N Ng
Creative research in music, 73-81, 2020
52020
Protocol-based verification of MPI programs
ERB Marques, F Martins, VT Vasconcelos, C Santos, N Ng, N Yoshida
52014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20