If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 5 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A complete formal semantics of x86-64 user-level instruction set architecture

Dasgupta, S., Park, D., Kasampalis, T., Adve, V. S. & Roşu, G., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 1133-1148 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
  • All-Path reachability logic

    Ştefanescu, A., Ciobâcă, S., Mereuta, R., Moore, B. M., Roşu, G. & şerbănuţă, T. F., Jan 1 2019, In : Logical Methods in Computer Science. 15, 2, p. 5:1-5:23

    Research output: Contribution to journalArticle

  • Dealing with C's Original Sin

    Hathhorn, C. & Rosu, G., Sep 1 2019, In : IEEE Software. 36, 5, p. 24-28 5 p., 8802866.

    Research output: Contribution to journalArticle

  • First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

    Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E. & Zhang, Y., Feb 6 2019, In : International Journal on Software Tools for Technology Transfer. 21, 1, p. 31-70 40 p.

    Research output: Contribution to journalArticle

  • How effective are existing Java API specifications for finding bugs during runtime verification?

    Legunsen, O., Al Awar, N., Xu, X., Hassan, W. U., Roşu, G. & Marinov, D., Dec 1 2019, In : Automated Software Engineering. 26, 4, p. 795-837 43 p.

    Research output: Contribution to journalArticle