A Perspective on Theoretical Computer Science in Latin America
The Latin American theoretical computer science community has made many noteworthy achievements.
Research and Advances
Advertisement
The Latin American Supercomputing Ecosystem for Science
High-performance computing represents a strategic resource for Latin American researchers to respond to the region's economical and societal challenges.
Digital Healthcare in Latin America: The Case of Brazil and Mexico
Digital Healthcare can help address some of the challenges of the healthcare system in Latin America.
A Tour of Dependable Computing Research in Latin America
A view of dependable computing research in Latin America.
While millions of students worldwide have enjoyed coding experiences over the last decade, the next challenge is spreading educational values and approaches.
Exploring the theoretical and practical aspects of the graph isomorphism problem.
Technical Perspective: BLeak: Semantics-Aware Leak Detection in the Web
What is the right leak oracle that can precisely capture the behavior of leaks in Web applications? "BLeak: Automatically Debugging Memory Leaks in Web Applications," by John Vilk and Emery D. Berger, provides a simple and yet unexpected answer to this question.
Generative Adversarial Networks
In this overview paper, we describe one particular approach to unsupervised learning via generative modeling called generative adversarial networks. We briefly review applications of GANs and identify core research problems related to convergence in games necessary to make GANs a reliable technology.
BLeak: Automatically Debugging Memory Leaks in Web Applications
This paper introduces BLeak (Browser Leak debugger), the first system for automatically debugging memory leaks in web applications.
Technical Perspective: When the Adversary Is Your Friend
The key insight of the "Generative Adversarial Networks," by Ian Goodfellow et al., is to learn a generative model's loss function at the same time as learning the model.
What Do Agile, Lean, and ITIL Mean to DevOps?
The value of learning skillsets within a trio of disciplines and the role each plays in DevOps.
The story of the development of a sound, static method for worst-case execution-time analysis.
Responsible Vulnerability Disclosure in Cryptocurrencies
Software weaknesses in cryptocurrencies create unique challenges in responsible revelations.
A Decade of Social Bot Detection
Bots increasingly tamper with political elections and economic discussions. Tracing trends in detection strategies and key suggestions on how to win the fight.
MadMax: Analyzing the Out-of-Gas World of Smart Contracts
We identify gas-focused vulnerabilities and present MadMax: a static program analysis technique that automatically detects gas-focused vulnerabilities with very high confidence.
Technical Perspective: Two for the Price of One
"Lower Bounds for External Memory Integer Sorting via Network Coding" proves a remarkable connection between how efficiently computers can perform sorting and transmitting.
Lower Bounds for External Memory Integer Sorting via Network Coding
In this paper, we present a tight conditional lower bound on the complexity of external memory sorting of integers.
Technical Perspective: Analyzing Smart Contracts with MadMax
"MadMax: Analyzing the Out-of-Gas World of Smart Contracts," by Neville Grech et al., effectively discovers a new smart contract vulnerability, and proposes a detection approach based on a static analysis.
Investigating student knowledge transfer and metacognitive activities at college CS departments and at coding bootcamps.
Improving Social Alignment During Digital Transformation
Exploring what leaders can do to improve and sustain social alignment over time.
Keeping CALM: When Distributed Consistency Is Easy
In distributed systems theory, CALM presents a result that delineates the frontier of the possible.
Computing Value of Spatiotemporal Information
We investigate the intrinsic value of location data in the context of strong privacy, where location information is only available from end users via purchase.
Technical Perspective: Progress in Spatial Computing for Flood Prediction
There are few algorithms for multi-flow graphs beyond flow accumulation. The authors of "Flood-Risk Analysis on Terrains" take a big step to fill this knowledge gap.
Flood-Risk Analysis on Terrains
In this paper, we study a number of flood-risk related problems, give an overview of efficient algorithms for them, as well as explore the efficacy and efficiency of these algorithms on real terrains.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More