86 results on '"Stephen N. Freund"'
Search Results
2. ChatDBG: An AI-Powered Debugging Assistant.
3. The anchor verifier for blocking and non-blocking concurrent software.
4. VerifiedFT: a verified, high-performance precise dynamic race detector.
5. Correctness of Partial Escape Analysis for Multithreading Optimization.
6. BigFoot: static check placement for dynamic race detection.
7. Array Shadow State Compression for Precise Dynamic Race Detection (T).
8. Cooperative types for controlling thread interference in Java.
9. RedCard: Redundant Check Elimination for Dynamic Race Detectors.
10. Cooperative types for controlling thread interference in Java.
11. The RoadRunner dynamic analysis framework for concurrent programs.
12. Adversarial memory for detecting destructive races.
13. FastTrack: efficient and precise dynamic race detection.
14. SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.
15. Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs.
16. Dynamic Architecture Extraction.
17. Type inference for atomicity.
18. Type Inference Against Races.
19. Exploiting purity for atomicity.
20. Atomizer: a dynamic atomicity checker for multithreaded programs.
21. Run-Time Type Checking for Binary Programs.
22. Thread-Modular Verification for Shared-Memory Programs.
23. Cooperative Concurrency for a Multicore World - (Extended Abstract).
24. The anchor verifier for blocking and non-blocking concurrent software
25. Detecting race conditions in large programs.
26. Type-based race detection for Java.
27. A Formal Framework for the Java Bytecode Language and Verifier.
28. FastTrack: efficient and precise dynamic race detection.
29. A Type System for Object Initialization in the Java Bytecode Language.
30. Types for atomicity: Static checking and inference for Java.
31. Programming languages as part of core computer science.
32. Programming languages in a liberal arts education.
33. SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.
34. Atomizer: A dynamic atomicity checker for multithreaded programs.
35. Adding Type Parameterization to the Java Language.
36. Type inference against races.
37. Thetis: an ANSI C programming environment designed for introductory use.
38. Types for safe locking: Static race detection for Java.
39. Exploiting Purity for Atomicity.
40. Modular verification of multithreaded programs.
41. Checking Concise Specifications for Multithreaded Software.
42. A Type System for the Java Bytecode Language and Verifier.
43. The type system for object initializatiion in the Jave bytecode language.
44. Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary).
45. A Type System For Object Initialization In the Java Bytecode Language.
46. V <scp>erified</scp> FT
47. Dynamic Analyses for Data-Race Detection.
48. Correctness of Partial Escape Analysis for Multithreading Optimization
49. Array Shadow State Compression for Precise Dynamic Race Detection (T)
50. FastTrack
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.