Prof. Sheila McIlraith — Research Profile
University of Toronto · Computer Science
About
Prof. Sheila McIlraith at University of Toronto Computer Science lists knowledge representation and reasoning as their registered research area.
Research keywords
Recent papers
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: Formal Methods in Verification
Werner Dietl 교수 연구실
University of Waterloo · Department of Electrical and Computer Engineering
Transitive, Abstract, and Class Polymorphic ImmutabilityProceedings of the ACM on Programming Languages · Oct 1Ivan Beschastnikh 교수 연구실
University of British Columbia · Computer Science
Substep Linearizability: Relaxing Atomicity While Preserving Sequential SpecificationNewPreprintarXiv (Cornell University) · Oct 12Ashvin Goel 교수 연구실
University of Toronto · Electrical and Computer Engineering
Don't Trust the Code, Check Its Effects: Runtime Refinement for Regenerated Systems Code Under an Adversarial GeneratorPreprintarXiv (Cornell University) · Aug 31
Other labs in this department
- Alán Aspuru-Guzik 교수 연구실
machine learning, quantum computing, robotics, high-performance computing
- Alec Jacobson 교수 연구실
computer graphics
- Aleksandar Nikolov 교수 연구실
theoretical computer science, algorithms, differential privacy
- Allan Borodin 교수 연구실
theoretical computer science
- Angela Brown 교수 연구실
systems
- Anna Goldenberg 교수 연구실
computational biology