Nicholas Ng

25 papers A* 2A 1B 3C 4Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins.
MODELS-C
Eduardo de Conto, Blaise Genest, Arvind Easwaran, Nicholas Ng, Shweta Menon
2025 J jnl
DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins.
CoRR
Eduardo de Conto, Blaise Genest, Arvind Easwaran, Nicholas Ng, Shweta Menon
2019 J jnl
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.
Proc. ACM Program. Lang.
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida
2019 — conf
Multiparty Session Type-safe Web Development with Static Linearity.
PLACES@ETAPS
Jonathan King, Nicholas Ng, Nobuko Yoshida
2018 A* conf
A static verification framework for message passing in Go using behavioural types.
ICSE
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
2018 C conf
An Improvement to Discrete Fuzzy Logic Control.
ICARCV
Saw Jing Wen, Nicholas Ng, Lim Choo Min
2017 A* conf
Fencing off go: liveness and safety for channel-based programming.
POPL
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
2016 J jnl
Behavioral Types in Programming Languages.
Found. Trends Program. Lang.
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
2016 B conf
EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits.
FPL
Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk
2016 J jnl
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).
CoRR
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
2016 B conf
Static deadlock detection for concurrent go by global session graph synthesis.
CC
Nicholas Ng, Nobuko Yoshida
2015 J jnl
Pabble: parameterised Scribble.
Serv. Oriented Comput. Appl.
Nicholas Ng, Nobuko Yoshida
2015 A conf
Protocol-based verification of message-passing parallel programs.
OOPSLA
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2015 B conf
Protocols by Default - Safe MPI Code Generation Based on Session Types.
CC
Nicholas Ng, José Gabriel de Figueiredo Coutinho, Nobuko Yoshida
2014 — ed.
2014 Imperial College Computing Student Workshop, ICCSW 2014, London, United Kingdom, September 25-26, 2014
ICCSW
Rumyana Neykova, Nicholas Ng
2014 — conf
Frontmatter, Table of Contents, Preface, Workshop Organization.
ICCSW
Rumyana Neykova, Nicholas Ng
2014 C conf
Pabble: Parameterised Scribble for Parallel Programming.
PDP
Nicholas Ng, Nobuko Yoshida
2013 — ed.
2013 Imperial College Computing Student Workshop, ICCSW 2013, London, United Kingdom, September 26-27, 2013
ICCSW
Andrew V. Jones, Nicholas Ng
2013 — conf
Scalable Session Programming for Heterogeneous High-Performance Systems.
SEFM Workshops
Nicholas Ng, Nobuko Yoshida, Wayne Luk
2013 — conf
The Scribble Protocol Language.
TGC
Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng
2013 — conf
Towards deductive verification of MPI programs against session types.
PLACES
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins
2012 — conf
Multiparty Session C: Safe Parallel Programming with Message Optimisation.
TOOLS (50)
Nicholas Ng, Nobuko Yoshida, Kohei Honda
2012 J jnl
Session types: towards safe and fast reconfigurable programming.
SIGARCH Comput. Archit. News
Nicholas Ng, Nobuko Yoshida, Xinyu Niu, Kuen Hung Tsoi
2012 C conf
Verification of MPI Programs Using Session Types.
EuroMPI
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2011 C conf
Safe Parallel Programming with Session Java.
COORDINATION
Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis