Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1

Source URL: cakeml.org

• Software engineering
• Computer programming
• Computing
• Functional programming
• Subroutines
• Programming idioms
• Theoretical computer science
• Functional languages
• Monad
• Standard ML
• Eval
• Algorithm

Differential Equation Axiomatization The Impressive Power of Differential Ghosts André Platzer Yong Kiam Tan

Source URL: symbolaris.com

Accurate Path-based Methods for Influence Maximization in Social Networks Yun-Yong Ko Dong-Kyu Chae

Source URL: gdac.uqam.ca

• Networks
• Network theory
• Graph theory
• Graphical models
• Distributed data storage
• Binary trees

VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer Yong Kiam Tan

Source URL: www.cs.cmu.edu

• Constructible universe
• Mathematical logic
• Mathematics
• Set theory
• Operator theory
• Partial differential equations
• Proof theory
• Ordinal numbers
• Moschovakis coding lemma
• Symbol

Functional Big-step Semantics Scott Owens1 , Magnus O. Myreen2 , Ramana Kumar3 , and Yong Kiam Tan4 1 2

Source URL: cakeml.org

• Theoretical computer science
• Logic
• Mathematical logic
• Logic in computer science
• Formal methods
• Programming language semantics
• Philosophical logic
• Models of computation
• Operational semantics
• Denotational semantics
• Standard ML
• Kripke semantics

A Verified Type System for CakeML Yong Kiam Tan Scott Owens IHPC, A*STAR

Source URL: cakeml.org

• Type theory
• Software engineering
• Programming language theory
• Computing
• Type system
• Unification
• HindleyMilner type system
• Standard ML
• System F
• ML
• Type inference
• Generics in Java

Star Formation In Nearby “Extreme” Galaxies Yong Shi (施勇，Nanjing University) Collaborators: Lee Armus (Caltech, US), Yu Gao (PMO, China), Qiusheng Gu (NJU, China), George Helou (Caltech, US), Sabrina Stierwalt

Source URL: colloquium.bao.ac.cn

GLOBAL EXISTENCE WITH PATTERN FORMATION IN CELL AGGREGATION MODEL CHANGWOOK YOON AND YONG-JUNG KIM Abstract. The global existence of a Keller-Segel type chemotactic aggregation model is shown together with the instabilit

Source URL: amath.kaist.ac.kr

Development of a Broadband Cryogenic Preamplifier for FT-ICR MS Stefan Stahl2, Myoung Choul Choi1, Seung Yong Kim1, Jong Shin Yoo, Hyun Sik Kim1 1Korea Basic Science Institute, Mass Spectrometer Development Team 2 Stahl-

Source URL: www.stahl-electronics.com

Car Park 3 – University Cultural Centre /Yong Siew Toh Conservatory of Music 

Source URL: www.nus.edu.sg