Registered user since Sat 29 Sep 2018
I am an Associate Professor of Computer Science at University of California, Los Angeles (UCLA). I am interested broadly in software and hardware systems — including programming languages, compilers, big data analytics, distributed systems, and computer architecture.
|SPLASH 2020|| SATUNE: Synthesizing Efficient SAT Encoders|
Satune: Synthesizing Efficient SAT Encoders
|Show activities from other conferences|
View general profile