Prof. Ivan Beschastnikh — Research Profile
University of British Columbia · Computer Science
About
Prof. Ivan Beschastnikh at University of British Columbia Computer Science lists AI & Machine Learning, Formal Methods, Human-Computer Interaction, Program Analysis & Verification, Security & Privacy, Software Engineering, Systems & Networking, Visualization as their registered research area.
Research keywords
Recent papers
- Substep Linearizability: Relaxing Atomicity While Preserving Sequential SpecificationNewPreprintarXiv (Cornell University) · Oct 12
- Modular Responsiveness Verification of Rust Async RuntimesPreprintarXiv (Cornell University) · Oct 6
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Logic, programming, and type systems
Werner Dietl 교수 연구실
University of Waterloo · Department of Electrical and Computer Engineering
Transitive, Abstract, and Class Polymorphic ImmutabilityProceedings of the ACM on Programming Languages · Oct 1N. Asokan 교수 연구실
University of Waterloo · David R. Cheriton School of Computer Science
PRISM: Lightweight Enclave Isolation with Prismatic CapabilitiesPreprintarXiv (Cornell University) · Aug 26Marsha Chechik 교수 연구실
University of Toronto · Computer Science
Compositional Generator EquivalenceProceedings of the ACM on Programming Languages · Aug 17
Other labs in this department
- 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