This is the page where formal methods research activities in Ganesh Gopalakrishnan's group are kept.
We have preserved our classic website that has content dating back to 1985.
(1) Finalist, Best Paper; (2) Paper Accepted at IEEE Cluster; (3) Tutorial Accepted at PEARC'19; (4) Talk at Argonne; (5) Tutorial Accepted at SC'19
Many items are being put out at once (the papers mentioned below are on our PUBLICATIONS page):
Poster presentation at GTC
Mark Van der Merwe (UG REU) presented a poster at the GTC 2019 held in Santa Clara, CA, on “Effective Parallelization of Belief Propagation on the GPU”. The poster may be found here.
Ganesh's book Automata and Computability: A Programmer's Perspective is out!
Ganesh Gopalakrishnan’s UG textbook Automata and Computability: A Programmer’s Perspective has been published. One can obtain a copy from Amazon, from this link.