I summarize my first three years of research as an assistant professor on studying and building tools to support people who are learning computer programming.
Software Engineering and Programming Languages
Advertisement
In Memoriam Peter Wegner: 1932-2017
Wegner made significant contributions to the theory of object-oriented programming.
The Scalable Commutativity Rule: Designing Scalable Software For Multicore Processors
This paper introduces an interface-driven approach to building scalable software.
Turing’s Pre-War Analog Computers: The Fatherhood of the Modern Computer Revisited
Turing's machines of 1936 were a purely mathematical notion, not an exploration of possible blueprints for physical calculators.
Data Science: Challenges and Directions
While it may not be possible to build a data brain identical to a human, data science can still aspire to imaginative machine thinking.
Mathematics solves problems by pen and paper. CS helps us to go far beyond that.
Technical Perspective: Unexpected Connections
The inherent scalability of an interface is the focus of "The Scalable Commutativity Rule" by Austin T. Clements, et al.
Cracking the Code on DNA Storage
Researchers are tapping DNA to create a new and different type of storage media. The technology could prove revolutionary.
Reimagining the Avatar Dream: Modeling Social Identity in Digital Media
Explore the limits of using the computer to imagine yourself as whomever or whatever you want to be.
Research For Practice: Tracing and Debugging Distributed Systems; Programming By Examples
Expert-curated guides to the best of CS research.
Ironfleet: Proving Safety and Liveness of Practical Distributed Systems
We demonstrate the methodology on a complex implementation of a Paxos-based replicated state machine library and a lease-based sharded key-value store. With our methodology and lessons learned, we aim to raise the standard for distributed systems from "tested" to "correct."
Technical Perspective: Ironfleet Simplifies Proving Safety and Liveness Properties
"IronFleet: Proving Safety and Liveness of Practical Distributed Systems," by Chris Hawblitzel, et al., describes mechanically checked proofs for two non-trivial distributed services: A Paxos-based library to support replication and a shared key-value store.
Inference and Auction Design in Online Advertising
Econometrics is a key component to gauging user satisfaction and advertisers' profits.
The abstraction from big data on English words of distributed vector representations computing simple semantic aspects has drawn interest from the computing community.
The Soft Side of Quantum Computing
Future quantum computers will need software tailored to their specific ways of operating.
Sir Tim Berners-Lee created a paradigm shift that changed the world with his invention of the World Wide Web, Hypertext Transport Protocol, and Hypertext Markup Language.
The Scion Internet Architecture
Adhering to the end-to-end principle even more than the current Internet yields highly available point-to-point communication.
Sir Tim Berners-Lee on the formative years of the world wide web, and the challenges it now faces.
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