• Sign in
  • Sign up
conf.researchr.org / Ivan Gavran
  • POPL 2021 profile
  • SPLASH 2018 profile
  • SPLASH 2020 profile

Registered user since Mon 10 Aug 2020

Name: Ivan Gavran

Affiliation: MPI-SWS

Contributions

CPP 2021 Author of Lassie: HOL4 Tactics by Example within the CPP 2021-track
SPLASH 2020 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA-track
Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA Artifacts-track
Onward! 2018 Author of Tool: Accessible Automated Reasoning for Human Robot Collaboration within the Onward! Papers-track

Share
xTue 2 Mar 15:03
using conf.researchr.org (v1.42.1)
Support page
Sign Up