Search: dl.acm.org | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

Synthesizing MILP Constraints for Efficient and Robust Optimization

3 years ago

2 points

932.

Covering All the Bases: Type-Based Verification of Test Input Generators

3 years ago

2 points

933.

Efficient Parallel Functional Programming with Effects

3 years ago

2 points

934.

Parallelising Control Flow in Dynamic-Scheduling High-Level Synthesis

3 years ago

2 points

935.

Generate correctly rounded math libraries for new floating point variants

3 years ago

2 points

936.

Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks

3 years ago

2 points

937.

Privacy Implications of Accelerometer Data: Review of Possible Inferences (2019)

3 years ago

2 points

938.

Hosting an object heap on manycore hardware: an exploration

3 years ago

2 points

939.

DevEx: What Drives Productivity?

3 years ago

2 points

940.

Wikidata: The Making Of

3 years ago

2 points

941.

Co-Writing with Opinionated Language Models Affects Users’ Views

3 years ago

2 points

942.

Programming Pearls: A Literate Program (1986) [pdf]

3 years ago

2 points

943.

DRAMHiT: A Hash Table Architected for the Speed of DRAM

3 years ago

2 points

944.

Estimating the number of users behind ip addresses for combating abusive traffic

14 years ago

2 points

945.

Can Applications Recover from Fsync Failures?

3 years ago

2 points

946.

Computing with Text-Graphic Forms (1980) [pdf]

3 years ago

2 points

947.

Agency-Based Parrot-to-Parrot Video-Calling System for Interspecies Enrichment

3 years ago

2 points

948.

Performance effects of architectural complexity in the Intel 432

3 years ago

2 points

949.

Pond: CXL-Based Memory Pooling Systems for Cloud Platforms

3 years ago

2 points

950.

Propeller: A Profile Guided Relinking Optimizer for Warehouse-Scale Applications

3 years ago

2 points

951.

WARDen: Specializing Cache Coherence for High-Level Parallel Languages

3 years ago

2 points

952.

Connection Graphs (1986) [pdf]

3 years ago

haskellandchill

2 points

953.

ADEV: Sound Automatic Differentiation of Probabilistic Programs' Expected Values

3 years ago

2 points

954.

Myths and mythconceptions: what does it mean to be a programming language?

3 years ago

2 points

955.

The computer for the 21st century (1999)

3 years ago

2 points

956.

Babble: Learning Better Abstractions with E-Graphs and Anti-Unification

3 years ago

082349872349872

2 points

957.

POPL 2023 Proceedings (Principles of Programming Languages)

3 years ago

2 points

958.

The Scheme Environment: Dynamic Variables

3 years ago

2 points

959.

See it to believe it?: the role of visualisation in systems research

3 years ago

2 points

960.

How to fight prod incidents?: an empirical study on a large-scale cloud service

3 years ago

2 points