Jhala - PDFSEARCH.IO - Document Search Engine

Jhala
Results: 42

#	Item
1	Bounded Refinement Types Niki Vazou, Alexander Bakst, Ranjit Jhala (UC San Diego) Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2015-05-18 02:33:44
2	Type-based Data Structure Verification ∗ Ming Kawaguchi Patrick Rondon Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2010-12-18 00:25:54
3	Bounded Refinement Types Niki Vazou Alexander Bakst Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu - Date: 2015-02-28 03:26:59
4	Type Targeted Testing Eric L. Seidel, Niki Vazou, and Ranjit Jhala UC San Diego Abstract. We present a new technique called type targeted testing, which translates precise refinement types into comprehensive test-suites. Add to Reading List Source URL: goto.ucsd.edu - Date: 2014-10-20 15:46:33
5	Refinement Types For Haskell Niki Vazou Eric L. Seidel Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu - Date: 2014-06-11 23:19:29
6	Dynamic Witnesses for Static Type Errors ∗ (or, ill-typed programs usually go wrong) Eric L. Seidel Ranjit Jhala Add to Reading List Source URL: eric.seidel.io - Date: 2016-06-23 23:45:41
7	Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat University of California, San Diego {ckillian, jwanderson, jhala, vahdat}@ Add to Reading List Source URL: www.macesystems.org Language: English - Date: 2007-03-11 23:28:24 Concurrent computing Liveness Safety Model checking Random walk Concurrency Models of computation
8	Reactive Planning Idioms for Multi-Scale Game AI Ben G. Weber, Peter Mawhorter, Michael Mateas, and Arnav Jhala Abstract— Many modern games provide environments in which agents perform decision making at several levels Add to Reading List Source URL: game.itu.dk Language: English - Date: 2010-08-10 12:41:00 Artificial intelligence Blizzard games Windows games Multiplayer online games Video games with isometric graphics Reactive planning StarCraft Intelligent agent Micromanagement Multi-agent system Subsumption architecture Cognitive architecture
9	Noname manuscript No. (will be inserted by the editor) Towards Affective Camera Control in Games Georgios N. Yannakakis · H´ector P. Mart´ınez · Arnav Jhala Add to Reading List Source URL: www.itu.dk Language: English - Date: 2010-09-15 01:50:58
10	Policy Communication for Coordination with Unknown Teammates Trevor Sarratt and Arnav Jhala University of California Santa Cruz {tsarratt, jhala}@soe.ucsc.edu Abstract Add to Reading List Source URL: mipc.inf.ed.ac.uk Language: English - Date: 2015-12-23 07:01:08 Multi-agent systems Artificial intelligence Academia Systems science Simulation Belief revision Agent-based model Autonomous Agents and Multi-Agent Systems Reinforcement learning

UPDATE