JC
Jeremy Condit
Microsoft (United States)23
Publications
2,847
Citations
15
h-index
17
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (21)
- Book Chapter (2)
Filter by Open Access Type
- Open Access (1)
- Closed Access (22)
Filter by Authors
- Jeremy Condit (23)
- George C. Necula (12)
- Matthew Harren (7)
- Feng Zhou (5)
- Edmund B. Nightingale (4)
Filter by Topics
- Parallel Computing and Optimization Techniques (15)
- Security and Verification in Computing (13)
- Logic, programming, and type systems (5)
- Software Testing and Debugging Techniques (5)
- Distributed systems and fault tolerance (4)