Satnam Singh

Registered user since Fri 5 Jan 2018

Name: Satnam Singh

Bio: Hacker experienced in functional programming, domain-specific languages, compilers, custom hardware acceleration esp. with FPGAs, concurrency and parallelism, formal verification, configuration management, distributed systems, container orchestration, cloud computing and low level Android performance improvement. Ex-academic with experience of paper writing and obtaining research grants and a love of teaching. Professional duties include ACM SIGPLAN executive committee member, IFIP WG2.8 member and much experience of PCs and sitting on government grant award committees.

Country: United States

Affiliation: X, the moonshot factory

Personal website:

Research interests: Functional programming, hardware design, verification, cloud computing

POPL 2018 Activities

Using general profile