Sebastian Erdweg - SPLASH 2015

Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States

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

SLE 2015	Modular Capture Avoidance for Program Transformations Committee Member in Program Committee within the SLE-track
Onward! 2015	Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers Towards Secure Integration of Cryptographic Software
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
Show activities from other conferences

SPLASH 2015-profile
View general profile