🦞🌯 Lobster Roll

Thread

How many months can it take to verify 30 assembly instructions? (research.microsoft.com)
L 22 pts 9 comments by rubenbarroso Jul 12, 2015 assemblypdf thread

Stories related to "How many months can it take to verify 30 assembly instructions?" across the full archive.

How many months can it take to verify 30 assembly instructions? (research.microsoft.com)
L 22 pts 9 comments by rubenbarroso Jul 12, 2015 assemblypdf Systems / Low-Level / OS thread
Assembly is Too High Level: Repetition of REP Instructions That Don’t Repeat Anything (xlogicx.net)
L 6 pts 3 comments by pushcx Feb 14, 2016 assembly Systems / Low-Level / OS thread
Vale: Verifying High-Performance, Cryptographic, Assembly Code (2017) (project-everest.github.io)
L 6 pts 1 comments by nickpsecurity Oct 5, 2017 assemblycompsciformalmethodspdf Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Writing Practical, Memory Management Code with a Strictly-Typed, Assembly Language (2006) (web.yl.is.s.u-tokyo.ac.jp)
L 9 pts 2 comments by nickpsecurity Feb 16, 2018 assemblyformalmethodspdfsecurity Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheorySecurity / PrivacyProductivity / Career / Business thread
Typed Operating System can be downloaded [here](http://web.yl.is.s.u-tokyo.ac.jp/~tosh/tos/).
PeachPy: A Python Framework for Developing High-Performance Assembly Kernels (2013) (dlr.de)
L 8 pts 1 comments by nickpsecurity Feb 17, 2018 assemblypdfpython Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Heap Bounded Assembly Language (2002) (homepages.inf.ed.ac.uk)
L 2 pts 0 comments by nickpsecurity Mar 11, 2018 assemblyformalmethodspdfplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
Abstract: "We present a first-order linearly typed assembly language, HBAL, that allows the safe reuse of heap space for elements of different types. Linear typing ensures the single pointer property, disallowing aliasing, but allowing safe in-place update compilation of programming languages. We pr...
Reverse Engineering WebAssembly (pnfsoftware.com)
L 2 pts 0 comments by calvin Jul 11, 2018 assemblypdfreversingweb Web DevelopmentSystems / Low-Level / OS thread
SIMD Assembly Instructions: Optimizing Every Byte (dataden.tech)
L 6 pts 2 comments by calvin Oct 6, 2018 assembly Systems / Low-Level / OS thread
A Moron's Guide for Starting in AVR Assembly (avrfreaks.net)
L 5 pts 0 comments by cadey Oct 29, 2019 assemblypdf Systems / Low-Level / OS thread
Binary Mutation Analysis of Tests Using Reassembleable Disassembly (www-users.cs.umn.edu)
L 5 pts 1 comments by nickpsecurity Jan 15, 2020 assemblycpdftesting Systems / Low-Level / OSProgramming (General) thread
Abstract: "Good tests are important in software development, but it can be hard to tell whether tests will reveal future faults that are themselves unknown. Mutation analysis, which checks whether tests reveal inserted changes in a program, is a strong measure of test suite adequacy, but common ...
An iOS, iPadOS, and macOS application reference manual for ARM assembly instructions (github.com)
L 4 pts 1 comments by eatonphil Jul 4, 2020 assemblyiosmac Systems / Low-Level / OSApple / macOS / iOS thread
Writing Efficient Itanium 2 Assembly Code (2010) (yurichev.com)
L 8 pts 8 comments by calvin Aug 11, 2020 assemblypdf Systems / Low-Level / OSProgramming (General) thread
Top 10 Craziest Assembly Language Instructions (youtube.com)
L 5 pts 1 comments by Hail_Spacecake Mar 2, 2021 assemblyvideo Systems / Low-Level / OS thread
C--: A Portable Assembly Language (1997) (microsoft.com)
L 17 pts 4 comments by seb Jul 17, 2021 assemblypdfplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
Assembly instructions distribution (cambus.net)
L 8 pts 4 comments by fcambus Jun 13, 2022 assemblycompilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
A Dependently Typed Assembly Language (cs.cmu.edu)
L 26 pts 5 comments by linkdd Apr 28, 2025 assemblypdfpltprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Java MBeanInstantiator.findClass 0Day Analysis (partners.immunityinc.com)
L 1 pts 0 comments by jcs Jan 11, 2013 assemblyjavapdfreversing Systems / Low-Level / OSProgramming (General) thread
Go & Assembly (doxsey.net)
L 3 pts 2 comments by inactive-user Feb 7, 2013 assemblygo Systems / Low-Level / OSProgramming (General) thread
Introduction to x64 Assembly (software.intel.com)
L 2 pts 0 comments by inactive-user Apr 6, 2013 assembly Systems / Low-Level / OS thread
LLVM IR is better than assembly (idea.popcount.org)
L 7 pts 0 comments by seven1m Jul 24, 2013 assemblyprogramming Systems / Low-Level / OSProgramming (General) thread
mov is Turing-complete (cl.cam.ac.uk)
L 9 pts 0 comments by LeahNeukirchen Sep 21, 2013 assemblypdf Systems / Low-Level / OSProgramming Languages / CS Theory thread
Understanding ARM Assembly, Part 1 (blogs.msdn.com)
L 2 pts 0 comments by inactive-user Nov 25, 2013 assembly Systems / Low-Level / OS thread
MikeOS - simple x86 assembly language operating system (mikeos.berlios.de)
L 7 pts 0 comments by jbrooksuk Dec 6, 2013 assemblycompsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Minimalish assembly TCP HTTP server program for i386 Linux (canonical.org)
L 5 pts 0 comments by inactive-user Dec 15, 2013 assembly Systems / Low-Level / OSProgramming (General) thread
Cognac: a framework for documenting and verifying the design of Cobol systems (2009) (soft.vub.ac.be)
L 3 pts 0 comments by aturley Jan 8, 2014 pdfprogramming Programming (General)Design / UX / Visualization thread
Introductory Intel x86: Architecture, Assembly, Applications, & Alliteration (opensecuritytraining.info)
L 1 pts 0 comments by tkozik Feb 27, 2014 assemblycreversing Systems / Low-Level / OS thread
Fast, less-complicated, lock-free Data Structures (2012) (akkadia.org)
L 9 pts 1 comments by svm Feb 28, 2014 assemblycpdfprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
SBCL: the ultimate assembly code breadboard (pvk.ca)
L 7 pts 1 comments by inactive-user Mar 16, 2014 assemblylisp Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Coq: The World's Best Macro Assembler? (Microsoft Research) (research.microsoft.com)
L 14 pts 3 comments by GrayGnome Apr 15, 2014 assemblycompscipdf Systems / Low-Level / OSProgramming Languages / CS Theory thread
IRC bot in ARM assembly (github.com)
L 12 pts 0 comments by inactive-user Jul 16, 2014 assembly Systems / Low-Level / OS thread