Zhendong Su 교수 연구 프로필
취리히 연방공과대학교 · 컴퓨터과학과
소개
취리히 연방공과대학교 컴퓨터과학과 소속 Zhendong Su 교수의 등록된 연구 분야는 compilers, programming methodologies and tools, testing, analysis, verification, software security, machine learning, education technologies입니다.
연구 키워드
최근 논문
- BISCEPTER: Probability-Driven Bisection for Large-Scale System Software프리프린트arXiv (Cornell University) · 10월 2일
- Revisiting Path Coverage Tracing from a Node-Centric ViewProceedings of the ACM on Programming Languages · 10월 1일
- Testing Computation Pushdown in Distributed Database SystemsProceedings of the ACM on software engineering. · 10월 1일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Rachid Guerraoui 교수 연구실
로잔 연방공과대학교 · 컴퓨터통신과학부
KCensus: Synthesizing Latency-Optimal Consensus Fast Paths (Extended Version)프리프린트arXiv (Cornell University) · 9월 25일겹치는 주제: Distributed systems and fault tolerance
Martin Odersky 교수 연구실
로잔 연방공과대학교 · 컴퓨터통신과학부
First-Class Refinement Types for ScalaProceedings of the ACM on Programming Languages · 10월 1일겹치는 주제: Software Testing and Debugging Techniques
Martin Vechev 교수 연구실
취리히 연방공과대학교 · 컴퓨터과학과
TestSuiteBench: Coding Agents Struggle to Generate Strong Test Suites from Specifications프리프린트arXiv (Cornell University) · 10월 9일겹치는 주제: Software Testing and Debugging Techniques
같은 학과의 다른 연구실
- Adrian Perrig 교수 연구실
system and network security, networks, internet architecture
- Ana Klimovic 교수 연구실
cloud computing, operating systems, distributed systems, storage systems, computer architecture
- Andreas Krause 교수 연구실
machine learning, artificial intelligence, reinforcement learning, probabilistic inference
- Angelika Steger 교수 연구실
algorithms, combinatorics, randomization and probabilistic methods, combinatorial models for optimization
- April Yi Wang 교수 연구실
educational technology, human-computer interaction, artificial intelligence in education, collective intelligence and organizational technology, end-user programming, user interface for programming
- Bernhard Schölkopf 교수 연구실
machine learning, causal inference, applications in the sciences