Deian Stefan -

Registered user since Mon 4 Sep 2017

Name:Deian Stefan

Country:United States

Affiliation:University of California at San Diego

Personal website:https://cseweb.ucsd.edu/~dstefan/

Contributions

PLDI 2023	Sponsorship Co-Chair in Organizing Committee
POPL 2023	Author of MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code within the POPL-track Speaker of Verified Compilation: Session Preview within the Session Previews-track
PriSC 2023	Author of Robust Constant-Time Cryptography within the PriSC 2023-track Author of Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers within the PriSC 2023-track Author of FaJITa: Verifying Optimizations on Just-In-Time Programs within the PriSC 2023-track Committee Member in Steering Committee within the PriSC 2023-track
PLDI 2022	Author of (PLDI 2020) Constant-Time Foundations for the New Spectre Era within the SIGPLAN Track-track Committee Member in PLDI within the PLDI-track Session Chair of Compilation (part of SIGPLAN Track) Author of (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the SIGPLAN Track-track
PLMW	Organizing Committee in Organizing Committee within the PLMW-track Session Chair of Mentoring Panel: Post-graduate Career Paths within the PLMW-track
POPL 2022	Author of Isolation without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI within the POPL-track
PriSC 2022	Committee Member in Steering Committee within the PriSC 2022-track
SPLASH 2021	Author of Liquid Information Flow Control within the SIGPLAN Papers-track Author of Scooter & Sidecar: A domain-specific approach to writing secure migrations within the SIGPLAN Papers-track Author of Towards a Verified Range Analysis for JavaScript JITs within the SIGPLAN Papers-track
HIW 2021	Author of Securing Web-Applications with A Refinement Typed ORM within the HIW 2021-track
PLDI 2021	Author of Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations within the PLDI-track
POPL 2021	Author of Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the POPL-track
PriSC 2021	Session Chair of Invited talk (part of PriSC 2021) Committee Member in Steering Committee within the PriSC 2021-track Session Chair of Short talks (part of PriSC 2021) Committee Member in Program Committee within the PriSC 2021-track
ICFP 2020	Author of Liquid Information Flow Control within the ICFP Program-track
PLDI 2020	Author of Constant-Time Foundations for the New Spectre Era within the PLDI Research Papers-track Committee Member in SRC Committee within the Student Research Competition-track Author of Towards a Verified Range Analysis for JavaScript JITs within the PLDI Research Papers-track
REMS-DeepSpec 2020	Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
PriSC 2020	Program Co-Chair in Program Committee within the Principles of Secure Compilation 2020-track Committee Member in Steering Committee within the Principles of Secure Compilation 2020-track
PLDI 2019	Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
ETAPS 2019	Author of Information Flow Control Parallel Runtime Systems Foundations within the Posters-track
POST 2019	Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track
POPL 2019	Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track Author of CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem within the Research Papers-track Author of From Fine- to Coarse-Grained Dynamic Information Flow Control and Back within the Research Papers-track
PriSC 2019	Committee Member in Program Committee within the PriSC 2019-track Author of Trestle: Bridging the Performance and Safety Divide in WebAssembly within the PriSC 2019-track
CurryOn 2018	Author of Constant-time crypto programming with FaCT within the Curry On Talks-track
PLDI 2018	Committee Member in Program Committee
PriSC 2018	Author of Constant-time WebAssembly within the PriSC 2018-track
CurryOn 2017	Author of Finding and Preventing Bugs in JavaScript Bindings within the Curry On Talks-track