The Wayback Machine - https://webcf.waybackmachine.org/web/20211011001247/https://dl.acm.org/toc/jacm/2021/68/6
Bibliometrics

SECTION: Algorithms

research-article
Open Access
Fast Sampling and Counting k-SAT Solutions in the Local Lemma Regime
December 2021, Article No.: 40, pp 1–42https://doi.org/10.1145/3469832

We give new algorithms based on Markov chains to sample and approximately count satisfying assignments to k-uniform CNF formulas where each variable appears at most d times. For any k and d satisfying kd < no(1) and k ≥ 20 log k + 20 log d + 60, the new ...

SECTION: Programming Languages

research-article
Open Access
Logical Relations as Types: Proof-Relevant Parametricity for Program Modules
December 2021, Article No.: 41, pp 1–47https://doi.org/10.1145/3474834

The theory of program modules is of interest to language designers not only for its practical importance to programming, but also because it lies at the nexus of three fundamental concerns in language design: the phase distinction, computational effects, ...

SECTION: Algorithms and Data Structures

research-article
Adjacency Labelling for Planar Graphs (and Beyond)
December 2021, Article No.: 42, pp 1–33https://doi.org/10.1145/3477542

We show that there exists an adjacency labelling scheme for planar graphs where each vertex of an n-vertex planar graph G is assigned a (1 + o(1)) log 2 n-bit label and the labels of two vertices u and v are sufficient to determine if uv is an edge of G. ...

SECTION: Machine Learning

research-article
Open Access
Distribution-free, Risk-controlling Prediction Sets
December 2021, Article No.: 43, pp 1–34https://doi.org/10.1145/3478535

While improving prediction accuracy has been the focus of machine learning in recent years, this alone does not suffice for reliable decision-making. Deploying learning systems in consequential settings also requires calibrating and communicating the ...

Subjects

Abstract data typesAbstractionData structures design and analysisHypothesis testing and confidence interval computationMachine learningModules / packagesNonparametric statisticsRandom walks and Markov chainsResampling methodsType theory

Comments

About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!