Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  environment  theguardian.com  apple  psychology  arstechnica.com  trump  go  web  scimex.org  psypost.org  game  theregister.com  java  theverge.com  techcrunch.com  china 

Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures

6 months ago dl.acm.org compiler

50 years ago, SQL was first presented at the SIGFIDET Conference

6 months ago dl.acm.org sql

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation

6 months ago dl.acm.org compiler

Understanding misunderstandings in source code

5 months ago dl.acm.org science

Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour

6 months ago dl.acm.org c formalmethods

The Essence of Compiling with Continuations (1993) [pdf]

6 months ago dl.acm.org pdf

Serious flaws in SQL (1990)

6 months ago dl.acm.org sql

Polynima: Practical Hybrid Recompilation for Multithreaded Binaries

6 months ago dl.acm.org compiler

Development of the Domain Name System (1988)

6 months ago dl.acm.org

Paradigms of Artificial Intelligence Programming: CASE STUDIES IN COMMON LISP by Peter Norvig (online book)

6 months ago dl.acm.org ai lisp

Anatomy of LISP: | Guide books | ACM Digital Library , PDF available

6 months ago dl.acm.org lisp pdf

Trusting Trust: Ken Thompson on supply chain security (1984)

7 months ago dl.acm.org

Survey of Distributed File System Design Choices

7 months ago dl.acm.org distributed osdev

Interval Parsing Grammars for File Format Parsing (2023) [pdf]

7 months ago dl.acm.org pdf

Towards Understanding the Runtime Performance of Rust | Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering

8 months ago dl.acm.org rust

More Fixpoints (Functional Pearl) [pdf]

8 months ago dl.acm.org compiler haskell pdf

Experience with an Uncommon Lisp (1986) [pdf]

7 months ago dl.acm.org lisp pdf

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler

8 months ago dl.acm.org compiler

Fast Template-Based Code Generation for MLIR

8 months ago dl.acm.org compiler

An interview study of members of r/bisexual finds that the group helps members to better understand their own lived experiences, mitigating "hermeneutical injustice" (when one doesn't have enough information to understand one's own experiences)

8 months ago dl.acm.org

The Lincoln TX-2 Computer Development (1957) [pdf]

8 months ago dl.acm.org pdf

Not Without Us – Joseph Weizenbaum (1986)

8 months ago dl.acm.org

CC 2024: Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction

8 months ago dl.acm.org compiler

Concurrent Processes and Their Syntax (1979) [pdf]

9 months ago dl.acm.org pdf

Towards Modern Development of Cloud Applications (2023)

10 months ago dl.acm.org

Protecting Secrets from Computers (2023)

9 months ago dl.acm.org

Kernel extension verification is untenable

9 months ago dl.acm.org kernel linux security

DevEx in Action [pdf]

9 months ago dl.acm.org pdf

Christopher Alexander: An Introduction for Object-Oriented Designers [pdf]

10 months ago dl.acm.org pdf

Meta II: Digital Vellum in the Digital Scriptorium

11 months ago dl.acm.org compiler historical meta

More →