• Sign in
  • Sign up
conf.researchr.org / Caroline Trippel
  • HPCA/CGO/PPoPP/CC 2026 profile
  • ICSE 2026 profile
  • PLDI 2019 profile
  • PLDI 2021 profile
  • PLDI 2023 profile
  • POPL 2026 profile
Caroline Trippel

Registered user since Fri 17 Mar 2023

Name:Caroline Trippel
Affiliation:Stanford University
Personal website: https://cs.stanford.edu/people/trippel/

Contributions

2026

ICSE

  • Author of Automating Requirements Formalization: Using LLMs and Low-Complexity Distinguishing Traces for Semantic Validation within the Research Track-track

HPCA

  • Committee Member in Program Committee
  • Author of Protean: A Programmable Spectre Defense within the Main Conference-track

POPL

  • Keynote Speaker of Hardware-Software Contracts for High Assurance with Applications to Side-Channel Security within the POPL-track

2023

PLARCH

  • Author of Hardware-Software Codesign for Mitigating Spectre within the PLARCH 2023-track
  • Committee Member in Organizing Committee within the PLARCH 2023-track
  • Session Chair of PLARCH: Session 3 (part of PLARCH 2023)
  • Author of Tags: A Framework for Distributed Event Ordering within the PLARCH 2023-track
  • Author of Design for Hardware Memory Model Verification within the PLARCH 2023-track

2021

PLDI

  • Author of Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption within the PLDI-track

2019

PLMW

  • Panelist of Panel: Charting Your Path within the PLMW @ PLDI 2019-track
Share
xSat 14 Mar 20:43
using conf.researchr.org (v1.73.1)
Support page
Sign Up