Jhala - PDFSEARCH.IO - Document Search Engine

Jhala
Results: 42

#	Item
11	Refinement Types For Haskell Niki Vazou Eric L. Seidel Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2014-06-11 23:19:29
12	Bounded Refinement Types Niki Vazou Alexander Bakst Ranjit Jhala Add to Reading List Source URL: ranjitjhala.github.io Language: English - Date: 2016-01-05 00:35:10
13	Generating Tests from Counterexamples Rupak Majumdar Dirk Beyer Adam J. Chlipala Thomas A. Henzinger Ranjit Jhala Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 07:00:05
14	Liquid Types Patrick Rondon Ming Kawaguchi Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2011-07-10 22:52:54
15	CSolve: Verifying C With Liquid Types? Patrick Rondon, Alexander Bakst, Ming Kawaguchi, and Ranjit Jhala University of California, San Diego {prondon, abakst, mwookawa, jhala}@cs.ucsd.edu Abstract. We present CSolve, an Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2012-07-08 13:51:10
16	Low-Level Liquid Types Patrick Rondon Ming Kawaguchi Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2011-07-10 22:52:54
17	A Practical and Complete Approach to Predicate Refinement Ranjit Jhala and K. L. McMillan 1 University of California, San Diego Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:08
18	Interpolant-based Transition Relation Approximation Ranjit Jhala and K. L. McMillan 1 University of California, San Diego Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:04
19	Trust, but Verify: Two-Phase Typing for Dynamic Languages∗ Panagiotis Vekris, Benjamin Cosman, and Ranjit Jhala Univeristy of California, San Diego La Jolla, CA, 92093, USA Add to Reading List Source URL: ranjitjhala.github.io Language: English - Date: 2016-01-05 00:35:10
20	On Subnormal Floating Point and Abnormal Timing Marc Andrysco,1 David Kohlbrenner,1 Keaton Mowery,1 Ranjit Jhala, Sorin Lerner, and Hovav Shacham Department of Computer Science and Engineering University of California, S Add to Reading List Source URL: ranjitjhala.github.io Language: English - Date: 2016-01-05 00:35:10

UPDATE