Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday /
This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-performance computers. After foundational Ph.D. work at Stanford University under the mentorship of Jo...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Edició: | 1st ed. 2025. |
| Col·lecció: | Lecture Notes in Computer Science,
14564 |
| Matèries: | |
| Accés en línia: | https://doi.org/10.1007/978-3-031-97492-2 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Taula de continguts:
- Retrieving Unknown SMT Formulas via Structural Mutations
- On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud
- A Formal Model for Portable, Heterogeneous Accelerator Programming
- Evaluation of Speedup and Energy with Multigrain Parallelizing Compiler
- Hidden assumptions in static verification of data-race free GPU programs
- Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism
- Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting
- Learning to harness in-vitro biological neural networks
- Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation
- Scalable Small Message Aggregation on Modern Interconnects
- Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models.