Native American Heritage Month

Join the Goodreads Author Program

Are you Ranjit Jhala, author of the books below?
Programming With Refinement Types, An Introduction to Liquid ... by Ranjit Jhala Verification, Model Checking, and Abstract Interpretation by Ranjit Jhala Programming Languages and Systems by Ranjit Jhala Verification, Model Checking, and Abstract Interpretation by Ranjit Jhala Refinement Types by Ranjit Jhala Programming Languages and Systems by Ranjit Jhala Programming Languages and Systems by Ranjit Jhala Nirmal Jhala's Story by Kishen Rana Compiler Construction by Koen de Bosschere Compiler Construction by Koen de Bosschere


To join the author program as Ranjit Jhala, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads