96 results on '"Wrigstad, A"'
Search Results
2. Dafny vs. Dala: Experience with Mechanising Language Design.
3. Nominal Types for Erlang.
4. Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract.
5. Heap Size Adjustment with CPU Control.
6. Compressed Forwarding Tables Reconsidered.
7. Analysing and Predicting Energy Consumption of Garbage Collectors in OpenJDK.
8. Rusty Links in Local Chains✱.
9. Dala: a simple capability-based dynamic language design for data race-freedom.
10. ThinGC: complete isolation with marginal overhead.
11. Improving program locality in the GC using hotness.
12. Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first).
13. Performance of an OO compute kernel on the JVM: revisiting Java as a language for scientific computing applications.
14. Progress Report: Exploring API Design for Capabilities for Programming with Arrays.
15. Godot: All the Benefits of Implicit and Explicit Futures.
16. Run, actor, run: towards cross-actor language benchmarking.
17. Courses-Concepts-Graphs as a Tool to Measure the Importance of Concepts in University Programmes.
18. C♭: a new modular approach to implementing efficient and tunable collections.
19. Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages.
20. Attached and detached closures in actors.
21. Parallel programming with arrays in Kappa.
22. Correctness of a Concurrent Object Collector for Actor Languages.
23. OOlong: an extensible concurrent object calculus.
24. Type-assisted automatic garbage collection for lock-free data structures.
25. Spencer: interactive heap analysis for the masses.
26. You can have it all: abstraction and good cache performance.
27. Relaxed Linear References for Lock-free Data Structures.
28. Reference Capabilities for Concurrency Control.
29. Vats: A Safe, Reactive Storage Abstraction.
30. SICP JS: Ketchup on Caviar?
31. Refined Ownership: - Fine-Grained Controlled Internal Sharing.
32. Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore.
33. Disjointness domains for fine-grained aliasing.
34. Measuring polymorphism in python programs.
35. Tracing dynamic features in python programs.
36. In-Flow Peer Review.
37. Multiple Aggregate Entry Points for Ownership Types.
38. Tribal ownership.
39. Welterweight Java.
40. Integrating typed and untyped code in a scripting language.
41. Thorn: robust, concurrent, extensible scripting on the JVM.
42. Loci: Simple Thread-Locality for Java.
43. Understanding the dynamics of JavaScript.
44. Software hardening: a research agenda.
45. Minimal Ownership for Active Objects.
46. Aliasing, Confinement, and Ownership in Object-Oriented Programming.
47. Formal Techniques for Java-Like Programs.
48. Ownership, Uniqueness, and Immutability.
49. Tribe: a simple virtual class calculus.
50. Aliasing, Confinement, and Ownership in Object-Oriented Programming.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.