53 results on '"Phil Trinder"'
Search Results
2. Guided Equality Saturation.
3. Generic Exact Combinatorial Search at HPC Scale.
4. Could Tierless Languages Reduce IoT Development Grief?
5. Special Delivery: Programming with Mailbox Types.
6. CAEFL: composable and environment aware federated learning models.
7. A reliability benchmark for actor-based server languages.
8. Classifying the Reliability of the Microservices Architecture.
9. Special Delivery: Programming with Mailbox Types (Extended Version).
10. Improving GHC Haskell NUMA profiling.
11. Tiered versus tierless IoT stacks: comparing smart campus software architectures.
12. YewPar: skeletons for exact combinatorial search.
13. Pricing Python parallelism: a dynamic language cost model for heterogeneous platforms.
14. Comparing Reliability Mechanisms for Secure Web Servers: Comparing Actors, Exceptions and Futures in Scala.
15. Reliable distribution of computational load in robot teams.
16. Implementing YewPar: A Framework for Parallel Tree Search.
17. Python programmers have GPUs too: automatic Python loop parallelization with staged dependence analysis.
18. Parallel Flowshop in YewPar.
19. Do Fewer Tiers Mean Fewer Tears? Eliminating Web Stack Components to Improve Interoperability.
20. Comparing languages for engineering server software: erlang, go, and scala with akka.
21. Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings.
22. Towards Generic Scalable Parallel Combinatorial Search.
23. Replicable parallel branch and bound search.
24. A scalable reliable instant messenger using the SD Erlang libraries.
25. Towards reliable and scalable robot communication.
26. JIT costing adaptive skeletons for performance portability.
27. Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
28. Evaluating Scalable Distributed Erlang for Scalability and Reliability.
29. Performance portability through semi-explicit placement in distributed Erlang.
30. JIT-Based Cost Analysis for Dynamic Program Transformations.
31. Improving the network scalability of Erlang.
32. HPC-GAP: engineering a 21st-century high-performance computer algebra system.
33. High-Performance Computer Algebra: A Hecke Algebra Case Study.
34. Balancing Shared and Distributed Heaps on NUMA Architectures.
35. The HdpH DSLs for scalable reliable computation.
36. Arrows for Parallel Computation.
37. Supervised Workpools for Reliable Massively Parallel Computing.
38. RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper).
39. Using Negotiation to Reduce Redundant Autonomous Mobile Program Movements.
40. Replicable Parallel Branch and Bound Search.
41. Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
42. Low Pain vs No Pain Multi-core Haskells.
43. Redundant movements in autonomous mobility: Experimental and theoretical analysis.
44. Data Dependent Concurrency Control.
45. Concurrent Data Manipulation in a Pure Functional Language.
46. Scalable persistent storage for Erlang: theory and practice.
47. Transparent fault tolerance for scalable functional computation.
48. Selected and extended papers from SBLP 2013.
49. Human and 'human-like' type explanations.
50. How do people check polymorphic types?
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.