ACM Recognizes University of Illinois Faculty Meseguer, Tong for Contributions to the Computing Field

January 20, 2021

Jan. 20, 2021 — Two Illinois CS faculty recently earned recognition by the Association for Computing Machinery (ACM), the world’s largest educational and scientific computing society, for achievements in computing.

In a year in which ACM received more nominations than ever before, Illinois CS professor Jose Meseguer earned acknowledgement as a 2020 ACM Fellow. Only the top 1 percent of ACM Members earn Fellow status for their outstanding accomplishments in computing and information technology and/or outstanding service to ACM and the larger computing community. This year, 95 of the organization’s members, including six former Turing Award winners, were named ACM Fellows.

Additionally, professor Hanghang Tong became one of 64 ACM Distinguished Members in 2020. These longstanding ACM members earn selection from their peers for a range of accomplishments that move the computing field forward.

Meseguer credits collaborations with breakthroughs, lifelong connections

Jose Meseguer

This reputation derived from his ongoing development of rewriting logic and Maude, a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications.When Meseguer joined Illinois CS in 2001, years of experience already afforded the professor a reputation in formal methods that preceded him.

“Maude, which I began working on and designed with a research team in the mid-1990s, is now widely used and one of the fastest declarative languages for programming. Over the years I have been at Illinois CS, Maude has connected to a number of different application areas.” Meseguer said. “More importantly, I don’t work with Maude – or in other research projects – in an isolated way. Instead, I have enjoyed and prized very much working with colleagues both in the department and around the world.”

Those connections led to several research achievements, which the ACM Fellow recognized as “the development of logical methods for design and verification of computational systems.” Examples that mean the most to Meseguer include:

  • The 2007 publishing of “The rewriting logic semantics project” with fellow Illinois CS professor Grigore Rosu. These two worked together to “bridge the existing gap between language definitions on the one hand, and language implementations and language definitions on the other.” Meseguer said that several substantial applications based off their findings have occurred since, primarily through Rosu’s company Runtime Verification.
  • The Maude-NRL Protocol Analyzer (Maude-NPA), a tool for the analysis of cryptographic protocols using functions that obey different equational theories. This security development analyzes the protocols through which consumers conduct financial transactions online.
  • A 2005 collaboration regarding Denial-of-Service (DoS) attacks with fellow Illinois CS professors Gul Agha and Carl Gunter, among others, resulting in a report titled, “Formal modeling and analysis of DoS using probabilistic rewrite theories.” Together, the authors described “a way to expand term rewriting theories to include probabilistic aspects that can show the effectiveness of DoS countermeasures.” This pioneering work has led to important subsequent design and verification of other novel DoS protection protocols using Maude.
  • The 2007 publication “A Systematic Approach to Uncover Security Flaws in GUI Logic” with former Ph.D. student Ralf Sasse and researchers at Microsoft Research uncovered 13 new types of security vulnerabilities in Internet Explorer (IE) using Maude.  This led to a new version of IE avoiding all these vulnerabilities.
  • The Illinois Browser and Operating System (IBOS), which derived from a published report in 2012 with then Illinois CS professor Samuel T. King, Meseguer, and their respective former PhD students Shuo Tang and Ralf Sasse. The authors acknowledged that “current web browsers are complex, have enormous trusted computing bases, and provide attackers with easy access to computer systems.” In response they designed and verified “IBOS: A “Correct-by-Construction Modular Browser.”
  • A 2018 cloud based security project – with fellow Illinois CS professor Indranil Gupta, Meseguer’s former Ph.D. students Si Liu and Stephen Skeirik and others – entitled “Survivability: Design, formal modeling, and validation of cloud storage systems using Maude.” As this group became among the first to delve into cloud-based security, the group proposed “rewriting logic and its accompanying Maude tools as a suitable framework for formally specifying and analyzing both the correctness and the performance of cloud storage systems.”
  • The creation of PALS, (Physically Asynchronous/Logically Synchronous systems) systems with fellow CS professor and Donald B. Gillies Chair in Computer Science Lui Sha and collaborators in the paper “Implementing logical synchrony in integrated modular avionics.” PALS is a “complexity reducing design pattern (that) greatly simplifies the development and verification of fault tolerant distributed applications, ensures optimal system performance, and provides a standard argument for system certification.” PALS solves hard synchronization issues in distributed real-time systems. This work received the IEEE AIAA David Lubkowski Award for Advancement in Digital Avionics, and has been further extended in subsequent research by Meseguer, Sha, and collaborators.

While recognition as ACM Fellow accounts for all these projects and many more, to Meseguer the honor to Meseguer the honor recognizes not just his work, but that of his students and his many collaborators. These partnerships occurred right here at University of Illinois Urbana-Champaign, but also stretched as far as South America, China, Japan, Korea, and many countries in Europe.

“Without the support of collaborators and the Illinois CS department, none of this would’ve been possible,” Meseguer said. “This is much broader than any one individual, and because of that I’ve led a very charmed life. All of the people I’ve worked with share a passion and a love for research that breeds a high level of excellence.

“And the best thing about these people and these collaborations is that they have led to friendships for life.”

Tong continues to find inspiration from, strives to dig deeper into data mining

In his second year with Illinois CS, Hanghang Tong has already established himself as an impactful researcher and teacher focused on data mining.

Hanghang Tong

His colleagues with ACM recognized this as well, recently announcing Tong as a Distinguished Member for 2020.

“Of course, I’m honored to receive this award, but I also think it’s very humbling,” Tong said. “ACM is a distinguished body that represents the best of what we do in Computer Science. But this accomplishment reflects more on the people around me throughout my time in academia.

“It’s also a reflection of how great an institution Illinois CS is, which is primarily due to the people we have here.”

Tong’s track record includes time spent in the industry and in academia, with Arizona State University prior to joining Illinois CS. This positioned Tong as researcher who delves into the algorithms behind graph mining. This, he said, leads to a better understanding of “how to search the graph, detect the communities within it and how to make a prediction or inference.”

Two of the most impactful research topics Tong recalls working on includes graph proximity computing, which he garnered two best paper awards and a test-of-time award for and, more recently, graph connectivity optimization.

“I’m fascinated by the data – especially real data from real applications,” Tong said. “I love to work with the impact of the research in mind, as that pays off with ambitious and productive results in the long term.”

He credited influences like PhD adviser Christos Faloutsos at Central Michigan University and Michael Aiken Chair at Illinois CS, Jiawei Han, for his development in CS research. Faloutsos, Tong said taught him how to do research, how to enjoy the fun of it, while also treating everyone with kindness. Meanwhile, he came to revere Han before coming to the United States to pursue his PhD. Tong said he read Han’s classic textbook, which helped formulate in his mind the direction he wanted his career to go and has been inspiring him ever since then.

“I feel quite grateful to a great many number of folks,” Tong said. “Some of them are here at Illinois CS, some I’ve worked with before. This includes advisors, mentors, collaborators and students, all of whom I have drawn encouragement and inspiration from along the way.”


Source: UNIVERSITY OF ILLINOIS URBANA-CHAMPAIGN

Subscribe to HPCwire's Weekly Update!

Be the most informed person in the room! Stay ahead of the tech trends with industry updates delivered to you every week!

MLPerf Inference 4.0 Results Showcase GenAI; Nvidia Still Dominates

March 28, 2024

There were no startling surprises in the latest MLPerf Inference benchmark (4.0) results released yesterday. Two new workloads — Llama 2 and Stable Diffusion XL — were added to the benchmark suite as MLPerf continues Read more…

Q&A with Nvidia’s Chief of DGX Systems on the DGX-GB200 Rack-scale System

March 27, 2024

Pictures of Nvidia's new flagship mega-server, the DGX GB200, on the GTC show floor got favorable reactions on social media for the sheer amount of computing power it brings to artificial intelligence.  Nvidia's DGX Read more…

Call for Participation in Workshop on Potential NSF CISE Quantum Initiative

March 26, 2024

Editor’s Note: Next month there will be a workshop to discuss what a quantum initiative led by NSF’s Computer, Information Science and Engineering (CISE) directorate could entail. The details are posted below in a Ca Read more…

Waseda U. Researchers Reports New Quantum Algorithm for Speeding Optimization

March 25, 2024

Optimization problems cover a wide range of applications and are often cited as good candidates for quantum computing. However, the execution time for constrained combinatorial optimization applications on quantum device Read more…

NVLink: Faster Interconnects and Switches to Help Relieve Data Bottlenecks

March 25, 2024

Nvidia’s new Blackwell architecture may have stolen the show this week at the GPU Technology Conference in San Jose, California. But an emerging bottleneck at the network layer threatens to make bigger and brawnier pro Read more…

Who is David Blackwell?

March 22, 2024

During GTC24, co-founder and president of NVIDIA Jensen Huang unveiled the Blackwell GPU. This GPU itself is heavily optimized for AI work, boasting 192GB of HBM3E memory as well as the the ability to train 1 trillion pa Read more…

MLPerf Inference 4.0 Results Showcase GenAI; Nvidia Still Dominates

March 28, 2024

There were no startling surprises in the latest MLPerf Inference benchmark (4.0) results released yesterday. Two new workloads — Llama 2 and Stable Diffusion Read more…

Q&A with Nvidia’s Chief of DGX Systems on the DGX-GB200 Rack-scale System

March 27, 2024

Pictures of Nvidia's new flagship mega-server, the DGX GB200, on the GTC show floor got favorable reactions on social media for the sheer amount of computing po Read more…

NVLink: Faster Interconnects and Switches to Help Relieve Data Bottlenecks

March 25, 2024

Nvidia’s new Blackwell architecture may have stolen the show this week at the GPU Technology Conference in San Jose, California. But an emerging bottleneck at Read more…

Who is David Blackwell?

March 22, 2024

During GTC24, co-founder and president of NVIDIA Jensen Huang unveiled the Blackwell GPU. This GPU itself is heavily optimized for AI work, boasting 192GB of HB Read more…

Nvidia Looks to Accelerate GenAI Adoption with NIM

March 19, 2024

Today at the GPU Technology Conference, Nvidia launched a new offering aimed at helping customers quickly deploy their generative AI applications in a secure, s Read more…

The Generative AI Future Is Now, Nvidia’s Huang Says

March 19, 2024

We are in the early days of a transformative shift in how business gets done thanks to the advent of generative AI, according to Nvidia CEO and cofounder Jensen Read more…

Nvidia’s New Blackwell GPU Can Train AI Models with Trillions of Parameters

March 18, 2024

Nvidia's latest and fastest GPU, codenamed Blackwell, is here and will underpin the company's AI plans this year. The chip offers performance improvements from Read more…

Nvidia Showcases Quantum Cloud, Expanding Quantum Portfolio at GTC24

March 18, 2024

Nvidia’s barrage of quantum news at GTC24 this week includes new products, signature collaborations, and a new Nvidia Quantum Cloud for quantum developers. Wh Read more…

Alibaba Shuts Down its Quantum Computing Effort

November 30, 2023

In case you missed it, China’s e-commerce giant Alibaba has shut down its quantum computing research effort. It’s not entirely clear what drove the change. Read more…

Nvidia H100: Are 550,000 GPUs Enough for This Year?

August 17, 2023

The GPU Squeeze continues to place a premium on Nvidia H100 GPUs. In a recent Financial Times article, Nvidia reports that it expects to ship 550,000 of its lat Read more…

Shutterstock 1285747942

AMD’s Horsepower-packed MI300X GPU Beats Nvidia’s Upcoming H200

December 7, 2023

AMD and Nvidia are locked in an AI performance battle – much like the gaming GPU performance clash the companies have waged for decades. AMD has claimed it Read more…

DoD Takes a Long View of Quantum Computing

December 19, 2023

Given the large sums tied to expensive weapon systems – think $100-million-plus per F-35 fighter – it’s easy to forget the U.S. Department of Defense is a Read more…

Synopsys Eats Ansys: Does HPC Get Indigestion?

February 8, 2024

Recently, it was announced that Synopsys is buying HPC tool developer Ansys. Started in Pittsburgh, Pa., in 1970 as Swanson Analysis Systems, Inc. (SASI) by John Swanson (and eventually renamed), Ansys serves the CAE (Computer Aided Engineering)/multiphysics engineering simulation market. Read more…

Choosing the Right GPU for LLM Inference and Training

December 11, 2023

Accelerating the training and inference processes of deep learning models is crucial for unleashing their true potential and NVIDIA GPUs have emerged as a game- Read more…

Intel’s Server and PC Chip Development Will Blur After 2025

January 15, 2024

Intel's dealing with much more than chip rivals breathing down its neck; it is simultaneously integrating a bevy of new technologies such as chiplets, artificia Read more…

Baidu Exits Quantum, Closely Following Alibaba’s Earlier Move

January 5, 2024

Reuters reported this week that Baidu, China’s giant e-commerce and services provider, is exiting the quantum computing development arena. Reuters reported � Read more…

Leading Solution Providers

Contributors

Comparing NVIDIA A100 and NVIDIA L40S: Which GPU is Ideal for AI and Graphics-Intensive Workloads?

October 30, 2023

With long lead times for the NVIDIA H100 and A100 GPUs, many organizations are looking at the new NVIDIA L40S GPU, which it’s a new GPU optimized for AI and g Read more…

Shutterstock 1179408610

Google Addresses the Mysteries of Its Hypercomputer 

December 28, 2023

When Google launched its Hypercomputer earlier this month (December 2023), the first reaction was, "Say what?" It turns out that the Hypercomputer is Google's t Read more…

AMD MI3000A

How AMD May Get Across the CUDA Moat

October 5, 2023

When discussing GenAI, the term "GPU" almost always enters the conversation and the topic often moves toward performance and access. Interestingly, the word "GPU" is assumed to mean "Nvidia" products. (As an aside, the popular Nvidia hardware used in GenAI are not technically... Read more…

Shutterstock 1606064203

Meta’s Zuckerberg Puts Its AI Future in the Hands of 600,000 GPUs

January 25, 2024

In under two minutes, Meta's CEO, Mark Zuckerberg, laid out the company's AI plans, which included a plan to build an artificial intelligence system with the eq Read more…

Google Introduces ‘Hypercomputer’ to Its AI Infrastructure

December 11, 2023

Google ran out of monikers to describe its new AI system released on December 7. Supercomputer perhaps wasn't an apt description, so it settled on Hypercomputer Read more…

China Is All In on a RISC-V Future

January 8, 2024

The state of RISC-V in China was discussed in a recent report released by the Jamestown Foundation, a Washington, D.C.-based think tank. The report, entitled "E Read more…

Intel Won’t Have a Xeon Max Chip with New Emerald Rapids CPU

December 14, 2023

As expected, Intel officially announced its 5th generation Xeon server chips codenamed Emerald Rapids at an event in New York City, where the focus was really o Read more…

IBM Quantum Summit: Two New QPUs, Upgraded Qiskit, 10-year Roadmap and More

December 4, 2023

IBM kicks off its annual Quantum Summit today and will announce a broad range of advances including its much-anticipated 1121-qubit Condor QPU, a smaller 133-qu Read more…

  • arrow
  • Click Here for More Headlines
  • arrow
HPCwire