Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. ,  demonstrate an automated type- based system that soundly detects parallelizability of sequential func- tional programs. Our type inference system discovers the parallelizability property of a sequential program in a modular fashion, by exploring a ring structure among the program's operators. It handles self-recursive functions with accumulating parameters, as ll as a class of non-linear mutual-recursive functions. Programs whose types are inferred to be par- allelizable can be automatically transformed to parallel code in a mutu- morphic form - a succint model for parallel computation. Transforming into such a form is an important step towards constructing efficient data parallel programs.
['Dana N. Xu', 'Siau-Cheng Khoo', 'Zhenjiang Hu']
I am writing a research paper on a idea PType System: A Featherweight Parallelizability Detector
[{"from": "human", "value": "I am writing a research paper on a idea PType System: A Featherweight Parallelizability Detector"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. ,  demonstrate an automated type- based system that soundly detects parallelizability of sequential func- tional programs. Our type inference system discovers the parallelizability property of a sequential program in a modular fashion, by exploring a ring structure among the program's operators. It handles self-recursive functions with accumulating parameters, as ll as a class of non-linear mutual-recursive functions. Programs whose types are inferred to be par- allelizable can be automatically transformed to parallel code in a mutu- morphic form - a succint model for parallel computation. Transforming into such a form is an important step towards constructing efficient data parallel programs."}]