Nicholas Ng

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 9

Top Topics

Code Generation

Programming Environments

Semantic Data Models

Message Passing

Top Venues

Publications

David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. Proc. ACM Program. Lang. 3 (POPL) (2019)
Jonathan King, Nicholas Ng, Nobuko Yoshida
Multiparty Session Type-safe Web Development with Static Linearity. PLACES@ETAPS (2019)
Saw Jing Wen, Nicholas Ng, Lim Choo Min
An Improvement to Discrete Fuzzy Logic Control. ICARCV (2018)
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
A static verification framework for message passing in Go using behavioural types. ICSE (2018)
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
Fencing off go: liveness and safety for channel-based programming. POPL (2017)
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version). CoRR (2016)
Nicholas Ng, Nobuko Yoshida
Static deadlock detection for concurrent go by global session graph synthesis. CC (2016)
Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk
EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits. FPL (2016)
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
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Nicholas Ng, Nobuko Yoshida
Pabble: parameterised Scribble. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Nicholas Ng, José Gabriel de Figueiredo Coutinho, Nobuko Yoshida
Protocols by Default - Safe MPI Code Generation Based on Session Types. CC (2015)
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Protocol-based verification of message-passing parallel programs. OOPSLA (2015)
Rumyana Neykova, Nicholas Ng
Frontmatter, Table of Contents, Preface, Workshop Organization. ICCSW (2014)
Nicholas Ng, Nobuko Yoshida
Pabble: Parameterised Scribble for Parallel Programming. PDP (2014)
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins
Towards deductive verification of MPI programs against session types. PLACES (2013)
Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng
The Scribble Protocol Language. TGC (2013)
Nicholas Ng, Nobuko Yoshida, Wayne Luk
Scalable Session Programming for Heterogeneous High-Performance Systems. SEFM Workshops (2013)
Nicholas Ng, Nobuko Yoshida, Kohei Honda
Multiparty Session C: Safe Parallel Programming with Message Optimisation. TOOLS (50) (2012)
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Verification of MPI Programs Using Session Types. EuroMPI (2012)
Nicholas Ng, Nobuko Yoshida, Xinyu Niu, Kuen Hung Tsoi
Session types: towards safe and fast reconfigurable programming. SIGARCH Comput. Archit. News 40 (5) (2012)
Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis
Safe Parallel Programming with Session Java. COORDINATION (2011)