Registered user since Thu 29 May 2014

Name: Sebastian Erdweg

Bio: http://twitter.com/seba0_

Affiliation: TU Darmstadt, Germany

Personal website: http://erdweg.org

SPLASH 2015 Activities

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