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

SPLASH 2015-profile
View general profile