Joseph Devietti 교수 연구 프로필
대학원 지원 마감
컴퓨터정보과학과
Computer and Information Science, Ph.D.
Fall 2027지원 마감
2026년 12월 15일 23:59 GMT-5
Computer & Information Science, MSE
Fall 2027Early Application Deadline
2026년 11월 1일
마감됨
지원 마감
Regular Application Deadline
2027년 2월 1일
조기 마감(11/1)은 이미 지났다 — 정규 마감 2/1, 결정은 4/1까지 순차 발표
출처: gradadm.seas.upenn.edu2026년 11월 2일 확인
이 연구실, 지원을 고민 중인가요?
관심 연구실에 담아 다른 연구실과 나란히 비교하세요. 아래 논문마다 한 줄 메모를 남기면 지원 준비함이 교수님께 보낼 컨택 메일·자기소개서 재료로 모아 줘요. 글은 직접 쓰고, AI는 쓰지 않아요.
컨택 메일 보내기 전 체크리스트소개
펜실베이니아 대학교 컴퓨터정보과학과 소속 Joseph Devietti 교수의 등록된 연구 분야는 Computer Architecture and Quantum Computing Systems입니다.
연구 키워드
최근 논문
- The Output-Space Hypothesis: Enumerative Equivalence Checking for Tensor Programs프리프린트arXiv (Cornell University) · 9월 17일
- Challenges and Design Considerations for Finding CUDA Bugs Through GPU-Native Fuzzing프리프린트arXiv (Cornell University) · 3월 5일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Software Testing and Debugging Techniques
Martin Rinard 교수 연구실
매사추세츠 공과대학교 · 전기컴퓨터공학부
Automated Testing and Repair for Verified Compilers Generated by a Coding Agent프리프린트arXiv (Cornell University) · 7월 31일Darko Marinov 교수 연구실
일리노이 대학교 어배너-섐페인 · 컴퓨터과학과
Re-evaluating Detection of Equivalent Mutants using LLMs: We Should Properly Measure How Far We AreProceedings of the ACM on software engineering. · 10월 1일Karthik Narasimhan 교수 연구실
프린스턴 대학교 · 컴퓨터과학과
SWEeper-Bench: Can Agents Discover Bugs in Interactive Software?프리프린트arXiv (Cornell University) · 10월 8일
같은 학과의 다른 연구실
- Aaron Roth 교수 연구실
Machine Learning and Artificial Intelligence, Algorithmic Fairness, Data Privacy, AI Incentives, Computational Social Science, Algorithms and Computational Complexity
- Andreas Haeberlen 교수 연구실
Algorithmic Fairness, Data Privacy, AI Incentives, Distributed Systems, Networks, Operating Systems, Computer Security and Cryptography
- Andrew Head 교수 연구실
Human-Computer Interaction
- Anindya De 교수 연구실
Algorithms and Computational Complexity
- Benjamin C. Lee 교수 연구실
Machine Learning and Artificial Intelligence, Computer Architecture and Quantum Computing Systems
- Benjamin C. Pierce 교수 연구실
Data Science and Discovery Platforms, ML and Agentic Systems, Neurosymbolic Systems, Databases, Algorithmic Fairness, Data Privacy, AI Incentives, Compilers and Program Analysis, Computer Security and Cryptography, Formal Methods and Logic, Programming Languages