• Sign in
  • Sign up
conf.researchr.org / Konstantin Weitz
  • ICFP 2017 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • SPLASH 2016 profile
Konstantin Weitz

Registered user since Thu 19 Nov 2015

Name:Konstantin Weitz
Country:United States
Affiliation:University of Washington, USA
Personal website: http://konne.me
Research interests:Programming Languages, Systems

Contributions

2017

ICFP

  • Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track

PLDI

  • Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track

2016

SPLASH

  • Author of Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver within the OOPSLA-track
Share
xMon 12 May 02:02
using conf.researchr.org (v1.69.0)
Support page
Sign Up