| Test-case reduction for C compiler bugs J Regehr, Y Chen, P Cuoq, E Eide, C Ellison, X Yang Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012 | 386 | 2012 |
| An executable formal semantics of C with applications C Ellison, G Rosu ACM SIGPLAN Notices 47 (1), 533-544, 2012 | 334 | 2012 |
| Defining the undefinedness of C C Hathhorn, C Ellison, G Roşu Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 188 | 2015 |
| Matching logic: An alternative to Hoare/Floyd logic G Roşu, C Ellison, W Schulte Algebraic Methodology and Software Technology, 142-162, 2011 | 102 | 2011 |
| A formal semantics of C with applications CME Ellison III University of Illinois at Urbana-Champaign, 2012 | 54 | 2012 |
| The K Primer (version 3.3). TF Serbanuta, A Arusoaie, D Lazar, C Ellison, D Lucanu, G Rosu K, 57-80, 2011 | 53* | 2011 |
| A rewriting logic approach to type inference C Ellison, T Şerbănuţă, G Roşu Recent Trends in Algebraic Development Techniques, 135-151, 2009 | 28 | 2009 |
| Executing Formal Semantics with the K Tool D Lazar, A Arusoaie, T Şerbǎnuţǎ, C Ellison, R Mereuta, D Lucanu, ... FM 2012: Formal Methods, 267-271, 2012 | 18 | 2012 |
| Defining the undefinedness of C CM Ellison, G Rosu | 12 | 2012 |
| A rewriting logic approach to defining type systems C Ellison University of Illinois, 2008 | 5 | 2008 |
| Making Maude definitions more interactive A Arusoaie, TF Şerbănuţă, C Ellison, G Roşu International Workshop on Rewriting Logic and its Applications, 83-98, 2012 | 4 | 2012 |
| On compiling rewriting logic language definitions into competitive interpreters M Ilseman, C Ellison, G Rosu | 1 | 2010 |
| A Rewriting Logic Approach to Type Inference: Technical Report CM Ellison, T Serbanuta, G Rosu | | 2008 |
| On RDBMS-Integrated Disk-Based Architecture for Managing Massive Dormant Data in a Compressed Format M Dzakovic, CM Ellison Fourth International Workshop on Storage Network Architecture and Parallel I …, 2004 | | 2004 |
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
