G. Rosu and F. Chen, “Semantics and Algorithms for Parametric Monitoring”, Logical Methods in Computer Science, Volume 8, Issue 1, 2012, pages 1-47.
Articles in Conference Proceedings
C. Hathhorn, C. Ellison, and G. Rosu, "Defining the Undefinedness of C," Proceedings of the 36th ACM SIGPLAN conference on Programming Language Design and Implementation, PLDI'15, Portland, Oregon, 13-17 June 2015. ACM, to appear 2015.
J. Huang, Q. Luo, and G. Rosu, "GPredict: Generic Predictive Concurrency Analysis," Proceedings of the 37th International Conference on Software Engineering, ICSE'15, Florence, Italy, 16-24 May 2015. ACM, to appear 2015.
D. Bogdanas and G. Rosu, "K-Java: A Complete Semantics of Java," Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'15, Mumbai,India, 12-18 January, 2015. ACM, pages 445-456.
A. Stefanescu, S. Ciobaca, R. Mereuta, B. Moore, T. Serbanuta, and G. Rosu, "All-Path Reachability Logic," RTA'14, LNCS 8560, pp 425-440, 2014.
J. Huang, P. Meredith and G. Rosu, "Maximal Sound Predictive Race Detection with Control Flow Abstraction", Proceedings of the 35th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI'14), Edinburgh, UK, 9-11 June 2014.
ACM, to appear. Acceptance rate 52/287 (18.1\%).
Q. Luo and G. Rosu, "EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs", Proceedings of the International Symposium in Software Testing and Analysis (ISSTA'13), Lugano, Switzerland, 15-20 July 2013. ACM, pages 156-166. Acceptance rate 32/124 (25.8\%)
G. Rosu and A. Stefanescu, "Reachability Logic", Proceedings of the 28th Annual ACM/IEEE Symposium of Logic in Computer Science (LICS'13), New Orleans, USA, 25-27 June 2013, ACM/IEEE, . Acceptance rate 57/165 (34.5%).
G. Rosu and A. Stefanescu, "Checking reachability using matching logic," Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, (OOPSLA'12), part of SPLASH 2012, Tucson, AZ, USA, 21-25 October 2012. ACM, pages 555-574, 2012. Acceptance rate 57/228 (25%).
Dean's Award for Excellence in Research (2014)
C.W. Gear Outstanding Junior Faculty Award (2005)
NSF CAREER Award, under "Software Engineering and Languages" (2005)
Professors like Rohit Bhargava know that tomorrow’s engineers will have to work across multiple fields to really be effective. Students from eight different disciplines work with him to fight cancer using nanotechnology. And two multimillion-dollar student training programs make sure that attitude is integrated into their education as well. See us in action by visiting campus
Illinois researchers are making strides to improve cancer detection, prevention, diagnosis, therapy, and quality of life. The Cancer Community @ Illinois provides resources to access cancer-related activities across campus and nucleate new programs and activities to advance cancer research progress.
The breadth and depth of knowledge in Engineering at Illinois makes it easy to find the expert in any given field. And experts who are ready to work across fields. Search for an individual or topic and let's change the world together.
Engineering students need to do more than learn equations and techniques. They need to identify the passions that motivate them and the personal skills to pursue those passions. The Illinois First-Year Experience (IEFX) helps every Engineering at Illinois student do just that. It’s the only program of its kind at an engineering program of our size. Learn more about the first-year experience.
Now through the end of 2019, The Grainger Foundation will match all donations up to $25 million to Engineering at Illinois' scholarship endowments. The opportunity to improve the quality, diversity, and global influence of our undergraduate students has never been greater. Learn more...
A new class of walking “bio-bots” powered by muscle cells and controlled with electrical pulses could aid in drug delivery, surgical robotics, ‘smart’ implants, mobile environmental analyzers, and more.
As one of the world's top ranked engineering programs, our students, faculty, and alumni set the standard for excellence. We drive the economy, reimagine engineering education, and bring revolutionary ideas to the world.
We solve the world's greatest challenges. We look toward the future and find ways to make it a reality. Leading the innovation of virtual reality. Designing electronic tattoos to treat seizures. Building safer global water systems. Converting algae to biofuel. Exploring fusion energy.