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 industy updates delivered to you every week!

Intel Reorgs HPC Group, Creates Two ‘Super Compute’ Groups

October 15, 2021

Following on changes made in June that moved Intel’s HPC unit out of the Data Platform Group and into the newly created Accelerated Computing Systems and Graphics (AXG) business unit, led by Raja Koduri, Intel is making further updates to the HPC group and announcing... Read more…

Royalty-free stock illustration ID: 1938746143

MosaicML, Led by Naveen Rao, Comes Out of Stealth Aiming to Ease Model Training

October 15, 2021

With more and more enterprises turning to AI for a myriad of tasks, companies quickly find out that training AI models is expensive, difficult and time-consuming. Finding a new approach to deal with those cascading challenges is the aim of a new startup, MosaicML, that just came out of stealth... Read more…

NSF Awards $11M to SDSC, MIT and Univ. of Oregon to Secure the Internet

October 14, 2021

From a security standpoint, the internet is a problem. The infrastructure developed decades ago has cracked, leaked and been patched up innumerable times, leaving vulnerabilities that are difficult to address due to cost Read more…

SC21 Announces Science and Beyond Plenary: the Intersection of Ethics and HPC

October 13, 2021

The Intersection of Ethics and HPC will be the guiding topic of SC21's Science & Beyond plenary, inspired by the event tagline of the same name. The evening event will be moderated by Daniel Reed with panelists Crist Read more…

Quantum Workforce – NSTC Report Highlights Need for International Talent

October 13, 2021

Attracting and training the needed quantum workforce to fuel the ongoing quantum information sciences (QIS) revolution is a hot topic these days. Last week, the U.S. National Science and Technology Council issued a report – The Role of International Talent in Quantum Information Science... Read more…

AWS Solution Channel

Cost optimizing Ansys LS-Dyna on AWS

Organizations migrate their high performance computing (HPC) workloads from on-premises infrastructure to Amazon Web Services (AWS) for advantages such as high availability, elastic capacity, latest processors, storage, and networking technologies; Read more…

Eni Returns to HPE for ‘HPC4’ Refresh via GreenLake

October 13, 2021

Italian energy company Eni is upgrading its HPC4 system with new gear from HPE that will be installed in Eni’s Green Data Center in Ferrera Erbognone (a province in Pavia, Italy), and delivered “as-a-service” via H Read more…

Intel Reorgs HPC Group, Creates Two ‘Super Compute’ Groups

October 15, 2021

Following on changes made in June that moved Intel’s HPC unit out of the Data Platform Group and into the newly created Accelerated Computing Systems and Graphics (AXG) business unit, led by Raja Koduri, Intel is making further updates to the HPC group and announcing... Read more…

Royalty-free stock illustration ID: 1938746143

MosaicML, Led by Naveen Rao, Comes Out of Stealth Aiming to Ease Model Training

October 15, 2021

With more and more enterprises turning to AI for a myriad of tasks, companies quickly find out that training AI models is expensive, difficult and time-consuming. Finding a new approach to deal with those cascading challenges is the aim of a new startup, MosaicML, that just came out of stealth... Read more…

Quantum Workforce – NSTC Report Highlights Need for International Talent

October 13, 2021

Attracting and training the needed quantum workforce to fuel the ongoing quantum information sciences (QIS) revolution is a hot topic these days. Last week, the U.S. National Science and Technology Council issued a report – The Role of International Talent in Quantum Information Science... Read more…

Eni Returns to HPE for ‘HPC4’ Refresh via GreenLake

October 13, 2021

Italian energy company Eni is upgrading its HPC4 system with new gear from HPE that will be installed in Eni’s Green Data Center in Ferrera Erbognone (a provi Read more…

The Blueprint for the National Strategic Computing Reserve

October 12, 2021

Over the last year, the HPC community has been buzzing with the possibility of a National Strategic Computing Reserve (NSCR). An in-utero brainchild of the COVID-19 High-Performance Computing Consortium, an NSCR would serve as a Merchant Marine for urgent computing... Read more…

UCLA Researchers Report Largest Chiplet Design and Early Prototyping

October 12, 2021

What’s the best path forward for large-scale chip/system integration? Good question. Cerebras has set a high bar with its wafer scale engine 2 (WSE-2); it has 2.6 trillion transistors, including 850,000 cores, and was fabricated using TSMC’s 7nm process on a roughly 8” x 8” silicon footprint. Read more…

What’s Next for EuroHPC: an Interview with EuroHPC Exec. Dir. Anders Dam Jensen

October 7, 2021

One year after taking the post as executive director of the EuroHPC JU, Anders Dam Jensen reviews the project's accomplishments and details what's ahead as EuroHPC's operating period has now been extended out to the year 2027. Read more…

University of Bath Unveils Janus, an Azure-Based Cloud HPC Environment

October 6, 2021

The University of Bath is upgrading its HPC infrastructure, which it says “supports a growing and wide range of research activities across the University.” Read more…

Ahead of ‘Dojo,’ Tesla Reveals Its Massive Precursor Supercomputer

June 22, 2021

In spring 2019, Tesla made cryptic reference to a project called Dojo, a “super-powerful training computer” for video data processing. Then, in summer 2020, Tesla CEO Elon Musk tweeted: “Tesla is developing a [neural network] training computer... Read more…

Enter Dojo: Tesla Reveals Design for Modular Supercomputer & D1 Chip

August 20, 2021

Two months ago, Tesla revealed a massive GPU cluster that it said was “roughly the number five supercomputer in the world,” and which was just a precursor to Tesla’s real supercomputing moonshot: the long-rumored, little-detailed Dojo system. Read more…

Esperanto, Silicon in Hand, Champions the Efficiency of Its 1,092-Core RISC-V Chip

August 27, 2021

Esperanto Technologies made waves last December when it announced ET-SoC-1, a new RISC-V-based chip aimed at machine learning that packed nearly 1,100 cores onto a package small enough to fit six times over on a single PCIe card. Now, Esperanto is back, silicon in-hand and taking aim... Read more…

CentOS Replacement Rocky Linux Is Now in GA and Under Independent Control

June 21, 2021

The Rocky Enterprise Software Foundation (RESF) is announcing the general availability of Rocky Linux, release 8.4, designed as a drop-in replacement for the soon-to-be discontinued CentOS. The GA release is launching six-and-a-half months... Read more…

US Closes in on Exascale: Frontier Installation Is Underway

September 29, 2021

At the Advanced Scientific Computing Advisory Committee (ASCAC) meeting, held by Zoom this week (Sept. 29-30), it was revealed that the Frontier supercomputer is currently being installed at Oak Ridge National Laboratory in Oak Ridge, Tenn. The staff at the Oak Ridge Leadership... Read more…

Intel Completes LLVM Adoption; Will End Updates to Classic C/C++ Compilers in Future

August 10, 2021

Intel reported in a blog this week that its adoption of the open source LLVM architecture for Intel’s C/C++ compiler is complete. The transition is part of In Read more…

Hot Chips: Here Come the DPUs and IPUs from Arm, Nvidia and Intel

August 25, 2021

The emergence of data processing units (DPU) and infrastructure processing units (IPU) as potentially important pieces in cloud and datacenter architectures was Read more…

AMD-Xilinx Deal Gains UK, EU Approvals — China’s Decision Still Pending

July 1, 2021

AMD’s planned acquisition of FPGA maker Xilinx is now in the hands of Chinese regulators after needed antitrust approvals for the $35 billion deal were receiv Read more…

Leading Solution Providers

Contributors

HPE Wins $2B GreenLake HPC-as-a-Service Deal with NSA

September 1, 2021

In the heated, oft-contentious, government IT space, HPE has won a massive $2 billion contract to provide HPC and AI services to the United States’ National Security Agency (NSA). Following on the heels of the now-canceled $10 billion JEDI contract (reissued as JWCC) and a $10 billion... Read more…

Julia Update: Adoption Keeps Climbing; Is It a Python Challenger?

January 13, 2021

The rapid adoption of Julia, the open source, high level programing language with roots at MIT, shows no sign of slowing according to data from Julialang.org. I Read more…

10nm, 7nm, 5nm…. Should the Chip Nanometer Metric Be Replaced?

June 1, 2020

The biggest cool factor in server chips is the nanometer. AMD beating Intel to a CPU built on a 7nm process node* – with 5nm and 3nm on the way – has been i Read more…

Quantum Roundup: IBM, Rigetti, Phasecraft, Oxford QC, China, and More

July 13, 2021

IBM yesterday announced a proof for a quantum ML algorithm. A week ago, it unveiled a new topology for its quantum processors. Last Friday, the Technical Univer Read more…

The Latest MLPerf Inference Results: Nvidia GPUs Hold Sway but Here Come CPUs and Intel

September 22, 2021

The latest round of MLPerf inference benchmark (v 1.1) results was released today and Nvidia again dominated, sweeping the top spots in the closed (apples-to-ap Read more…

Frontier to Meet 20MW Exascale Power Target Set by DARPA in 2008

July 14, 2021

After more than a decade of planning, the United States’ first exascale computer, Frontier, is set to arrive at Oak Ridge National Laboratory (ORNL) later this year. Crossing this “1,000x” horizon required overcoming four major challenges: power demand, reliability, extreme parallelism and data movement. Read more…

Intel Unveils New Node Names; Sapphire Rapids Is Now an ‘Intel 7’ CPU

July 27, 2021

What's a preeminent chip company to do when its process node technology lags the competition by (roughly) one generation, but outmoded naming conventions make i Read more…

Intel Launches 10nm ‘Ice Lake’ Datacenter CPU with Up to 40 Cores

April 6, 2021

The wait is over. Today Intel officially launched its 10nm datacenter CPU, the third-generation Intel Xeon Scalable processor, codenamed Ice Lake. With up to 40 Read more…

  • arrow
  • Click Here for More Headlines
  • arrow
HPCwire