( 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

Synthesizing Abstract Transformers., , , , and . CoRR, (2021)Program Synthesis using Natural Language., , , , , , , and . CoRR, (2015)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)Phase Directed Compiler Optimizations., and . HiPC, page 270-279. IEEE Computer Society, (2016)Almost correct invariants: synthesizing inductive invariants by fuzzing proofs., and . ISSTA, page 352-364. ACM, (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..Structural Analysis Attack on Sequential Circuit Logic Locking., and . HOST, page 21-24. IEEE, (2022)Pertinent path profiling: Tracking interactions among relevant statements., , and . CGO, page 16:1-16:12. IEEE Computer Society, (2013)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)