- Arnav Jhala University of California, Santa Cruz
- TypeBased Race Detection for Java Cormac Flanagan Stephen N. Freund #
- Hybrid Type Checking Cormac Flanagan
- Automatically Generating Summary Visualizations from Game Logs Yun-Gyung Cheong*
- SetBased Analysis for Full Scheme and Its Use in SoftTyping
- A New Way of Debugging Lisp Programs Cormac Flanagan
- TypeBased Race Detection for Java (summary) Cormac Flanagan Stephen N. Freund #
- Avoiding Exponential Explosion: Generating Compact Verification Conditions
- Thread-Modular Model Checking Cormac Flanagan1
- DrScheme: A Pedagogic Programming Environment for Scheme
- Componential Set-Based Analysis Cormac Flanagan Matthias Felleisen
- Gradual Information Flow Typing Tim Disney and Cormac Flanagan
- Effects for Cooperable and Serializable Threads Jaeheon Yi Cormac Flanagan
- FastTrack: Efficient and Precise Dynamic Race Detection Cormac Flanagan
- Efficient Purely-Dynamic Information Flow Analysis Thomas H. Austin Cormac Flanagan
- Status Report: Specifying JavaScript with ML David Herman
- Type Reconstruction for General Refinement Types
- Type Reconstruction for General Refinement Types
- Hybrid Type Checking Cormac Flanagan
- Hybrid Types, Invariants, and Refinements For Imperative Objects
- Exploiting Purity for Atomicity Cormac Flanagan, Member, IEEE, Stephen N. Freund, and Shaz Qadeer
- Automatic Type Inference via Partial Evaluation University of California, Santa Cruz
- Theorem Proving using Lazy Proof Explication Cormac Flanagan1
- The Essence of Compiling with Continuations Cormac Flanagan Amr Sabry Bruce F. Duba Matthias Felleisen
- SRC Technical Note January 28, 1999
- Set-Based Analysis for Full Scheme and Its Use in Soft-Typing
- ValleyScript: It's Like Static Typing Cormac Flanagan
- Object Types against Races Cormac Flanagan and Martin Abadi
- Houdini, an Annotation Assistant for ESC/Java Cormac Flanagan and K. Rustan M. Leino
- Correct Blame for Contracts No More Scapegoating
- Cooperative Reasoning for Preemptive Execution Jaeheon Yi Caitlin Sadowski Cormac Flanagan
- Permissive Dynamic Information Flow Analysis Thomas H. Austin
- Proving correctness of a dynamic atomicity analysis in Coq Caitlin Sadowski Jaeheon Yi Kenneth Knowles Cormac Flanagan
- Unifying Hybrid Types and Contracts Jessica Gronski and Cormac Flanagan
- Space-Efficient Gradual Typing David Herman1, Aaron Tomb2, and Cormac Flanagan2
- A Type and Effect System for Atomicity Cormac Flanagan Shaz Qadeer
- Theorem Proving using Lazy Proof Explication Cormac Flanagan 1 , Rajeev Joshi 1 , Xinming Ou 2 , and James B. Saxe 1
- Extended Static Checking for Java Cormac Flanagan K. Rustan M. Leino # Mark Lillibridge
- PLT MrSpidey: Static Debugger Manual Cormac Flanagan
- A Type and Effect System for Atomicity Cormac Flanagan Shaz Qadeer
- Extending JML for Modular Specification and Verification of Multi-threaded Programs
- Catching Bugs in the Web of Program Invariants Cormac Flanagan Matthew Flatt Shriram Krishnamurthi Stephanie Weirich
- Evaluation of Intelligent Camera Control Systems Based on Cognitive Models of Comprehension
- pHluid: The Design of a Parallel Functional Language Implementation on Workstations
- Online Appendix to: Types for Atomicity: Static Checking
- Cartesian Partial-Order Reduction , Cormac Flanagan2
- Compositional and Decidable Checking for Dependent Contract Types
- Types for Atomicity: Static Checking and Inference for Java
- Science of Computer Programming 64 (2007) 140165 www.elsevier.com/locate/scico
- The ROADRUNNER Dynamic Analysis Framework for Concurrent Programs
- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
- Exploiting Purity for Atomicity Cormac Flanagan Stephen N. Freund Shaz Qadeer
- Sage: Unified Hybrid Checking for First-Class Types, General Refinement Types, and Dynamic
- Type Inference For Atomicity Cormac Flanagan Stephen N. Freund Marina Lifshin
- Electronic Notes in Theoretical Computer Science 89 No. 3 (2003) URL: http://www.elsevier.nl/locate/entcs/volume89.html 22 pages
- Types for Safe Locking Cormac Flanagan and Martn Abadi
- PROPOSAL FOR A PROGRAM OF GRADUATE STUDIES IN TECHNOLOGY AND INFORMATION MANAGEMENT
- Adversarial Memory for Detecting Destructive Races Cormac Flanagan
- Characterizing Processor Thermal Behavior Francisco J. Mesa-Martnez Ehsan K.Ardestani Jose Renau
- UNIVERSITY OF CALIFORNIA AN ANALYSIS OF THE DIAGRAMMATIC VISUAL DATA QUERYING
- Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino
- Predicate Abstraction for Software Verification Cormac Flanagan Shaz Qadeer
- An Explicating Theorem Prover for Quantified Formulas Cormac Flanagan1*
- RICE UNIVERSITY Effective Static Debugging
- Modular and Polymorphic Set-Based Analysis: Theory and Practice
- The Semantics of Future Cormac Flanagan
- RETROSPECTIVE: The Essence of Compiling with Continuations
- Type Inference For Atomicity Cormac Flanagan Stephen N. Freund Marina Lifshin
- Dynamic Partial-Order Reduction for Model Checking Software
- Velodrome: A Sound and Complete Dynamic Atomicity Checker for Multithreaded Programs
- Evaluating unDERgRaDuatE acaDEmic PERfoRmancE undergraduate Students
- Detecting Race Conditions in Large Programs Cormac Flanagan Stephen N. Freund
- Type-Based Race Detection for Java Cormac Flanagan Stephen N. Freund
- January 2010 To: UCSC Faculty, Staff, and Students
- Jacob Rosen Ph.D. 1.0 General Biographical Information
- Dynamic Artificial Potential Fields for Autonomous Camera Control Paolo Burelli and Arnav Jhala
- A Modular Checker for Multithreaded Programs Cormac Flanagan1
- Unifying Hybrid Types and Contracts Jessica Gronski and Cormac Flanagan
- Type Reconstruction for General Refinement Types
- ACCESS SCHOLARSHIP AWARD APPLICATION ASSISTING COMPUTER ENGINEERING COMPUTER SCIENCE ELECTRICAL ENGINEERING STUDENT SUCCESS
- TABLE OF CONTENTS Introduction to the Schedule
- (Refer to the Academic and Administrative Calendar, pages 2 and 3, for complete deadline information.) ** If payment is not received by the cashier by 4:00 p.m., you will be assessed a $50 late registration fee.
- DEPARTMENT CONTACT INFORMATION Agency chAir, coordinAtor
- University of California, O f f i c e o f t h e R e g i s t r a r
- Spring 2009 Schedule of Classes University of California,
- Winter 2009 Schedule of Classes University of California,
- BS Computer Science: Computer Game Design
- A Feature Modeling and Generation Platform for Software Product Line
- CamOn: A Real-Time Autonomous Camera Control System Paolo Burelli and Arnav Jhala
- UC ACADEMIC SENATE SANTA CRUZ DIVISION CEP GSI Guidelines, June 7, 2007 1
- Types for Safe Locking Cormac Flanagan and Martin Abadi
- Electronic Notes in Theoretical Computer Science 89 No. 3 (2003) URL: http://www.elsevier.nl/locate/entcs/volume89.html 22 pages
- Types for Atomicity Cormac Flanagan Shaz Qadeer
- Challenges in Development and Design of Interactive Narrative Authoring Systems, a Panel
- Types for Atomicity Cormac Flanagan Shaz Qadeer
- RICE UNIVERSITY E ective Static Debugging
- General education requirements beGinninG fall 2010 overview of new General education requirements
- enrollment InFormAtIon Student responsibility
- general information myUCSC Portal Password
- Types for Safe Locking: Static Race Detection for Java
- Compositional and Decidable Checking for Dependent Contract Types
- Comparing Effects of Different Cinematic Visualization Strategies on Viewer Comprehension
- Componential Set-Based Analysis CORMAC FLANAGAN
- Type Inference Against Races Cormac Flanagan1
- Processor Verification with hwBugHunt Sangeetha Sudhakrishnan, Liying Su, and Jose Renau
- Software Model Checking via Iterative Abstraction Refinement of
- Verifying CommitAtomicity using ModelChecking #
- Object Types against Races Cormac Flanagan and Martn Abadi
- SideTrack: Generalizing Dynamic Atomicity Analysis jaeheon@cs.ucsc.edu
- Well-Founded Touch Optimization for Futures
- Verifying Commit-Atomicity using Model-Checking
- Science of Computer Programming 71 (2008) 89109 www.elsevier.com/locate/scico
- Automatic Software Model Checking Cormac Flanagan
- Type-Based Race Detection for Java (summary) Cormac Flanagan Stephen N. Freund
- Hybrid Type Checking KENNETH KNOWLES CORMAC FLANAGAN
- The Semantics of Future and Its Use in Program Optimization Cormac Flanagan Matthias Felleisen
- Atomizer: A Dynamic Atomicity Checker For Multithreaded Programs
- Dynamic Architecture Extraction Cormac Flanagan1
- Virtual Values for Language Extension Thomas H. Austin
- Virtual Values for Language Extension Thomas H. Austin Tim Disney Cormac Flanagan
- Temporal Higher-Order Contracts University of California, Santa Cruz
- Cooperative Concurrency for a Multicore World (Extended Abstract)
- Multiple Facets for Dynamic Information Flow Thomas H. Austin Cormac Flanagan
- Addendum to Dynamic Partial-Order Reduction
- Sound Predictive Race Detection in Polynomial Time Yannis Smaragdakis
