yuhak.phd

미국 이공계 대학원 유학 길잡이

교수 정보를 불러오는 중이에요.

© 2026 yuhak.phd

서비스 소개 이용약관 개인정보처리방침

Caroline Trippel - Stanford University 교수

Stanford UniversityS 티어Assistant

Caroline Trippel

Assistant Professor · ECE

공식 프로필 Scholar 검색

논문: 70
총 인용: 844
h-index: 15
최근 5년 논문: 29

연구 분야

Security and Verification in Computing34%
Formal Methods in Verification21%
Parallel Computing and Optimization Techniques14%
Software Testing and Debugging Techniques10%
Embedded Systems Design Techniques10%
Artificial Intelligence Applications3%

최근 5년 논문에서 각 분야가 차지하는 비중 (OpenAlex 분류)

진행 중인 연구비1

CAREER: Scalable Assurance via Verifiable Hardware-Software ContractsNSF신진 연구자 과제$575K (총액)2028년 1월 31일까지

NSF·NIH 공개 데이터에서 교수 이름과 소속으로 자동 매칭한 책임연구자(PI) 과제예요. 국방부·에너지부·기업·재단 연구비는 포함되지 않아요. NSF는 과제 총액, NIH는 최근 회계연도 금액이에요. (2026년 10월 29일 확인)

대표 논문

1
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
Lecture notes in computer science · 2023인용 123회논문 보기
2
RecSSD: near data processing for solid state drive based recommendation inference
Mark Wilkening, Udit Gupta, Samuel Hsia, Caroline Trippel, Carole-Jean Wu, David M. Brooks, …
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 2021인용 103회논문 보기
3
RecShard: statistical feature-based memory optimization for industry-scale neural recommendation
Geet Sethi, Bilge Acun, Niket Agarwal, Christos Kozyrakis, Caroline Trippel, Carole-Jean Wu
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 2022인용 66회논문 보기
4
CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests
Caroline Trippel, Daniel Lustig, Margaret Martonosi
IEEE/ACM International Symposium on Microarchitecture (MICRO) · 2018인용 65회논문 보기
5
MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols
Caroline Trippel, Daniel Lustig, Margaret Martonosi
arXiv (Cornell University) · 2018인용 62회논문 보기

연도별 논문 수

최근에도 활발히 연구하는지 한눈에 볼 수 있어요.

417

418

219

220

1321

322

823

824

825

1326

이 교수에게 컨택하기 전에

내 연구와 핏 분석하기 컨택 메일 첨삭 받기 (무료)

소속 · 링크

Stanford University
ECE · Assistant Professor
공식 교수 프로필 학과 디렉터리

최근 소식

새 논문Mobilizing hardware and software for commercial-grade spectre defenses(2026)
새 논문Automated and scalable formal hardware concurrency and security verification for computer architects(2026)
새 논문ITHICA: Intra-Thread Instruction Checking Approach for Defect-Induced Silent Data Corruptions(2026)

경력 (논문 소속 기준)

Stanford University2020–현재
Princeton University2015–2019

논문에 적힌 소속을 연도별로 모은 것이라 박사·박사후 과정과 방문연구가 함께 보여요. 임용 날짜는 아니에요.

자주 함께 연구하는 사람

Nicholas Mosier
Hamed Nemati
John C. Mitchell
Subhasish MitraStanford University
Ioanna VavelidouStanford University

최근 5년 공저 논문 기준

지원할 수 있는 프로그램

Electrical Engineering (MS)MS Electrical Engineering (PhD)PhD

출처: 공식 교수·학과 페이지 (2026년 8월 30일 확인) · OpenAlex (2026년 10월 28일 갱신)