Programming Languages, Formal Methods, and Software Engineering
The growing complexity and scale of software poses formidable challenges for reliability, security, performance, and productivity. Our faculty tackle these problems by developing innovative techniques in programming language design and semantics; techniques and tools for formal verification, software testing, and automated debugging; and models and verification techniques for embedded systems that interact with physical entities.
CS Faculty and Their Research Interests
|Vikram Adve||software security, programming models for heterogeneous platforms|
|Gul Agha||models for concurrent computation; parallel and distributed algorithms|
|Elsa Gunter||software engineering, programming languages, formal methods|
|Darko Marinov||software engineering, reliability & testing, theorem proving, model checking, rich specification languages|
|Jose Meseguer||formal executable specification and verification, software architecture|
|Sasa Misailovic||program optimization systems, approximate computing techniques|
|David Padua||program analysis, transformation, and optimization|
|Madhusudan Parthasarathy||formal methods, software verification, model checking, decidable logics|
|Grigore Rosu||software, design, semantics and implementation of programming specification languages|
|Mahesh Viswanathan||algorithmic verification of cyberphysical systems|
|Tao Xie||software engineering, software testing, program analysis, software analytics|
|Andrew Miller, Electrical & Computer Engineering||design of secure decentralized systems and cryptocurrencies|
Electrical & Computer Engineering
|formal methods, automated reasoning|
|Danny Dig, EECS Department, Oregon State University||software engineering, general and interactive program transformations|
Programming Languages, Formal Methods, and Software Engineering Research Efforts and Groups
- PL/FM/SE at Illinois
- Coordinated Science Lab (CSL)
- Assured Cloud Computing-University Center of Excellence (ACC-UCoE) in the Information Trust Institute
- Science of Security (SOS) Lablet in the Information Trust Institute
- The LLVM Compiler Infrastructure
Brett Daniel Software Engineering Seminar (cs591se), named in memory of Brett Daniel
Subscribe to FM seminar mailing list
Programming Languages, Formal Methods, and Software Engineering Research News
Computing -- Blockchain-based smart contracts present a unique risk, and companies should be wary of deploying them, according to CS Professor Grigore Rosu. "There are two big problems ... The code is public so you can work out how to attack it. Secondly, once you have a smart contract - that's it. It deploys and you cannot change it."
Illinois CS Researchers Among Teams Selected by DARPA to Unleash Power of Specialized and Reconfigurable HardwareJuly 28, 2018 Researchers will explore the development of flexible architectures capable of using specialized hardware to solve specific computing problems more quickly and efficiently.
Epicenter podcast -- CS Professor Grigore Rosu talks about the K framework, as well as his work to create a new virtual machine called IELE specifically tailored to blockchain.
Payments Journal -- On the new release by Runtime Verification, Professor Grigore Rosu’s startup, of IELE, its new virtual machine for the blockchain.