RB
192
Publications
10,862
Citations
49
h-index
106
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (165)
- Preprint (13)
- Book Chapter (6)
- Dataset (3)
- Paratext (2)
Filter by Open Access Type
- Open Access (66)
- Closed Access (126)
Filter by Authors
- Rastislav Bodík (192)
- Rajiv Gupta (21)
- Armando Solar-Lezama (15)
- Emina Torlak (15)
- Phitchaya Mangpo Phothilimthana (13)
Filter by Topics
- Parallel Computing and Optimization Techniques (92)
- Software Testing and Debugging Techniques (50)
- Logic, programming, and type systems (47)
- Software Engineering Research (37)
- Formal Methods in Verification (35)