Research output per year
Research output per year
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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Capturing constrained constructor patterns in matching logic
Chen, X., Lucanu, D. & Roşu, G., Jan 2023, In: Journal of Logical and Algebraic Methods in Programming. 130, 100810.Research output: Contribution to journal › Article › peer-review
Open Access -
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Lin, Z., Chen, X., Trinh, M. T., Wang, J. & Roşu, G., Apr 6 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA1, 77.Research output: Contribution to journal › Article › peer-review
Open Access -
Preface
Legunsen, O. & Rosu, G., 2022, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13255 LNCS, p. vResearch output: Contribution to journal › Editorial › peer-review
-
Language-parametric compiler validation with application to LLVM
Kasampalis, T., Park, D., Lin, Z., Adve, V. S. & Rosu, G., Apr 19 2021, Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2021. Association for Computing Machinery, p. 1004-1019 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Matching logic explained
Chen, X., Lucanu, D. & Roşu, G., Apr 2021, In: Journal of Logical and Algebraic Methods in Programming. 120, 100638.Research output: Contribution to journal › Article › peer-review
Open Access
Press/Media
-
Seven Illinois faculty members elected to AAAS
James N Eckstein, Kara D Federmeier, Atul Jain, Liviu M Mirica, Grigore Rosu, M Taher A Saif & Charles M Schroeder
1/31/23
1 Media contribution
Press/Media: Press / Media