https://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-421.pdf

Source

• URL: https://x.com/Ed__dev/status/2094074203020370301
• Author: Ed_ (@Ed__dev)
• Posted: 2026-08-30 14:46:10

Thread

1/ @Ed__dev

https://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-421.pdf

Branches: 2026-08-30-Ed__dev-cant-find-a-proper-prior-art-of-someone

2/ @Ed__dev

https://link.springer.com/article/10.1007/BF01185206

3/ @Ed__dev

https://arxiv.org/html/2601.15455v1

4/ @Ed__dev

https://research.ibm.com/publications/space-limited-procedures-a-methodology-for-portable-high-performance

5/ @Ed__dev

https://graphics.stanford.edu/papers/sequoia/sequoia_sc06.pdf

6/ @Ed__dev

https://www.researchgate.net/publication/280099143_Chapel_Fortress_and_X10_novel_languages_for_HPC

7/ @Ed__dev

https://dl.acm.org/doi/10.1145/3617232.3624850

8/ @Ed__dev

https://ieeexplore.ieee.org/document/5767117

9/ @Ed__dev

https://steuwer.info/files/publications/2024/PLDI-2024.pdf

10/ @Ed__dev

https://web.mit.edu/domino/domino-sigcomm.pdf

11/ @Ed__dev

12/ @Ed__dev

https://manuals.plus/m/24acebfd64183a2dd0cf45b2a0fae0d2bd1994b59d1b34d8ca1711711e8538af

13/ @Ed__dev

14/ @Ed__dev

https://docs.nvidia.com/cuda/parallel-thread-execution/index.html#performance-tuning-directives

15/ @Ed__dev

16/ @Ed__dev

https://llvm.org/docs/AMDGPUUsage.html

17/ @Ed__dev

https://www.researchgate.net/publication/220885019_DeNovo_Rethinking_the_Memory_Hierarchy_for_Disciplined_Parallelism

18/ @Ed__dev

https://legion.stanford.edu

19/ @Ed__dev

https://legion.stanford.edu/tutorial/realm/machine_model.html

20/ @Ed__dev

https://www.openacc.org/sites/default/files/inline-files/OpenACC_2_0_specification.pdf?utm_source=chatgpt.com

21/ @Ed__dev

22/ @Ed__dev

https://www.cs.princeton.edu/~jrex/papers/lucid21.pdf?utm_source=chatgpt.com

23/ @Ed__dev

https://kar.kent.ac.uk/57493

24/ @Ed__dev

https://hale-lang.org/docs/systems/performance/

25/ @Ed__dev

https://hale-lang.org/docs/systems/forms/

26/ @Ed__dev

https://software-dl.ti.com/codegen/docs/tiarmclang/compiler_tools_user_guide/compiler_manual/c_cpp_language_implementation/attributes/function_attributes.html

27/ @Ed__dev

28/ @Ed__dev

https://inria.hal.science/inria-00391621/document

29/ @Ed__dev

https://groups.csail.mit.edu/cag/PSRG/papers/culler-jpdc93.pdf

30/ @Ed__dev

31/ @Ed__dev

32/ @Ed__dev

https://www.scirp.org/reference/referencespapers?referenceid=2150066

33/ @Ed__dev

https://www.cs.cornell.edu/talc/papers/stal-tr.pdf

34/ @Ed__dev

https://www.cs.cornell.edu/talc/papers/tal-tr.pdf

35/ @Ed__dev

https://arxiv.org/abs/1808.02010

36/ @Ed__dev

https://icfp16.sigplan.org/details/icfp-2016-papers/31/Combining-Effects-and-Coeffects-via-Grading

37/ @Ed__dev

https://aetherling.org

38/ @Ed__dev

https://pldi23.sigplan.org/details/pldi-2023-pldi/15/Modular-Hardware-Design-with-Timeline-Types

39/ @Ed__dev

40/ @Ed__dev

https://impact.ornl.gov/en/publications/aspen-a-domain-specific-language-for-performance-modeling/

41/ @Ed__dev

https://www.sciencedirect.com/science/article/abs/pii/S0743731517303039

42/ @Ed__dev

https://dl.acm.org/doi/10.1145/3519939.3523446

43/ @Ed__dev

https://arxiv.org/abs/2011.13127?utm_source=chatgpt.com

44/ @Ed__dev

https://ieeexplore.ieee.org/document/1402073
https://arxiv.org/abs/2205.01183

45/ @Ed__dev

https://popl25.sigplan.org/details/POPL-2025-popl-research-papers/65/An-Incremental-Algorithm-for-Algebraic-Program-Analysis

46/ @Ed__dev

https://dl.acm.org/doi/10.1145/256167.256195

47/ @Ed__dev

https://link.springer.com/chapter/10.1007/978-3-642-04081-8_27

48/ @Ed__dev

https://dl.acm.org/doi/10.1145/325096.325117

49/ @Ed__dev

https://arxiv.org/abs/1610.08170

50/ @Ed__dev

https://www.microsoft.com/en-us/research/publication/compiling-for-edge-architectures

51/ @Ed__dev

https://www.researchgate.net/publication/4196038_Experiments_with_WCET-oriented_programming_and_the_single-path_architecture

52/ @Ed__dev

https://www.sciencedirect.com/science/article/pii/S1383762121001594

53/ @Ed__dev

https://dl.acm.org/doi/pdf/10.1145/2845082

54/ @Ed__dev

https://link.springer.com/chapter/10.1007/11609773_6

55/ @Ed__dev

https://www.cs.princeton.edu/~appel/papers/sftal.pdf

56/ @Ed__dev

https://arxiv.org/pdf/1804.10694

57/ @Ed__dev

https://cacm.acm.org/research/halide

58/ @Ed__dev

https://dl.acm.org/doi/pdf/10.1145/307418.307549

59/ @Ed__dev

https://suif.stanford.edu/bddbddb

60/ @Ed__dev

https://link.springer.com/article/10.1007/s11704-011-0166-z

61/ @Ed__dev

https://homepages.inf.ed.ac.uk/da/papers/respol/

62/ @Ed__dev

https://www.sciencedirect.com/science/article/pii/S0167642314000902

63/ @Ed__dev

https://www.infoq.com/presentations/enso-dsl/

64/ @Ed__dev

https://www.researchgate.net/publication/262371887_Managed_Data_Modular_Strategies_For_Data_Abstraction

65/ @Ed__dev

https://www.cambridge.org/core/journals/journal-of-functional-programming/article/finally-tagless-partially-evaluated-tagless-staged-interpreters-for-simpler-typed-languages/7B2DC44A2127EBBA71ADE63809D9425F

66/ @Ed__dev

https://www.researchgate.net/publication/262159833_Extensibility_for_the_Masses

67/ @Ed__dev

https://www.cambridge.org/core/journals/journal-of-functional-programming/article/data-types-a-la-carte/14416CB20C4637164EA9F77097909409

68/ @Ed__dev

https://mlir.llvm.org/docs/Dialects/Transform/
https://mlir.llvm.org/docs/DialectConversion/

69/ @Ed__dev

https://arxiv.org/abs/2002.02268

70/ @Ed__dev

https://dspace.library.uu.nl/items/456e68f2-a92e-49ae-bee2-608e53cf318c

71/ @Ed__dev

https://www.researchgate.net/publication/254464166_Functional_Programming_with_Structured_Graphs

72/ @Ed__dev

https://arxiv.org/abs/2004.03082

73/ @Ed__dev

https://arxiv.org/abs/2602.16707

74/ @Ed__dev

https://www.researchgate.net/publication/273863586_Lightweight_modular_staging

75/ @Ed__dev

https://ssw.jku.at/Research/Projects/JVM/Truffle.html

76/ @Ed__dev

https://arxiv.org/abs/2411.10559

77/ @Ed__dev

https://arxiv.org/abs/2106.12496

78/ @Ed__dev

https://www.researchgate.net/publication/221562931_Types_are_calling_conventions

79/ @Ed__dev

https://www.microsoft.com/en-us/research/publication/kinds-are-calling-conventions/

80/ @Ed__dev

https://link.springer.com/chapter/10.1007/11577188_39

81/ @Ed__dev

https://www.sciencedirect.com/topics/computer-science/kahn-process-network

82/ @Ed__dev

https://vsynchronicity.wordpress.com/2026/03/14/its-the-state-machines-stupid/

83/ @Ed__dev

https://publikationen.bibliothek.kit.edu/1000188545

84/ @Ed__dev

https://spoofax.readthedocs.io/en/latest/index.html

85/ @Ed__dev

https://arxiv.org/abs/1107.0064

86/ @Ed__dev

https://nanopass.org/index.html