结构：一种定量的方法》等。2006年11月，郑纬民被确认为第21届ACM SOSP（Symposium on Operating Systems Principles）程序委员会委员，成为自1967年SOSP创办以来，首个担任SOSP程序委员会委员的亚洲学者。ACM SOSP和USENIX OSDI同为计算机系统研究领域最高级别的两个会议。