Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  vibecoding  health  security  meta  arstechnica.com  linux  google  video  show  i.redd.it  microsoft  github  theguardian.com  game  apple  psychology  openai 

Design and Evaluation of FPGA-Based Gigabit Ethernet Network Card (2004)

7 years ago pdfs.semanticscholar.org

Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing (2012)

8 years ago pdfs.semanticscholar.org

Optimizing Paxos with batching and pipelining

8 years ago pdfs.semanticscholar.org

UCLA Secure UNIX (1977-1979)

8 years ago pdfs.semanticscholar.org ucla

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems (2015)

8 years ago pdfs.semanticscholar.org

Synthesis-Based Loose Programming (2010)

8 years ago pdfs.semanticscholar.org

Compiler Construction: The Art of Niklaus Wirth

8 years ago pdfs.semanticscholar.org art compiler

Show HN: Read ArXiv Papers on Semantic Scholar as Responsive HTML Documents

8 years ago semanticscholar.org html show

Synthesis - An Efficient Implementation of Fundamental Operating System Services (1992)

8 years ago pdfs.semanticscholar.org

Language Constructs for Safe, Parallel Programming on Multicores (2016)

8 years ago pdfs.semanticscholar.org

Parasitic Computing

8 years ago pdfs.semanticscholar.org

Certified Development Tools Implementation in Objective Caml (2008)

8 years ago pdfs.semanticscholar.org

prom: A Flexible, Prolog-based make tool (1991)

8 years ago pdfs.semanticscholar.org

The Intel 80x86 Process Architecture: Pitfalls for Secure Systems (1995)

8 years ago pdfs.semanticscholar.org intel

Towards a User-Mode Approach to Partitioned Scheduling in seL4 Microkernel (2012)

8 years ago pdfs.semanticscholar.org

Verification of Erlang Programs using Abstract Interpretation and Model Checking (2001)

8 years ago pdfs.semanticscholar.org erlang

Software Requirements Errors in Safety-Critical, Embedded Systems (1993)

8 years ago pdfs.semanticscholar.org embedded

Things I Have Learned (So Far)

8 years ago pdfs.semanticscholar.org

Hardware Managed Thread Concurrency for Irregular Apps

8 years ago pdfs.semanticscholar.org concurrency

Compiler Optimizations Should Pay for Themselves (1994)

8 years ago pdfs.semanticscholar.org compiler

Combined Static and Dynamic, Automated, Test Generation (2011)

8 years ago pdfs.semanticscholar.org

On-line Man-Computer Communication (1962)

8 years ago pdfs.semanticscholar.org

Separation, Virtual, Machine Monitors (VMM's) (2012)

8 years ago pdfs.semanticscholar.org

Classic Nintendo Games are (NP-)Hard

8 years ago pdfs.semanticscholar.org game nintendo

Deep Learning and Quantum Entanglement

8 years ago pdfs.semanticscholar.org

Design and Implementing the OP and OP2 Web Browsers (2011)

8 years ago pdfs.semanticscholar.org web

Wikipedia Vandal Early Detection: From User Behavior to User Embedding

8 years ago pdfs.semanticscholar.org

How Professional Hackers Understand Protected Code While Performing Attack Tasks

8 years ago pdfs.semanticscholar.org

High Coverage Testing of Haskell Programs (2011)

8 years ago pdfs.semanticscholar.org haskell

The implementation of functional languages using custom hardware - Semantic Scholar

8 years ago semanticscholar.org

More →