Search: dl.acm.org | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Language-Integrated Queries: A Boldr Approach

2 years ago

2 points

902.

LOGOS and the Software Engineer (1972)

2 years ago

2 points

903.

How do we tell truths that might hurt?, by E.W. Dijkstra

2 years ago

2 points

904.

A Confucian Cross-Cultural Exploration of the Ethical Treatment of Robots

2 years ago

2 points

905.

Code-Level Attribution of Unnecessary Data Transfer in Microservice Applications

3 years ago

2 points

906.

Kernel vs. User-Level Networking: Don't Throw Out the Stack with the Interrupts

3 years ago

2 points

907.

The Case Against User Interface Consistency [pdf]

3 years ago

2 points

908.

Aesop: White-Box Best-First Proof Search for Lean

3 years ago

2 points

909.

Bluffs: Bluetooth Forward and Future Secrecy Attacks

3 years ago

2 points

910.

Bluffs: Bluetooth Forward and Future Secrecy Attacks and Defenses

3 years ago

2 points

911.

Origins of the D Programming Language (2020)

3 years ago

2 points

912.

Frustration: Still a Common User Experience

3 years ago

2 points

913.

A Workload-Aware and Query-Sensitive Framework for Disk-Based Spatial Indexing

3 years ago

2 points

914.

Towards Modern Development of Cloud Applications

3 years ago

2 points

915.

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog

3 years ago

2 points

916.

Microsecond-Scale Tail Latency with Approximate Optimal Scheduling [pdf]

3 years ago

2 points

917.

Alternative Possibilities for Research and Futuring in Social Computing

3 years ago

2 points

918.

When Concurrency Matters: Behaviour-Oriented Concurrency [pdf]

3 years ago

2 points

919.

Structured Programming with go to Statements (Knuth) (1974)

3 years ago

2 points

920.

Choreographic Programming: Higher-Order Typed Functional Choreographies

3 years ago

2 points

921.

Xerox PARC: A Metaobject Protocol for C++ (1995) [pdf]

3 years ago

2 points

922.

ReUpNix: Reconfigurable and Updateable Embedded Systems [pdf]

3 years ago

2 points

923.

Testing the Compiler for a New-Born Programming Language

3 years ago

2 points

924.

Guaranteeing Õ(AGM/Out) Runtime for Uniform Sampling, Size Estimation over Joins

3 years ago

2 points

925.

What does it mean to be a programming language, anyhow? (2021) [pdf]

3 years ago

2 points

926.

Why Johnny Can’t Prompt: How Non-AI Experts Try (and Fail) to Design LLM Prompts

3 years ago

2 points

927.

Symbolics Document Examiner: Delivery Interface for Hypertext Documents (1987) [pdf]

3 years ago

2 points

928.

Why Johnny Can’t Prompt: How Non-AI Experts Try (and Fail) to Design LLM Prompts

3 years ago

2 points

929.

Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages

3 years ago

2 points

930.

Programming Languages and Law: A Research Agenda

3 years ago

2 points