Prof. Zhendong Su — Research Profile
ETH Zurich · Department of Computer Science
About
Prof. Zhendong Su at ETH Zurich Department of Computer Science lists compilers, programming methodologies and tools, testing, analysis, verification, software security, machine learning, education technologies as their registered research area.
Research keywords
Recent papers
- BISCEPTER: Probability-Driven Bisection for Large-Scale System SoftwarePreprintarXiv (Cornell University) · Oct 2
- Revisiting Path Coverage Tracing from a Node-Centric ViewProceedings of the ACM on Programming Languages · Oct 1
- Testing Computation Pushdown in Distributed Database SystemsProceedings of the ACM on software engineering. · Oct 1
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
Rachid Guerraoui 교수 연구실
EPFL · School of Computer and Communication Sciences
KCensus: Synthesizing Latency-Optimal Consensus Fast Paths (Extended Version)PreprintarXiv (Cornell University) · Sep 25Shared topic: Distributed systems and fault tolerance
Martin Odersky 교수 연구실
EPFL · School of Computer and Communication Sciences
First-Class Refinement Types for ScalaProceedings of the ACM on Programming Languages · Oct 1Shared topic: Software Testing and Debugging Techniques
Martin Vechev 교수 연구실
ETH Zurich · Department of Computer Science
TestSuiteBench: Coding Agents Struggle to Generate Strong Test Suites from SpecificationsPreprintarXiv (Cornell University) · Oct 9Shared topic: Software Testing and Debugging Techniques
Other labs in this department
- 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