• Sign in
  • Sign up
conf.researchr.org / Bengt Jonsson
  • ICST 2022 profile
  • ISSTA/ECOOP 2024 profile
  • PLDI 2025 profile
  • SPLASH 2018 profile
  • SPLASH 2019 profile
No Photo

Registered user since Wed 19 Jan 2022

Name:Bengt Jonsson
Country:Sweden
Affiliation:Uppsala University

Contributions

2025

PLDI

  • Author of Efficient Linearizability Monitoring within the PLDI Research Papers-track

2024

ECOOP/ISSTA

  • Author of SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs within the Tool Demonstrations-track

2022

ICST

  • Author of DTLS-Fuzzer: A DTLS Protocol State Fuzzer within the Tool Demos-track
  • Author of Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification within the Research Papers-track

2019

SPLASH

  • Author of Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency within the OOPSLA Artifacts-track
  • Author of Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency within the OOPSLA-track

2018

SPLASH

  • Author of Optimal Stateless Model Checking under the Release-Acquire Semantics within the OOPSLA-track
  • Author of Optimal Stateless Model Checking under the Release-Acquire Semantics within the Artifacts-track
Share
xMon 19 May 18:21
using conf.researchr.org (v1.69.0)
Support page
Sign Up