The International Conferences on Theory and Applications of Satisfiability Testing are the primary annual meetings for researchers studying the propositional satisfiability problem (SAT), a prominent problem in both theoretical and applied computer..
I am working with Robbert van Renesse and Hakim Weatherspoon. My research interests are in the areas of operating systems, distributed systems, cloud computing, and virtualization...