연구실 목록
Marsha Chechik 교수 연구 프로필
토론토 대학교 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
토론토 대학교 컴퓨터과학과 소속 Marsha Chechik 교수의 등록된 연구 분야는 software engineering, programming languages, formal methods입니다.
연구 키워드
software engineeringprogramming languagesformal methods
최근 논문
- ACM SIGSOFT 50 Celebration새 논문ACM SIGSOFT Software Engineering Notes · 10월 21일
- Safety Analysis of CPSs Over-the-air Updates: Test Case Prioritization and Selection새 논문프리프린트arXiv (Cornell University) · 10월 17일
- Software and Systems Modeling journal celebrates its silver anniversary-a look into the future of modelingSoftware & Systems Modeling · 9월 23일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Eldan Cohen 교수 연구실
토론토 대학교 · 기계산업공학과
Evaluating and Mitigating the Misguidance Effect of Buggy Code in LLM-Generated Unit TestsProceedings of the ACM on software engineering. · 10월 1일겹치는 주제: Software Testing and Debugging Techniques
Werner Dietl 교수 연구실
워털루 대학교 · 전기컴퓨터공학과
Kukicha -- Efficient Yet Powerful Refinement Types for Object-Oriented LanguagesFormal Aspects of Computing · 10월 5일겹치는 주제: Logic, programming, and type systems
Ivan Beschastnikh 교수 연구실
브리티시컬럼비아 대학교 · 컴퓨터과학과
Modular Responsiveness Verification of Rust Async Runtimes프리프린트arXiv (Cornell University) · 10월 6일겹치는 주제: Logic, programming, and type systems
같은 학과의 다른 연구실
- 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