Defined a formal language class called visibly pushdown languages (also called nested word languages.
This has had a tremendous impact in academia (see Wikipedia page entries: https://en.wikipedia.org/wiki/Nested_word ).
This has not just been widely cited, but has defined a new model that people have extensively studied
(see http://scholar.google.com/scholar?as_q=&as_oq=%22nested+words%22+%22visibly+pushdown%22 for a Google Scholar search for "nested words" OR "visibly pushdown" that lists more than 940 entries).
The class of visibly pushdown languages is an insertion into the Chomsky hierarchy, falling between regular languages and deterministic context-free languages, but which possesses most closure properties that regular languages have while yet remaining tractable. In particular, the inclusion problem is decidable and this has led to applications ranging from XML processing to program verification to programming languages.
Reasoning with heaps in software verification (Natural proofs, Strand, separation logic);
Reliable and secure software engineering;
Logic and Automata Theory.
Articles in Conference Proceedings
S. Bandhakavi, S. King, P. Madhusudan, M. Winslett.
VEX: Vetting Browser Extensions For Security Vulnerabilities.
Proc. of 19th USENIX Security Symposium, Washington, DC, USA, 2010, USENIX. (Acc rate:14.8%)
Won the Best Paper Award
Other Scholarly Activities
Visited Microsoft Research, India during sabbatical (2012-2013).
Helped initiate a very large MOOC platform for India, called MASSIVELY EMPOWERED CLASSROOMS.
This massive online classroom setting is a unique blended classroom meant for undergraduate students in India.
Undergraduate colleges in India have a huge quality problem. The blended classroom allows tens of thousands of students in India
to access quality lectures and class material that is synchronized with their study.
Huge grassroots movement to engage teachers, involve them in the platform, incentivize colleges to participate, and certificate
program to incentivize students to take the course to get jobs.
Organized and partially lectured the first course on the platform as well.
The program has been a huge success with a large number of courses and tens of thousands of undergraduate students each semester.
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.