Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016
Amsterdam, Netherlands
co-located with
SPLASH 2016
Toggle navigation
Attending
Restaurant: Fifteen
Venue: Mövenpick Hotel Amsterdam City Centre
Venue: Banquet at Beurs van Berlage
Downloads
Program
SLE Program
Your Program
Mon 31 Oct
Tue 1 Nov
Track/Call
Organization
SLE 2016 Committees
Track Committees
Keynote Speaker
Organizing Committee
Artifact Evaluation Committee
Program Committee
Contributors
People Index
Search
Series
Series
SLE 2025
SLE 2024
SLE 2023
SLE 2022
SLE 2021
SLE 2020
SLE 2019
SLE 2018
SLE 2017
SLE 2016
SLE 2015
SLE 2013
Sign in
Sign up
SPLASH 2016
(
series
) /
SLE 2016 (
series
) /
Andrei Stefanescu
SPLASH 2016 profile
conf.research.org general profile
ICST 2020 profile
PLDI 2015 profile
SPLASH 2012 profile
Registered user since Thu 2 Jul 2015
Name:
Andrei Stefanescu
Affiliation:
University of Illinois at Urbana-Champaign
Contributions
2016
SPLASH
Semantics-Based Program Verifiers for All Languages
Show activities from other conferences
Share
SPLASH 2016-profile
View general profile
x
Sun 24 Nov 01:11