~/talks

Abhishek Sharma

what they talk about

all 6 in the filters

where they keep going back

no series more than once — all 5 in the filters

on a stage with

all 23 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
Mohabi: Disaggregating and Sandboxing the Firefox JavaScript Engine20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26)2026-07-13
Mohabi disaggregates SpiderMonkey from Firefox, adds wrapper types (e.g., split rooted wrapper, sandbox heap/stack/callbacks), and applies an external SFI…
Talk on
Stewarding Usability for Humanitarian OSSFOSS Backstage Design 20242024-03-06
Case study of Bayanat (Syria Justice and Accountability Centre) uses a two‑year, funder‑mandated program of quarterly surveys and per‑feature tests to track…
Talk on
Cachet: A Domain-Specific Language for Trustworthy Just-In-Time CompilersPriSC 20232023-01-21
Cachet is a DSL that compiles Cachet to Boogie and C++ and encodes JIT invariants so the verifier proves generated code never violates them. The toolchain uses…
Talk on
SoC in Hours - A Power ChatOpenPOWER Summit NA 20212021-10-28
Claims a full OpenPOWER SoC flow that builds a working soft core and produces tapeout files in hours, using the Microwatt open core and Libre‑SoC toolchain. It…
Talk on
Scalable Rule Management for Data CentersNSDI 20132013-04-02
A system called vCRIB automates rule placement across hypervisors and switches using a two-step pipeline: a resource-aware feasible-placement (a…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.