Solutions Manual for Theory of Finite Automata with an Introduction to Formal Languages
John L. Carroll, Darrell D. E. Long
Distinguished Professor of Engineering, emeritus
University of California, Santa Cruz
Distinguished Visiting Scholar
Santa Clara University
My research concerns data storage, distributed systems, reliability, and computer security.

John L. Carroll, Darrell D. E. Long
Devashish R. Purandare, Peter Alvaro, Avani Wildani, Darrell D. E. Long, Ethan L. Miller
Proceedings of the Sixteenth Symposium on Cloud Computing (SOCC '25)Kyle Fredrickson, Ioannis Demertzis, James P. Hughes, Darrell D. E. Long
Proceedings of the 46th IEEE Symposium on Security and Privacy (S&P)Notes & essays
I proposed an automata theory textbook to John Carroll when I was an undergraduate. The book now has a restored edition and a new solutions manual.
Witold Litwin’s pioneering work on linear hashing, multidatabase systems, scalable distributed data structures, and many other fields—and the friendship that grew from it.
Encoding a file as its differences from an earlier version, in linear time, and rebuilding it in the space the old version occupies.