SPLASH 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
Toggle navigation
About
Venue: Boston Park Plaza Hotel
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Schedule
Complete Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Tracks
SPLASH 2018
OOPSLA
Artifacts
Keynotes
Posters
SPLASH-I
Meetups
SPLASH-E
Workshops
PLMW
Breakfasts
DocSymposium
Volunteers
SRC
Social
Co-hosted Conferences
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
SLE
Co-hosted Workshops
AGERE
AI-SEPS
BLOCKS+
DSLDI
GRACE
HILT
LIVE
META'18
NJR
OCAP
PLATEAU
REBLS
SLEBoK
TURBO'18
VMIL
Co-hosted Symposiums
DLS
Organization
SPLASH 2018
Organizing Committee
Steering Committee
OOPSLA
Review Committee
External Reviewers
Distinguished Paper Committee
Artifacts
Artifact Evaluation Committee
Posters
Organizers
SPLASH-I
Speakers
Organizers
SPLASH-E
Program Committee
Workshops
Organizers
PLMW
Organizing Committee
Speakers
Breakfasts
Mentors
DocSymposium
Academic Panel
Organizers
Program Committee
Volunteers
Organizers
SRC
Organizers
Reviewers
Judges
Contributors
People Index
Co-hosted Conferences
GPCE
GPCE 2018
Organizing Committee
GPCE 2018
Program Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Program Committee
Onward! Papers
Program Committee
SLE
SLE 2018
Keynote Speaker
SLE 2018
Organizing Committee
SLE 2018
Program Committee
SLE 2018
Artifact Evaluation Committee
Co-hosted Workshops
AGERE
AGERE
Organizing Committee
AGERE
Program Committee
AI-SEPS
AI-SEPS
Organizing Committee
AI-SEPS
Program Committee
BLOCKS+
BLOCKS+
Organizing Committee
BLOCKS+
Program Committee
DSLDI
DSLDI 2018
Organizing Committee
DSLDI 2018
Program Committee
GRACE
GRACE 2018
Organizing Committee
GRACE 2018
Program Committee
HILT
HILT 2018
Organizing Committee
HILT 2018
Program Committee
LIVE
LIVE 2018
Organizing Committee
LIVE 2018
Program Committee
META'18
Meta
Organizing Committee
Meta
Program Committee
NJR
NJR
Organizing Committee
NJR
Program Committee
OCAP
OCAP 2018
Organizing Committee
OCAP 2018
Program Committee
PLATEAU
PLATEAU 2018
Organizing Committee
PLATEAU 2018
Program Committee
REBLS
REBLS 2018
Organizing Committee
REBLS 2018
Program Committee
SLEBoK
SLEBoK 2018
Organizing Committee
SLEBoK 2018
Program Committee
TURBO'18
TURBO
Organizing Committee
VMIL
VMIL 2018
Program Committee
VMIL 2018
Steering Committee
Co-hosted Symposiums
DLS
DLS 2018
Program Committee
DLS 2018
Steering Committee
Search
Series
Series
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2018
(
series
) /
Deepak D'Souza
SPLASH 2018 profile
conf.research.org general profile
POPL 2016 profile
POPL 2017 profile
Not registered as user yet
Name:
Deepak D’Souza
Contributions
SPLASH 2018
Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the OOPSLA-track
Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the Artifacts-track
Show activities from other conferences
Share
Using general profile
x
Wed 21 Nov 01:39