( en | de | ru )

 

Disambiguation of "Roy, Subhajit"

Author of the publication

copydeleteadd this publication to your clipboard
Program Synthesis using Natural Language.

, , , , , , , and . CoRR, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Subhajit Ghosh

Roy Hornig

Beschreibung mikro-rheologischer Vorgänge und resultierender Verbundstrukturen beim Elastomermischprozeß im Innenmischer durch rheologische Untersuchungen. NA Halle-Wittenberg, (2009)

Trina Roy

Wolfgang Roy

Amitava Roy

 

Other publications of authors with the same name

Program Synthesis using Natural Language., , , , , , , and . CoRR, (2015)Synthesizing Abstract Transformers., , , , and . CoRR, (2021)Almost correct invariants: synthesizing inductive invariants by fuzzing proofs., and . ISSTA, page 352-364. ACM, (2022)Structural Analysis Attack on Sequential Circuit Logic Locking., and . HOST, page 21-24. IEEE, (2022)Diagnosing Software Faults Using Multiverse Analysis., , , , and . IJCAI, page 1629-1635. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Pertinent path profiling: Tracking interactions among relevant statements., , and . CGO, page 16:1-16:12. IEEE Computer Society, (2013)Phase Directed Compiler Optimizations., and . HiPC, page 270-279. IEEE Computer Society, (2016)The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations., and . CC, volume 6011 of Lecture Notes in Computer Science, page 304-323. Springer, (2010)A Parameterized VHDL Library for On-Line Testing., , , , , , and . ITC, page 479-488. IEEE Computer Society, (1997)Online identification of frequently executed acyclic paths by leveraging data stream algorithms., and . SAC, page 1694-1695. ACM, (2013)