progscrape: dl.acm.org

Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

QUIC is not quick enough over fast internet

7 days ago dl.acm.org networking

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

11 days ago dl.acm.org compiler

On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs

13 days ago dl.acm.org compiler irs

Hypermedia Controls: Feral to Formal (PDF: ACM HT'24)

5 days ago dl.acm.org pdf

Snapshottable Stores

11 days ago dl.acm.org

GenAI diminishes creativity instead of inspiration

21 days ago dl.acm.org

A systematic approach to deriving incremental type checkers (2020)

25 days ago dl.acm.org database pdf plt

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

24 days ago dl.acm.org formalmethods historical pdf plt

Calendar Queues: A Fast O(1) Priority Queue Implementation (1988)

17 days ago dl.acm.org

Compiling Loop-Based Nested Parallelism for Irregular Workloads

33 days ago dl.acm.org compiler

Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation

34 days ago dl.acm.org rust

Just-In-Time Compilation on ARM—A Closer Look at Call-Site Code Consistency

35 days ago dl.acm.org compiler hardware

Interval parsing grammars for file format parsing (2023)

36 days ago dl.acm.org

SQL/SE Query Language Extension for Schema Evolution (1992) [pdf]

39 days ago dl.acm.org pdf

APL Since 1978 [pdf] (2020)

50 days ago dl.acm.org apl pdf

A survey of general-purpose polyhedral compilers

2 months ago dl.acm.org compiler

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior

2 months ago dl.acm.org compiler

Elligator: Elliptic-curve points indistinguishable from uniform random strings (2013)

2 months ago dl.acm.org

Understanding GPU Memory Corruption at Extreme Scale: The Summit Case Study

2 months ago dl.acm.org gpu

Boosting Compiler Testing by Injecting Real-World Code

2 months ago dl.acm.org compiler

Air-Bus Hijacking: Silently Taking over Avionics Systems

2 months ago dl.acm.org

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior

2 months ago dl.acm.org compiler pdf

Misconceptions about loops in C

2 months ago dl.acm.org c compiler

When Is Parallelism Fearless and Zero-Cost with Rust?

2 months ago dl.acm.org distributed performance rust

Apache Arrow DataFusion: A Fast, Embeddable, Modular Analytic Query Engine

3 months ago dl.acm.org

Falcon: A Scalable Analytical Cache Model

2 months ago dl.acm.org compiler

Connection Machine Lisp (1986)

2 months ago dl.acm.org lisp

The size-change principle for program termination (2001)

3 months ago dl.acm.org plt

Researchers develop a model that uses mathematical psychology to help computers interpret and understand human emotions

3 months ago dl.acm.org psychology

New methodology - using labeling functions to represent motivation of GitHub Developers

2 months ago dl.acm.org github psychology