• Sign in
  • Sign up
conf.researchr.org / Yakir Vizel
  • ATVA 2025 profile
  • ECOOP and ISSTA 2021 profile
  • ICFP/SPLASH 2025 profile
  • NASA Formal Methods 2023 profile
  • POPL 2017 profile
  • POPL 2021 profile
  • POPL 2024 profile
Yakir Vizel

Registered user since Sat 18 Apr 2020

Name:Yakir Vizel
Country:Israel
Affiliation:Technion—Israel Institute of Technology
Personal website: http://www.cs.technion.ac.il/~yvizel/index.html
Research interests:Formal Verification, Model Checking

Contributions

2025

ATVA

  • PC Member in Programme Committee

SPLASH

  • Committee Member in OOPSLA Review Committee within the OOPSLA-track

2024

VMCAI

  • Author of Automatic and Incremental Repair for Speculative Information Leaks within the VMCAI 2024-track

2023

NFM

  • Author of Condition Synthesis Realizability via Constrained Horn Clauses within the NFM 2023-track

2021

SPIN

  • Technion—Israel Institute of Technology in Programming Committee within the SPIN-track

VMCAI

  • Conference Co-Chair in Organizing Committee within the VMCAI-track
  • Session Chair of Invited talk (part of VMCAI)
  • Session Chair of Invited talk (part of VMCAI)

2017

VMCAI

  • Author of IC3 - Flipping the E in ICE within the VMCAI-track
Share
xTue 20 May 07:08
using conf.researchr.org (v1.69.0)
Support page
Sign Up