~lobsters | Bookmarks (11)

clear filters

pdf × arxiv.org ×

First Come First Served: The Impact of File Position on Code Review

arxiv.org

Abstract: The most popular code review tools (e.g., Gerrit and GitHub) present the files to review...
Abstract: The most popular code review tools (e.g., Gerrit and GitHub) present the files to review sorted in alphabetical order. Could this choice or, more generally, the relative position in which a file is presented bias the outcome of code reviews? We investigate this hypothesis by triangulating complementary evidence in a two-step study. Comments

pdf practices
1
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production

arxiv.org

pdf security
1
Case Study: Securing MMU-less Linux Using CHERI

arxiv.org

MMU-less Linux variant lacks security because it does not have protection or isolation mechanisms. It also...
MMU-less Linux variant lacks security because it does not have protection or isolation mechanisms. It also does not use MPUs as they do not fit with its software model because of the design drawbacks of MPUs (\ie coarse-grained protection with fixed number of protected regions). We secure the existing MMU-less Linux version of the RISC-V port using CHERI. CHERI is a hardware-software capability-based system...

hardware linux pdf security
1
An Empirical Evaluation of LLMs for Solving Offensive Security Challenges

arxiv.org

ai pdf security
1
Hallucination is Inevitable: An Innate Limitation of Large Language Models

arxiv.org

ai pdf
2
Conway's Game of Life is Omniperiodic

arxiv.org

art math pdf science
1
Bluesky and the AT Protocol: Usable Decentralized Social Media

arxiv.org

pdf web
1
The possibility of making $138,000 from shredded banknote pieces using computer vision

arxiv.org

Every country must dispose of old banknotes. At the Hong Kong Monetary Authority visitor center, visitors...
Every country must dispose of old banknotes. At the Hong Kong Monetary Authority visitor center, visitors can buy a paperweight souvenir full of shredded banknotes. Even though the shredded banknotes are small, by using computer vision, it is possible to reconstruct the whole banknote like a jigsaw puzzle. Each paperweight souvenir costs $100 HKD, and it is claimed to contain shredded banknotes equivalent to...

graphics pdf
1
Yacc is dead (2010)

arxiv.org

We present two novel approaches to parsing context-free languages. The first approach is based on an...
We present two novel approaches to parsing context-free languages. The first approach is based on an extension of Brzozowski’s derivative from regular expressions to context-free grammars. The second approach is based on a generalization of the derivative to parser combinators. The payoff of these techniques is a small (less than 250 lines of code), easy-to-implement parsing library capable of parsing arbitrary context-free grammars into...

compilers pdf
1
A Modern Compiler for the French Tax Code

arxiv.org

Abstract: In France, income tax is computed from taxpayers’ individual returns, using an algorithm that is...
Abstract: In France, income tax is computed from taxpayers’ individual returns, using an algorithm that is authored, designed and maintained by the French Public Finances Directorate (DGFiP). This algorithm relies on a legacy custom language and compiler originally designed in 1990, which unlike French wine, did not age well with time. Owing to the shortcomings of the input language and the technical limitations of...

compilers formalmethods pdf plt
1
Dissecting the NVIDIA Volta GPU Architecture via Microbenchmarking (2018)

arxiv.org

graphics hardware pdf
1

~lobsters | Bookmarks (11)

Tags

Domains

First Come First Served: The Impact of File Position on Code Review

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production

Case Study: Securing MMU-less Linux Using CHERI

An Empirical Evaluation of LLMs for Solving Offensive Security Challenges

Hallucination is Inevitable: An Innate Limitation of Large Language Models

Conway's Game of Life is Omniperiodic

Bluesky and the AT Protocol: Usable Decentralized Social Media

The possibility of making $138,000 from shredded banknote pieces using computer vision

Yacc is dead (2010)

A Modern Compiler for the French Tax Code

Dissecting the NVIDIA Volta GPU Architecture via Microbenchmarking (2018)