Ankush Desai

	Berkeley California

	Shaz Qadeer Cited Department Goa Medical College International Conference Programming Systematic testing University

Images of Ankush Desai

(0 from 0 )

News

P: Modular and Safe Event-Driven Programming | engineering.ucsc ...

engineering.ucsc.edu

Ankush Desai is a Ph.D. student in the EECS department at UC Berkeley working with Prof. Sanjit Seshia and Dr. Shaz Qadeer. His research focuses on designing ... › events › p-modular-and-s...

Network Profiles

(1 - 4 from 6

–show all

)

Facebook: Ankush Desai | Facebook

Twitter Profile: Ankush Desai (@ankushpd) / Twitter

› ankushpd

Ankush Desai ankushdesai - GitHub

github.com

› ankushdesai

Akshay Ankush Desai - Setsquare Academy

www.getcompanydetails.com

› people › akshay-...

Private Homepages

ankushdesai.github.io

I am a senior applied scientist in the automated reasoning group at Amazon. I am working on applying formal methods techniques like model checking and ...

Ankush Desai - YouTube

www.youtube.com

› user › ankushdesai › videos

Books & Literature

(1 - 4 from 7

–show all

)

Computer Aided Verification: 27th International Conference, ...

books.google.co.nz

429 Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, and John C. Eidson Automated and Modular Refinement Reasoning for Concurrent Programs .

Computer Aided Verification: 32nd International Conference, ...

books.google.co.nz

... with the experiments and TaxiNet, to Ankush Desai for suggesting using Scenic as a prior for cross-entropy sampling, and to the anonymous reviewers.

Lipocrinology: The Relationship between Lipids and Endocrine ...

books.google.co.nz

Adipose Tissue as an Endocrine Organ Lakshmana PNandhini, Ankush Desai, Jayaprakash Sahoo 9. Lipotoxicity and Diabetes Mellitus Sameer Aggarwal, ...

Model Checking Software: 18th International SPIN Workshop, ...

books.google.co.nz

57 Abhishek Udupa, Ankush Desai, and Sriram Rajamani Randomized Backtracking in State Space Traversal .

Scientific Publications

Ankush Desai - dblp

dblp.org

› Persons

Reports & Statements

Wikipedia: P (programming language) - Wikipedia

P: Safe asynchronous event-driven programming. Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. · Systematic testing ... › wiki › P_(programming_lang...