Satnam Singh

Registered user since Fri 5 Jan 2018

Name:Satnam Singh
Bio:

Satnam Singh is currently working at Groq on applying functional programming to the design and implementation of machine learning chips. At Google he worked on formally verified hardware for security and privacy. He has previous form in the areas of functional programming, domain-specific languages, compilers, custom hardware acceleration with FPGAs and ASICs, concurrency and parallelism, formal verification, configuration management, distributed systems, container orchestration, cloud computing and low level Android performance optimization. Ex-academic with experience of paper writing and obtaining research grants and a love of teaching. Professional duties include former ACM SIGPLAN executive committee member, IFIP WG2.8 and IFIP WG2.11 member and much experience of PCs and government grant award committees.

Country:United States
Affiliation:Groq
Research interests:Functional programming, hardware design, formal verification, cloud computing

Contributions

ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
PEPM 2023 Committee Member in Program Committee within the PEPM 2023-track
Haskell 2022 Session Chair of Applications (part of Haskell 2022)
Committee Member in Program Committee within the Haskell 2022-track
HASE 2020 Committee Member in Organizing Committee within the HASE 2020-track
Chair of Working Sessions II within the HASE 2020-track
PLMW @ ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP 2019-track
Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track
Haskell 2019 Keynote Speaker of Haskell Use and Abuse at Scale within the Haskell 2019-track
HIW 2019 Author of Haskell Use and Abuse at Scale within the HIW 2019-track
ICFP 2018 Author of SIGPLAN Awards within the Keynotes and Reports-track
PLDI 2018 Session Chair of SIGPLAN and SRC Awards (part of PLDI Invited Speakers)
POPL 2018 Awards Chair of SIGPLAN Awards within the Research Papers-track
SPLASH 2017 SIGPLAN Awards Chair of SIGPLAN Awards within the Keynotes-track
POPL 2017 Session Chair of ACM and SIGPLAN Awards (part of POPL)
FHPC 2016 Committee Member in Program Committee within the FHPC-track