Skip to content

Joshua Bachmeier

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2023–2025

Best venue rank

B

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2025ECSAWebAssembly with wasi-nn for Edge Machine Learning Inference: Experiences and Lessons Learned.Joshua Bachmeier, Vladimir Yussupov, Jrg Hen, Heiko Koziolek
2023IFMScalable and Precise Refinement Types for Imperative Languages.Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl