output
20052025
most citedDegenerate parabolic stochastic partial differential equations: Quasilinear case

90 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.PLShow all

5 papers · 1 filter

cs.PL2025★ 9 cited

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions

Alexandre Lopoukhine, Federico Ficarelli, Christos Vasiladiotis +6

High-performance micro-kernels must fully exploit today's diverse and specialized hardware to deliver peak performance to DNNs. While higher-level optimizations for DNNs are offere…

cs.PL2024★ 1 cited

LiveRec: Prototyping Probes by Framing Debug Protocols

Jean-Baptiste Döderlein, Riemer van Rozen, Tijs van der Storm

Context: In the first part of his 2012 presentation "Inventing on Principle", Bret Victor gives a demo of a live code editor for Javascript which shows the dynamic history of value…

cs.PL2021

Verified Functional Programming of an Abstract Interpreter

Lucas Franceschino, David Pichardie, Jean-Pierre Talpin

Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to…

cs.PL2020★ 19 cited

Repairing and Mechanising the JavaScript Relaxed Memory Model

Conrad Watt, Christopher Pulte, Anton Podkopaev +5

Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the Ja…

cs.PL2020★ 3 cited

Sthread: In-Vivo Model Checking of Multithreaded Programs

Gene Cooperman, Martin Quinson

This work strives to make formal verification of POSIX multithreaded programs easily accessible to general programmers. Sthread operates directly on multithreaded C/C++ programs, w…