Write a Blog >>
SPIN 2017
Thu 13 - Fri 14 July 2017
Santa Barbara, California, United States
co-located with
ISSTA 2017
Toggle navigation
Attending
Venue: University of California, Santa Barbara
Registration and Accommodations
Visas and Travel
Program
SPIN Program
Your Program
Call for Papers
Accepted Papers
Keynote Speakers
Proceedings
Thu 13 Jul
Fri 14 Jul
Tracks
SPIN 2017
SPIN Agenda
SPIN Keynote
SPIN Full Paper
SPIN Short Paper
RERS
Organization
SPIN 2017 Committees
Organizing Committee
Steering Committee
Program Committee
Contributors
People Index
Search
Series
Series
SPIN 2021
SPIN 2019
SPIN 2017
Sign in
Sign up
ISSTA 2017
(
series
) /
SPIN 2017
(
series
) /
Mark Santolucito
ISSTA 2017 profile
conf.research.org general profile
ASE 2019 profile
ECOOP and ISSTA 2018 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2021 profile
PLDI 2018 profile
PLDI 2022 profile
POPL 2022 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Thu 13 Apr 2017
Name:
Mark Santolucito
Personal website:
http://marksantolucito.com/
Contributions
2017
ISSTA
Version Space Learning for Verification on Temporal Differentials
Show activities from other conferences
Share
ISSTA 2017-profile
View general profile
x
Sun 24 Nov 22:07