Madanlal Musuvathi

Madanlal Musuvathi

Microsoft Research
在 microsoft.com 的电子邮件经过验证
被引用次数：8520
Concurrency and Parallelism Program Verification Algorithms Systems Model Checking
Kazunori Ueda

Kazunori Ueda

Professor of Computer Science and Engineering, Waseda University
在 ueda.info.waseda.ac.jp 的电子邮件经过验证
被引用次数：2624
Programming Languages concurrency and parallelism high-performance verification hybrid systems
Andrea Rosà

Andrea Rosà

Postdoctoral Researcher, Università della Svizzera italiana (USI)
在 usi.ch 的电子邮件经过验证
被引用次数：602
dynamic program analysis managed languages and runtimes dynamic compilers benchmarking concurrency and parallelism
Hari Pyla

Hari Pyla

Virginia Tech
在 vt.edu 的电子邮件经过验证
被引用次数：153
concurrency and parallelism distributed computing algorithms programming languages runtime systems
Qiuping Yi

Qiuping Yi

ISCAS
在 nfs.iscas.ac.cn 的电子邮件经过验证
被引用次数：148
Program Testing Concurrency and Parallelism Verification and Fault Localization