◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Steven Cheung

SRI

3 papers hereh-index 192.5k citations49 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author1
  • middle author2

Across the 3 of 3 papers where every author was matched, so the position is known.

fields
  • cs.PL2
  • cs.CR1
affiliations
  • SRI

identity via Semantic Scholar / OpenAlex

activity
20172021
most citedAbductive functional programming, a semantic approach

1 citations · 1 across the 1 of their papers we have counts for

collaborators

3 papers

cs.CR2021

Scalable Microservice Forensics and Stability Assessment Using Variational Autoencoders

Prakhar Sharma, Phillip Porras, Steven Cheung +2

We present a deep learning based approach to containerized application runtime stability analysis, and an intelligent publishing algorithm that can dynamically adjust the depth of…

cs.PL2019

Transparent Synchronous Dataflow

Steven W. T. Cheung, Dan R. Ghica, Koko Muroya

Dataflow programming is a popular and convenient programming paradigm in systems modelling, optimisation, and machine learning. It has a number of advantages, for instance the lack…

cs.PL2017★ 1 cited

Abductive functional programming, a semantic approach

Koko Muroya, Steven Cheung, Dan R. Ghica

We propose a call-by-value lambda calculus extended with a new construct inspired by abductive inference and motivated by the programming idioms of machine learning. Although synta…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.