SPLASH 2013
Sat 26 - Thu 31 October 2013
Indianapolis, United States
Toggle navigation
Attending
Hotel: Hyatt Regency
Awards
General Chairs' Welcome
OOPSLA PC Chair’s Welcome
Tracks
SPLASH 2013
ACM SRC
Demonstrations
Doctoral Symposium
Keynotes
OOPSLA
OOPSLA Artifacts
Panels
Posters
SPLASH-E
SPLASH-I
Student Volunteers
Tutorials
Wavefront
Wavefront Experience
Co-hosted Conferences
DLS
Research Papers
GPCE
Research Papers
Onward!
Onward!
Research Papers
Onward!
Essays
SLE
Research Papers
Organization
SPLASH 2013 Committees
General
Track Committees
ACM SRC
Demonstrations
Doctoral Symposium
OOPSLA
Program Committee
External Review Committee
OOPSLA Artifacts
Posters
SPLASH-E
Student Volunteers
Tutorials
Wavefront
Wavefront Experience
Contributors
People Index
Co-hosted Conferences
DLS
Program Committee
GPCE
Program Committee
Onward!
Research Papers
Onward! Essays
SLE
Program Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
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 2013
(
series
) /
OOPSLA
/
Inductive Invariant Generation via Abductive Inference
Who
Işıl Dillig
,
Thomas Dillig
,
Boyang Li
,
Kenneth L. McMillan
Track
SPLASH 2013 OOPSLA
DOI
https://doi.org/10.1145/2509136.2509511
Işıl Dillig
UT Austin
Thomas Dillig
Boyang Li
Kenneth L. McMillan
Microsoft Research
United States
x
Sat 21 Dec 17:40
