Search: dl.acm.org | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

541.

Logarithms of algebraic data types for property-based testing (2022) (dl.acm.org)

3 points

a year ago

542.

Between the Booms: AI in Winter (dl.acm.org)

3 points

a year ago

543.

Kernel vs. User-Level Networking: Don't Throw Out the Stack with the Interrupts (dl.acm.org)

3 points

a year ago

544.

Origins of the D Programming Language (dl.acm.org)

3 points

a year ago

545.

WALI: WebAssembly with thin Linux kernel interfaces (dl.acm.org)

3 points

a year ago

546.

Creating Furniture-Scale Depolyable Objects with a CNC Sewing Machine (dl.acm.org)

3 points

a year ago

547.

Data Race Freedom à la Mode (dl.acm.org)

3 points

a year ago

548.

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus (dl.acm.org)

3 points

a year ago

549.

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods (dl.acm.org)

3 points

a year ago

550.

Past, Present, and Future of Video Streaming over Starlink [pdf] (dl.acm.org)

3 points

a year ago

551.

Asking Students to Do All the Work (dl.acm.org)

3 points

a year ago

552.

The consequences of one's first programming language [pdf] (1980) (dl.acm.org)

3 points

2 years ago

553.

Necomimi Illusion: Generating Ownership of Cat Ears w/ Haptic Feedback via Hair (dl.acm.org)

3 points

2 years ago

554.

Did the Roll-Out of Community Notes Reduce Engagement with Misinfo on Twitter? (dl.acm.org)

3 points

2 years ago

555.

Why Google Stores Billions of Lines of Code in a Single Repository (dl.acm.org)

3 points

2 years ago

556.

In Plain Sight (2006) (dl.acm.org)

3 points

2 years ago

557.

Anonymization of location data does not work: a large-scale study (2011) (dl.acm.org)

3 points

2 years ago

558.

A modest proposal: C++ resyntaxed (1996) (dl.acm.org)

3 points

2 years ago

559.

Mental Wellbeing at Work: Perspectives of Software Engineers (dl.acm.org)

3 points

2 years ago

560.

In Memoriam: Gordon Bell – Communications of the ACM (dl.acm.org)

3 points

2 years ago

561.

HMComp: Extending Near-Memory Capacity Using Compression (dl.acm.org)

3 points

2 years ago

562.

What does it mean to be a programming language, anyhow? [pdf] (dl.acm.org)

3 points

2 years ago

563.

Understanding Performance of eBPF Maps [pdf] (dl.acm.org)

3 points

2 years ago

564.

Zero Tolerance for Bias (dl.acm.org)

3 points

2 years ago

565.

Understanding GPU Memory Corruption at Extreme Scale: The Summit Case Study (dl.acm.org)

3 points

2 years ago

566.

From Fortran and Algol to Object-Oriented Languages (1993) (dl.acm.org)

3 points

2 years ago

567.

Automemcpy: A framework for generating fundamental memory operations (dl.acm.org)

3 points

2 years ago

568.

Abstract Types Have Existential Type (1988) (dl.acm.org)

3 points

2 years ago

569.

Study of the Characteristics of ChatGPT Answers to Stack Overflow Questions (dl.acm.org)

3 points

2 years ago

570.

Survey of Distributed File System Design Choices (dl.acm.org)

3 points

2 years ago