SPLASH 2015
Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
SPLASH 2015 (series) / Sebastian Erdweg
Sebastian Erdweg

Registered user since Thu 29 May 2014

Name:Sebastian Erdweg
Bio:

http://twitter.com/seba0_

Affiliation:TU Darmstadt, Germany
Personal website:http://erdweg.org

Contributions

SPLASH 2015 A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking
Toward Incremental Type Checking for Java
A Sound and Optimal Incremental Build System with Dynamic Dependencies
A Sound and Optimal Incremental Build System
Onward! 2015 Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers
Towards Secure Integration of Cryptographic Software
SLE 2015 Modular Capture Avoidance for Program Transformations
Committee Member in Program Committee within the SLE-track
Show activities from other conferences

SPLASH 2015-profile
View general profile