Ivan Beschastnikh 교수 연구 프로필
브리티시컬럼비아 대학교 · 컴퓨터과학과
소개
브리티시컬럼비아 대학교 컴퓨터과학과 소속 Ivan Beschastnikh 교수의 등록된 연구 분야는 AI & Machine Learning, Formal Methods, Human-Computer Interaction, Program Analysis & Verification, Security & Privacy, Software Engineering, Systems & Networking, Visualization입니다.
연구 키워드
최근 논문
- Substep Linearizability: Relaxing Atomicity While Preserving Sequential Specification새 논문프리프린트arXiv (Cornell University) · 10월 12일
- Modular Responsiveness Verification of Rust Async Runtimes프리프린트arXiv (Cornell University) · 10월 6일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Logic, programming, and type systems
Werner Dietl 교수 연구실
워털루 대학교 · 전기컴퓨터공학과
Transitive, Abstract, and Class Polymorphic ImmutabilityProceedings of the ACM on Programming Languages · 10월 1일N. Asokan 교수 연구실
워털루 대학교 · 컴퓨터과학부
PRISM: Lightweight Enclave Isolation with Prismatic Capabilities프리프린트arXiv (Cornell University) · 8월 26일Marsha Chechik 교수 연구실
토론토 대학교 · 컴퓨터과학과
Compositional Generator EquivalenceProceedings of the ACM on Programming Languages · 8월 17일
같은 학과의 다른 연구실
- Aastha Mehta 교수 연구실
Systems & Networking, Security & Privacy
- Akshay Ramachandran 교수 연구실
Algorithms, Mathematical Programming
- Alex Summers 교수 연구실
Programming Languages, Formal Methods, Software Engineering, Program Analysis & Verification
- Alla Sheffer 교수 연구실
Virtual & Augmented Reality, Visual Computing
- Andrew Roth 교수 연구실
AI & Machine Learning, Bioinformatics & Computational Biology
- Anne Condon 교수 연구실
Algorithms, Bioinformatics & Computational Biology