~/talks

Julia Lawall

what they talk about

all 13 in the filters

where they keep going back

all 12 in the filters

on a stage with

all 24 in the filters

who talks about the same things

titleconferencedate
Opening the Box: Diagnosing Operating-System Task-Scheduler...SREcon24 Europe/Middle East/Africa2024-10-29
Linux scheduler decisions cause measurable slowdowns on large multicore runs; visualization and extra trace points reveal schedgraph tools (datograph…
Talk on
Coccinelle: Program transformation in the real worldJENSFEST 20242024-10-22
Coccinelle provides a small semantic patch language that matches C source patterns using meta-variables and a ... operator to express general edits, then…
Talk on
Panel Discussion: Outreachy Linux Kernel Internship ReportLinuxCon @ OSS EU 20242024-09-16
Outreachy interns deliver concrete Linux kernel work: Landlock gains a new dot_scoped field plus six security hooks to restrict abstract Unix sockets and…
Panel on
Panel Discussion: Outreachy Linux Kernel Internship ReportOpen Source Summit Europe 20242024-09-16
Outreachy funds $7,000 three‑month internships and the Linux kernel team runs two cycles per year; mentors plan ~10 days of prep, weekly video calls, and fast…
Panel on
Lightning Talk: Coccinelle for C++C++Online 20242024-02-28
Coccinelle for C++ extends the 15‑year‑old C tool to match and rewrite C++ source across a codebase, targeting modernization of HPC code and library migration…
Lightning on
Graphing tools for scheduler tracingLinux Plumbers Conference 20232023-11-13
Trace-cmd traces scheduler events and the new graphing tools summarize them: dat-to-graph draws per-core run intervals across 128 cores so gaps show unused…
Talk on
Coccinelle for RustLinux Plumbers Conference 20232023-11-13
Coccinelle for Rust implements a semantic-patch engine that uses Rust Analyzer for parsing and type inference and relies on rustfmt for output, matching…
Talk on
Coccinelle: Impact and InternalsGPCE 20232023-10-22
Coccinelle is a pattern-based matcher and transformer for C that turns semantic patches into CTL checks over a per-function control-flow graph and produces…
Talk on
OS Scheduling with Nest: Keeping Tasks Close Together on Warm CoresLinux Plumbers Conference 20222022-09-12
A scheduler patch called Nest keeps a small primary nest of recently used cores plus a reserve nest and briefly does idle spinning to keep cores at higher DVFS…
Talk on
A partial history of partial evaluationPEPM 20222022-01-17
The 1984–85 work realizes non‑trivial self‑application of a partial evaluator, achieving the second and third Futamura projections by turning a specializer…
Talk on
Program Manipulation of C CodePEPM 20212021-01-18
A toolchain for scripted source transformations targets large C bases with Coccinelle using its semantic patches language SmPL and metavariables plus the…
Talk on
SPINFER: Inferring Semantic Patches for the Linux KernelUSENIX ATC '202020-07-15
Spinfer is a tool that infers Coccinelle semantic patches from example edits and outputs human-checkable rules that Coccinelle applies as concrete diffs. It…
Talk on
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler forUSENIX ATC '202020-07-15
Identifies a concrete problem—frequency inversion—caused by per‑core DVFS and long frequency transition latencies (measured 29 ms rise and 98 ms fall)…
Talk
Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device DriversUSENIX ATC '192019-07-10
Paper proposes DCUAF, a static analysis that combines local-global analysis to identify driver interface pairs that can run concurrently and then performs a…
Talk on
Keynote: Inside the Mind of a Coccinelle ProgrammerLinux Security Summit 20162016-08-25
Coccinelle is a user‑scriptable tool that searches 13M lines of kernel C for precise patterns and emits patch‑style fixes; it matches and rewrites code using…
Talk on
Linux Kernel Developer PanelLinuxCon + CloudOpen Europe 20142014-10-13
Panel covers concrete changes and problems: a 3.18 flag "more packets coming" that measurably boosts small-packet TX, core timekeeping switched to 64-bit…
Panel 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.