184 results on '"Cormac Flanagan"'
Search Results
2. Transparent IFC Enforcement: Possibility and (In)Efficiency Results.
3. IDVE: an integrated development and verification environment for JavaScript.
4. Optimising Faceted Secure Multi-Execution.
5. VerifiedFT: a verified, high-performance precise dynamic race detector.
6. ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving.
7. A Better Facet of Dynamic Information Flow Control.
8. Faceted Secure Multi Execution.
9. Correctness of Partial Escape Analysis for Multithreading Optimization.
10. BigFoot: static check placement for dynamic race detection.
11. Using Precise Taint Tracking for Auto-sanitization.
12. Reactive programming with reactive variables.
13. Faceted Dynamic Information Flow via Control and Data Monads.
14. Precise, dynamic information flow for database-backed applications.
15. Macrofication: Refactoring by Reverse Macro Expansion.
16. Game Semantics for Type Soundness.
17. Array Shadow State Compression for Precise Dynamic Race Detection (T).
18. Sweeten your JavaScript: hygienic macros for ES5.
19. Dynamic detection of object capability violations through model checking.
20. RedCard: Redundant Check Elimination for Dynamic Race Detectors.
21. Faceted execution of policy-agnostic programs.
22. A Functional View of Imperative Information Flow.
23. Cooperative types for controlling thread interference in Java.
24. Detecting inconsistencies via universal reachability analysis.
25. Multiple facets for dynamic information flow.
26. Sound predictive race detection in polynomial time.
27. Cooperative reasoning for preemptive execution.
28. Virtual values for language extension.
29. Temporal higher-order contracts.
30. Correct blame for contracts: no more scapegoating.
31. Effects for cooperable and serializable threads.
32. The RoadRunner dynamic analysis framework for concurrent programs.
33. Adversarial memory for detecting destructive races.
34. Efficient purely-dynamic information flow analysis.
35. FastTrack: efficient and precise dynamic race detection.
36. Compositional reasoning and decidable checking for dependent contract types.
37. SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.
38. Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs.
39. Unifying Hybrid Types and Contracts.
40. Space-Efficient Gradual Typing.
41. Cartesian Partial-Order Reduction.
42. Type Reconstruction for General Refinement Types.
43. Status report: specifying javascript with ML.
44. Dynamic Architecture Extraction.
45. Hybrid type checking.
46. Automatic type inference via partial evaluation.
47. Extending JML for Modular Specification and Verification of Multi-threaded Programs.
48. Type inference for atomicity.
49. Dynamic partial-order reduction for model checking software.
50. Type Inference Against Races.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.