🦞🌯 Lobster Roll

Thread

An Empirical Study of the Correctness of Formally-Verified, Distributed Systems (locore.cs.washington.edu)
L 10 pts 1 comments by nickpsecurity May 22, 2017 compscidistributedformalmethodspdfprogramming thread

Stories related to "An Empirical Study of the Correctness of Formally-Verified, Distributed Systems" across the full archive.

An Empirical Study on the Correctness of Formally Verified Distributed Systems (homes.cs.washington.edu)
L 7 pts 0 comments by koomi Apr 20, 2017 compscidistributedpdfpracticestesting Programming (General)Programming Languages / CS TheoryData / Databases / InfrastructureProductivity / Career / Business thread
An Empirical Study of the Correctness of Formally-Verified, Distributed Systems (locore.cs.washington.edu)
L 10 pts 1 comments by nickpsecurity May 22, 2017 compscidistributedformalmethodspdfprogramming Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
An empirical study on the correctness of formally verified distributed systems (blog.acolyer.org)
L 6 pts 1 comments by unbalancedparentheses May 30, 2017 distributed Data / Databases / Infrastructure thread
An Empirical Study of the I2P Anonymity Network and its Censorship Resistance (arxiv.org)
L 11 pts 1 comments by calvin Sep 27, 2018 distributedpdfprivacy Data / Databases / InfrastructureSecurity / Privacy thread
Paper Review: Empirical Study on Crash Recovery Bugs in Large-Scale, Distributed Systems (muratbuffalo.blogspot.com)
L 11 pts 0 comments by nickpsecurity Jan 21, 2019 compscidistributedpractices Programming Languages / CS TheoryData / Databases / InfrastructureProductivity / Career / Business thread
An Empirical Study into the Security Exposure to Hosts of Hostile Virtualized Environments (taviso.decsystem.org)
L 4 pts 0 comments by nick Jul 9, 2012 pdfsecurity Systems / Low-Level / OSSecurity / Privacy thread
Software foundations (new free textbook on developing formally verified software) (cis.upenn.edu)
L 2 pts 1 comments by mikeg Sep 6, 2012 release Programming (General) thread
The Influence of Organizational Structure On Software Quality: An Empirical Case Study (research.microsoft.com)
L 6 pts 4 comments by reiver Mar 5, 2014 practices Programming (General)Productivity / Career / Business thread
Attempting to write a formally verified PDF parser (spw14.langsec.org)
L 12 pts 1 comments by pushcx Oct 2, 2014 pdfprogramming Programming (General) thread
The empirical evidence that types affect productivity and correctness (danluu.com)
L 27 pts 2 comments by pushcx Nov 10, 2014 compsciscience Programming Languages / CS TheoryScience / Math / PhysicsProductivity / Career / Business thread
Worth skipping down to the summary and then reading through the details if you're curious about the nitty-gritty.
CompCert: A formally verified optimizing C compiler (absint.com)
L 8 pts 1 comments by sanxiyn Mar 2, 2015 ccompilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
The Influence of Organizational Structure On Software Quality: An Empirical Case Study (research.microsoft.com)
L 8 pts 1 comments by joshuacc Aug 3, 2015 pdfpracticesprogramming Programming (General)Productivity / Career / Business thread
An Empirical Study of Implicit Type Conversions in JavaScript (blog.acolyer.org)
L 4 pts 0 comments by pushcx Aug 4, 2015 javascriptscience Web DevelopmentScience / Math / Physics thread
On the Effectiveness of Aluminium Foil Helmets: An Empirical Study (web.archive.org)
L 13 pts 0 comments by pushcx Jun 1, 2016 hardwarescience Science / Math / PhysicsMaker / DIY / Hardware thread
Analysis of Exception Handling Patterns in Java Projects: An Empirical Study (plg.uwaterloo.ca)
L 2 pts 0 comments by pushcx Jun 6, 2016 javapdf Programming (General) thread
Empirical Study of Usage and Performance of Java Collections (researchgate.net)
L 4 pts 0 comments by soulcutter Mar 9, 2017 javapdf Programming (General) thread
To Mock or Not To Mock? An Empirical Study on Mocking Practice (pure.tudelft.nl)
L 3 pts 0 comments by pushcx Apr 3, 2017 pdftesting Programming (General) thread
Abstract: > When writing automated unit tests, developers often deal with software artifacts that have several dependencies. In these cases, one has the possibility of either instantiating the dependencies or using mock objects to simulate the dependencies’ expected behavior. Even though recent qua...
Writing a Formally-Verified, Image Browser in Coq (michaelburge.us)
L 9 pts 3 comments by nickpsecurity Aug 26, 2017 formalmethodsprogramming Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
A comprehensive study of Convergent and Commutative Replicated Data Types (hal.upmc.fr)
L 6 pts 0 comments by pushcx Aug 26, 2017 distributedpdf Data / Databases / Infrastructure thread
Measuring Correctness of State in a Distributed System (blog.wallaroolabs.com)
L 4 pts 0 comments by SeanTAllen Oct 5, 2017 distributedtesting Programming (General)Data / Databases / Infrastructure thread
What Developers Want and Need from Program Analysis: An Empirical Study (microsoft.com)
L 5 pts 2 comments by GeoffWozniak Oct 9, 2017 compilerspdfpractices Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
Runtime error in formally verified CompCert C compiler's parser (github.com)
L 19 pts 13 comments by minimax Dec 19, 2017 cformalmethods Systems / Low-Level / OSProgramming Languages / CS Theory thread
Formally-Verified Interpreter for a Shell-like, Programming Language (2017) (hal-univ-diderot.archives-ouvertes.fr)
L 16 pts 4 comments by nickpsecurity Jan 2, 2018 compsciformalmethodsprogramming Programming (General)Programming Languages / CS Theory thread
Formally Verified Cryptographic Primitive Implementations in WireGuard (lists.zx2c4.com)
L 21 pts 12 comments by zx2c4 Jan 18, 2018 cryptographyformalmethodslinuxnetworking Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / Infrastructure thread
The interesting meat is in: * https://github.com/mitls/hacl-star * https://eprint.iacr.org/2017/536.pdf * https://github.com/mit-plv/fiat-crypto * https://people.csail.mit.edu/jgross/personal-website/papers/2018-fiat-crypto-pldi-draft.pdf
An Empirical Study on the Reliability of UNIX Utilities (1989) (ftp.cs.wisc.edu)
L 6 pts 0 comments by nickpsecurity Feb 7, 2018 historicalpdftestingunix Systems / Low-Level / OSProgramming (General)Culture / Philosophy / History / Reading thread
Loopy: Programmable and Formally Verified Loop Transformations (2016) (repository.upenn.edu)
L 1 pts 0 comments by nickpsecurity Mar 13, 2018 ccompilersformalmethods Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Abstract: "Abstract. This paper presents a system, Loopy, for programming loop transformations. Manual loop transformation can be tedious and error prone, while fully automated methods do not guarantee improvements. Loopy takes a middle path: a programmer specifies a loop transformation at a high le...
A Formally Verified NAT (2017) (vignat.github.io)
L 3 pts 5 comments by nickpsecurity Mar 14, 2018 cformalmethodsnetworkingpdf Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / Infrastructure thread
Abstract: "We present a Network Address Translator (NAT) written in C and proven to be semantically correct according to RFC 3022, as well as crash-free and memory-safe. There exists a lot of recent work on network verification, but it mostly assumes models of network functions and proves properties...
Shipping formally verified crypto code (franziskuskiefer.de)
L 6 pts 0 comments by freddyb Apr 16, 2018 cryptographyformalmethods Programming (General)Programming Languages / CS Theory thread
Empirical Study Comparing Pairwise, Automated Testing to Hand-Crafted Tests (2017) (arxiv.org)
L 5 pts 1 comments by nickpsecurity May 28, 2018 pdfpracticestesting Programming (General)Productivity / Career / Business thread
Abstract: "Testing is an important activity in engineering of industrial software. For such software, testing is usually performed manually by handcrafting test suites based on specific design techniques and domain-specific experience. To support developers in testing, different approaches for prod...
Ledger Language Design: Designing and Deploying Formally Verified Public Ledgers (eprint.iacr.org)
L 9 pts 2 comments by nickpsecurity Jun 1, 2018 formalmethodsmerkle-treespdfplt Programming Languages / CS TheoryDesign / UX / Visualization thread