Prof. Marsha Chechik — Research Profile
University of Toronto · Computer Science
About
토론토 대학교 컴퓨터과학과 소속 Marsha Chechik 교수의 등록된 연구 분야는 software engineering, programming languages, formal methods입니다.
Research keywords
Recent papers
- ACM SIGSOFT 50 CelebrationNewACM SIGSOFT Software Engineering Notes · Oct 21
- Safety Analysis of CPSs Over-the-air Updates: Test Case Prioritization and SelectionNewPreprintarXiv (Cornell University) · Oct 17
- Software and Systems Modeling journal celebrates its silver anniversary-a look into the future of modelingSoftware & Systems Modeling · Sep 23
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
Eldan Cohen 교수 연구실
University of Toronto · Mechanical and Industrial Engineering
Evaluating and Mitigating the Misguidance Effect of Buggy Code in LLM-Generated Unit TestsProceedings of the ACM on software engineering. · Oct 1Shared topic: Software Testing and Debugging Techniques
Werner Dietl 교수 연구실
University of Waterloo · Department of Electrical and Computer Engineering
Kukicha -- Efficient Yet Powerful Refinement Types for Object-Oriented LanguagesFormal Aspects of Computing · Oct 5Shared topic: Logic, programming, and type systems
Ivan Beschastnikh 교수 연구실
University of British Columbia · Computer Science
Modular Responsiveness Verification of Rust Async RuntimesPreprintarXiv (Cornell University) · Oct 6Shared topic: Logic, programming, and type systems
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