Illinois
ILLINOIS
Computer Science
Computer Science
Grainger College of Engineering

Welcome to the Illinois Computer Science Department homepage!

  • About Us
    • Broadening Participation in Computing
    • Statistics
    • Accreditation
    • History Timeline
    • Careers with Illinois Computer Science
    • Faculty Positions
    • Staff Positions
    • Directions
    • Awards
      • Faculty Awards
        • Chairs and Professorships
          • Sohaib and Sara Abbasi Professorship in Computer Science
          • Abel Bliss Professorship in Engineering
          • Richard T. Cheng Professorship in Computer Science
          • Fulton Watson Copp Chair in Computer Science
          • Michael Faiman Professorship in Computer Science
          • Ralph M. and Catherine V. Fisher Professorship
          • Founder Professor of Engineering
          • Donald B. Gillies Chair in Computer Science
          • Donald B. Gillies Professorship in Computer Science
          • Saburo Muroga Professorship in Computer Science
          • Paul and Cynthia Saylor Professorship in Computer Science
          • Thomas M. Siebel Chair in Computer Science
          • Donald Biggar Willett Professorship in Engineering
        • National & International Awards
        • University of Illinois Awards
          • 2017 C.W. Gear Outstanding Junior Faculty Award
      • Undergraduate Scholarships & Awards
      • Graduate Fellowships & Awards
      • Alumni Awards
        • 2019 Alumni Award Recipients
        • Alumni Awards Past Recipients
        • National & International Awards
        • University of Illinois Awards
      • Staff Awards
  • Admissions
    • Undergraduate
      • Apply Now
      • Degree & Program Options
      • Application Deadlines
      • Applications Process & Requirements
      • Transfer Students
      • Housing
      • Accreditation
    • Graduate
      • Apply Now
      • Degree & Program Options
      • Application Deadlines
      • Applications Process & Requirements
        • Additional Required Application Materials for International Students
        • Data Structures Proficiency Exam
      • Application Checklist
      • FAQs
        • Online MCS FAQs
      • Check Application Status
    • Impact of an Illinois CS Degree
    • Explore Courses
    • Rankings & Statistics
    • Student Life
    • Plan Your Visit
    • Financial Aid
      • Overview
      • Information for Applicants
      • Opportunities for Continuing Students
      • Graduate Fellowships & Assistantships
    • Tuition & Fees
    • Awards
  • Academics
    • Undergraduate
      • Degree & Program Options
        • B.S. in Computer Science
        • B.S. in Mathematics & Computer Science
        • B.S. in Statistics & Computer Science
        • CS + X Degree Programs
          • CS + X Degree Requirements & Planning Forms
          • Computer Science + Advertising
          • Computer Science + Animal Sciences
          • Computer Science + Anthropology
          • Computer Science + Astronomy
          • Computer Science + Chemistry
          • Computer Science + Crop Sciences
          • Computer Science + Economics
          • Computer Science + Geography & Geographic Information Science
          • Computer Science + Linguistics
          • Computer Science + Music
          • Computer Science + Philosophy
        • Minor in Computer Science
        • Software Engineering Certificate
        • CS Undergraduate Degree Options FAQ
      • Registration
        • CS Course Restrictions & Enrollment Caps
      • Undergraduate Advising
      • Policies and Procedures
      • Undergraduate Forms
      • Honors
    • Graduate
      • PhD Program
        • PhD Requirements
        • PhD Time Limits & Milestones
        • PhD Program of Study Process
        • Guidelines for Forming Ph.D. Committee
        • Qualifying Exam
        • Preliminary Exam
        • Final Exam (Thesis Defense)
        • Ph.D. Thesis Format Review Guidelines
      • MS Program
      • MS in Bioinformatics Program
      • Professional Master of Computer Science
        • On-Campus MCS
        • Online MCS
        • Online MCS in Data Science
      • Fifth Year Master's Programs
        • 5-year BS-MS Program
        • 5-year BS-MCS Program
        • Fifth Year Master's Degree Conferral & Commencement Policies
      • Non-degree Options
      • Graduate Forms & Advising Resources
        • Official Forms
        • Graduate Student Annual Evaluation Process
        • New Graduate Student Resources
          • PhD General Advising for Registration
          • MS General Advising for Registration
          • MCS General Advising for Registration
        • EPI Exam Requirements
        • CPT Training Process
        • OPT Training Process
        • Graduate Advising Contacts
      • CS Graduate Student Handbook
    • My.CS
    • Explore Courses
    • Student Life
    • Financial Aid
    • Conduct Research
    • Honor Code
    • Calendar
  • Research
    • Architecture, Compilers, and Parallel Computing
    • Artificial Intelligence
    • Bioinformatics and Computational Biology
    • Computers and Education
    • Database and Information Systems
    • Interactive Computing
    • Programming Languages, Formal Methods, and Software Engineering
    • Scientific Computing
    • Security and Privacy
    • Systems and Networking
    • Theory and Algorithms
    • Corporate Collaborations
    • Summer Research Experience for Undergraduates
    • Technical Workshops
  • Student Life
    • Overview of CS Student Life
    • Student Organizations
      • Computer Science Student Groups
      • Engineering Student Groups
      • Campus Student Groups
    • Department, College, and Campus Events
    • Student Resources
    • Career Services
  • Engage
    • Alumni
      • Alumni Awards
      • Stay Connected
      • Give
      • click! Magazine
      • E-News
      • Continuing Education
    • Corporate
      • Recruiting
      • Corporate Connection
      • For Startups
      • Meet Student Groups
      • Senior Design
      • Research Collaboration
    • K-12 Outreach
      • Chic Tech Visits
      • ChicTech Retreat
      • Girls Who Code
      • Hour of Code
      • Illinois Computer Science Sail
      • NCWIT Aspirations
      • Parent and Teacher Resources
    • Get Involved
  • People
    • Faculty
      • All Faculty
      • Department Faculty
      • Affiliate Faculty
      • Adjunct Faculty
      • Emeritus Faculty
    • Staff
      • Office of the Department Head
      • Advancement Office
      • Undergraduate Advising Office
      • Graduate Advising Office
      • Business Office
      • Faculty Support Contacts
      • Facilities, Shipping and Receiving
  • News
    • Department News
    • Media Coverage
    • E-News
      • E-News Archive
    • Impact Report & Publications
    • Featured Lectures
      • Donald B. Gillies Memorial Lecture
      • Mueller-Thuns Lecture Series
  • Corporate
    • Recruit at the Campus-Level
    • Recruit in the College of Engineering
    • Recruit in CS and ECE
    • Corporate Connection
    • Startup Corporate Connection
    • Ad Hoc Events
    • Work with CS Student Groups
    • Research Collaborations
    • Contact Us
    • Senior Design
  • Contact Us
    • Directions to Siebel Center
  • Give
    • Give Now
    • Ways to Give
    • Donor Profiles
    • CS Visionary Scholarship Donors
  • Alumni
    • Join the Conversation
    • Stay Informed
    • Be Recognized
    • Stay Connected
    • Continuing Education and Professional Development
    • Contact the Advancement Team
  • MY.CS
  • Calendar
  • About Us
    • Broadening Participation in Computing
    • Statistics
    • Accreditation
    • History Timeline
    • Careers with Illinois Computer Science
    • Faculty Positions
    • Staff Positions
    • Directions
    • Awards
      • Faculty Awards
        • National & International Awards
        • Chairs and Professorships
        • University of Illinois Awards
      • Undergraduate Scholarships & Awards
      • Graduate Fellowships & Awards
      • Alumni Awards
        • National & International Awards
        • Alumni Awards Past Recipients
        • 2019 Alumni Award Recipients
        • University of Illinois Awards
      • Staff Awards
  • Admissions
    • Undergraduate
      • Apply Now
      • Degree & Program Options
      • Application Deadlines
      • Applications Process & Requirements
      • Transfer Students
      • Housing
      • Accreditation
    • Graduate
      • Apply Now
      • Degree & Program Options
      • Application Deadlines
      • Applications Process & Requirements
        • Additional Required Application Materials for International Students
        • Data Structures Proficiency Exam
      • Application Checklist
      • FAQs
      • Check Application Status
    • Impact of an Illinois CS Degree
    • Explore Courses
    • Student Life
    • Rankings & Statistics
    • Plan Your Visit
    • Financial Aid
    • Tuition & Fees
    • Awards
  • Academics
    • Undergraduate
      • Degree & Program Options
        • B.S. in Computer Science
        • B.S. in Mathematics & Computer Science
        • B.S. in Statistics & Computer Science
        • CS + X Degree Programs
          • Computer Science + Advertising
          • CS + X Degree Requirements & Planning Forms
          • Computer Science + Animal Sciences
          • Computer Science + Anthropology
          • Computer Science + Astronomy
          • Computer Science + Chemistry
          • Computer Science + Crop Sciences
          • Computer Science + Economics
          • Computer Science + Geography & Geographic Information Science
          • Computer Science + Linguistics
          • Computer Science + Music
          • Computer Science + Philosophy
        • Minor in Computer Science
        • Software Engineering Certificate
        • CS Undergraduate Degree Options FAQ
      • Registration
        • CS Course Restrictions & Enrollment Caps
      • Undergraduate Advising
      • Policies and Procedures
      • Undergraduate Forms
      • Honors
    • Graduate
      • PhD Program
        • PhD Requirements
        • PhD Time Limits & Milestones
        • PhD Program of Study Process
        • Guidelines for Forming Ph.D. Committee
        • Qualifying Exam
        • Preliminary Exam
        • Final Exam (Thesis Defense)
        • Ph.D. Thesis Format Review Guidelines
      • MS Program
      • MS in Bioinformatics Program
      • Professional Master of Computer Science
        • On-Campus MCS
        • Online MCS
        • Online MCS in Data Science
      • Fifth Year Master's Programs
        • 5-year BS-MS Program
        • 5-year BS-MCS Program
        • Fifth Year Master's Degree Conferral & Commencement Policies
      • Non-degree Options
      • Graduate Forms & Advising Resources
      • CS Graduate Student Handbook
    • My.CS
    • Explore Courses
    • Student Life
    • Financial Aid
    • Conduct Research
    • Honor Code
    • Calendar
  • Research
    • Architecture, Compilers, and Parallel Computing
    • Artificial Intelligence
    • Bioinformatics and Computational Biology
    • Computers and Education
    • Database and Information Systems
    • Interactive Computing
    • Programming Languages, Formal Methods, and Software Engineering
    • Scientific Computing
    • Security and Privacy
    • Systems and Networking
    • Theory and Algorithms
    • Corporate Collaborations
    • Summer Research Experience for Undergraduates
    • Technical Workshops
  • Student Life
    • Overview of CS Student Life
    • Student Organizations
      • Computer Science Student Groups
      • Engineering Student Groups
      • Campus Student Groups
    • Department, College, and Campus Events
    • Student Resources
    • Career Services
  • Engage
    • Alumni
      • Alumni Awards
      • Stay Connected
      • Give
      • click! Magazine
      • E-News
      • Continuing Education
    • Corporate
      • Recruiting
      • Corporate Connection
      • For Startups
      • Meet Student Groups
      • Senior Design
      • Research Collaboration
    • K-12 Outreach
      • Chic Tech Visits
      • ChicTech Retreat
      • Girls Who Code
      • Hour of Code
      • Illinois Computer Science Sail
      • NCWIT Aspirations
      • Parent and Teacher Resources
    • Get Involved
    GET INVOLVED
  • People
    • Faculty
      • All Faculty
      • Department Faculty
      • Affiliate Faculty
      • Adjunct Faculty
      • Emeritus Faculty
    • Staff
      • Office of the Department Head
      • Advancement Office
      • Undergraduate Advising Office
      • Graduate Advising Office
      • Business Office
      • Faculty Support Contacts
      • Facilities, Shipping and Receiving
  • News
    • Department News
    • Media Coverage
    • E-News
    • Impact Report & Publications
    • Featured Lectures
      • Donald B. Gillies Memorial Lecture
      • Mueller-Thuns Lecture Series
  • Corporate
    • Recruit at the Campus-Level
    • Recruit in the College of Engineering
    • Recruit in CS and ECE
    • Corporate Connection
    • Startup Corporate Connection
    • Ad Hoc Events
    • Work with CS Student Groups
    • Research Collaborations
    • Contact Us
    • Senior Design
  • Contact Us
    • Directions to Siebel Center
  • Give
    • Give Now
    • Ways to Give
    • Donor Profiles
    • CS Visionary Scholarship Donors
  • Alumni
    • Join the Conversation
    • Stay Informed
    • Be Recognized
    • Stay Connected
    • Continuing Education and Professional Development
    • Contact the Advancement Team
  • MY.CS
  • Calendar

You are here

Home » News
Rosu earns ASE Most Influential Paper award for work that helped launch runtime verification field

Rosu earns ASE Most Influential Paper award for work that helped launch runtime verification field

Oct 17, 2016 Laura Schmitt

CS @ ILLINOIS Professor Grigore Rosu recently won the Most Influential Paper Award at the 2016 Automated Software Engineering (ASE) conference in Singapore. His 2001 paper, “Monitoring Programs Using Rewriting,” helped launch the field of runtime verification, which is a mathematically rigorous way to monitor and analyze software program execution.

Professor Grigore RosuAccording to Rosu, the significance of the paper is that it bridges two apparently different software engineering areas—testing and formal verification. An ad hoc and informal method, testing runs once and checks to see if a software program is functioning properly. Formal verification, on the other hand, uses mathematical techniques to prove a software program implements a specification.

“Formal verification is very intense and it doesn’t scale,” said Rosu. “What we did is execute the program and test the formal specifications at runtime to see if the program violates any of the specified requirements. We didn’t prove that a program was correct, but we didn’t let the program go wrong, either, so in the end the program behaved correctly.  It can be regarded as an alternative and lighter method to ensure that a program behaves correctly.”

A CS faculty member since 2002, Rosu was working as a researcher at the NASA space agency when he wrote the award-winning paper and coined the term “runtime verification” with his colleague Klaus Havelund. The runtime verification algorithm he introduced in the paper consisted of eight simple, yet elegant equations that described the basic laws of monitoring temporal logic. Today, Runtime Verification has established itself as a scientific field, with its own international conference.

In addition to helping establish runtime verification as a bona fide software analysis approach, the paper demonstrated a system, Java PathExplorer, that could function without access to a software program’s source code. That ability has become critical to industries like automotive manufacturing, where car makers embed third-party, proprietary software into their vehicles to control everything from power windows to brakes to the engine.

In 2010, Rosu founded a company, Runtime Verification, Inc., to commercialize technology developed in his U of I Formal Systems Laboratory (FSL). Located only 1 mile from the FSL, Runtime Verification, Inc., provides cutting-edge products to automatically and accurately detect the rarest, trickiest, and most costly bugs in software code, all based on the runtime verification state-of-the-art technology. The company has partnered with NASA, NSF, Boeing, Toyota, and global automotive supplier DENSO.

While proud to receive this award, Rosu believes it further confirms the excellence of CS @ ILLINOIS faculty in the software engineering area. Last year, Professor Darko Marinov received the same ASE Most Influential Paper award for his research on developing TestEra, a novel framework for automated testing of Java programs.

Rosu’s pride is well founded. According to csrankings.org, Illinois is ranked first in software engineering.

Editor's note: The 2017 ASE conference will be held at the University of Illinois at Urbana-Champaign (Oct. 30 - Nov 3, 2017). Professor Grigore Rosu is the conference general chair, Professor Tao Xie is the conference local arrangements chair, Professor Darko Marinov is the conference finance chair, Professor Sasa Misailovic is the proceedings chair, and CS staff member Donna Coleman is in charge of conference organization.

  • ← Older
  • Newer →
  • About Us
  • Admissions
  • Academics
  • Research
  • Student Life
  • Engage
  • People
  • News
    • Department News
    • Media Coverage
    • E-News
    • Impact Report & Publications
    • Featured Lectures
  • Corporate
  • Contact Us
  • Give
  • Alumni
  • MY.CS
  • Calendar
Department of Computer Science
Thomas M. Siebel Center for Computer Science
201 North Goodwin Avenue MC 258
Urbana, IL 61801-2302
ph: 217-333-3426 (general) | 217-333-4428 (advising) 
fax: 217-333-3501
General email: admin@cs.illinois.edu
Graduate Advising: academic@cs.illinois.edu
Undergraduate Advising: undergrad@cs.illinois.edu
Webmaster: engrit-web@illinois.edu
 
The Grainger College of Engineering
University of Illinois at Urbana-Champaign

Copyright 2019 The Board of Trustees at the University of Illinois
Privacy policy | Engineering Cookie Policy
CS is centrally located and close to regional travel options
  • About
  • News
  • Calendar
  • Corporate
  • Alumni
  • Store
  • Give
  • Contact
  • My.CS
Follow Us on Facebook
Follow Us on Twiitter
Follow Us on Youtube
Follow Us on LinkedIn
Follow Us on Instragram
CookieSettings
Scroll to Top