WebAssembly Instrumentation in the Wizard Research Engine
Hello all, I've been working on research tools for Wasm for some time now, and just today we put up the pre-print for our newest paper "Flexible Non-intrusive Dynamic Instrumentation for WebAssembly" (https://arxiv.org/abs/2403.07973), which will appear in ASPLOS 2024. Two previous papers, one about Wizard's interpreter (https://dl.acm.org/doi/10.1145/3563311) and one about the JIT (https://arxiv.org/abs/2305.13241) have been discussed on HN before. This new paper explains what Wizard is really about: dynamic instrumentation of…
What it does
In the maker’s words, at launch
Hello all, I've been working on research tools for Wasm for some time now, and just today we put up the pre-print for our newest paper "Flexible Non-intrusive Dynamic Instrumentation for WebAssembly" (https://arxiv.org/abs/2403.07973), which will appear in ASPLOS 2024. Two previous papers, one about Wizard's interpreter (https://dl.acm.org/doi/10.1145/3563311) and one about the JIT (https://arxiv.org/abs/2305.13241) have been discussed on HN before. This new paper explains what Wizard is really about: dynamic instrumentation of Wasm programs, without modifying the program or its behavior. Wizard can do this with a flexible callback API (probes) that are supported, and indeed optimized, in all of Wizard's execution tiers. We'd be interested in more feedback, more people kicking the tires, and ideas for more dynamic analyses that can be built through its APIs. It's pretty easy to write a new monitor that instruments and studies programs; this is what we expect people will want to do very often. And of course we'd welcome contributions of useful monitors back to Wizard's repo. (This post is also part apology in that I suck at marketing and documentation--I'm deep in compilers most of the time!).
Does the same job
all alternatives →- PIParabola.io – Automate your work with visual programming2018 · parabola.io · ▲291
Hi HN! I’m Alex from Parabola (https://parabola.io). Parabola is a visual programming tool for creating functional data flows that everyone can use. It’s entirely drag-and-drop, handles data sizes much larger than a traditional spreadsheet, calculates everything live, and can run your flows on a schedule of your choosing. I used to work in strategy consulting, doing data analytics for SMBs and Fortune 500 companies. The amount of time wasted on menial tasks was astounding. Things like cleaning data, generating custom reports, creating human workflows to solve shortcomings in third…
- AWA WebAssembly System Interface Implementation for Deno2020 · github.com · ▲90
- AEAn Easy Programming Language – Built with WebAssembly2019 · easyprog.online · ▲144
- WAWasmer – A Go library for executing WebAssembly binaries2019 · github.com · ▲44
- DVDesktop Viewer for WebAssembly Modules2019 · ▲7
Hello there, I’m working on a desktop viewer application for WebAssembly modules for Windows, macOS, and Linux, and I’m looking to have some feedback from real-world use. The application is fairly small, requires no installation for now, and is limited to the minimum functionality, but I have more features in mind for the future. Testers would get a free license including future releases. If you’re interested, drop me a mail at [email protected] with the platform(s) you could test on. It would be helpful if you could tell me about in what capacity do you work with WebAssembly,…
More life & fun this month
the category →- TL
Life & fun · 10d ago · louisabraham.github.io
Photosynthesis fires two of your iPhone
Life & fun · 28d ago · photosynthesis.camera
SoloUno▲310Take control of hair pulling, nail biting & skin picking
Life & fun · 28d ago · solouno.io
Scroll through all 43,252,003,274,489,856,000 reachable Rubik's Cube permutations.
Life & fun · 26d ago · everycube.alen.is
Hi HN, I built Eigendrum, a web tool that solves the 2D wave equation for arbitrary shapes so you can hear what they sound like as drums. How it works: * Solves -∇²u = λu using finite element analysis (Kφ = λMφ) on a triangle mesh. * Validated to <0.1% error against closed-form solutions for circles (Bessel zeros) and rectangles. * Sound model factors in strike location, Rayleigh damping, and mallet width. * Includes Kac drums I & II to demonstrate identical sound spectra from different geometries. * No frameworks, build steps, or dependencies. Repo and tests:…
Life & fun · 27d ago · baselashraf81.github.io
Launched alongside, March 2024
the whole month →
- 3Y
Life & fun · 2024 · github.com
Microlaunch▲1,116Launch and get feedback on both the idea and product
Dev tools · 2024 · microlaunch.net
