Sign In

Communications of the ACM



Computing: Art, Magic, Science
From [email protected]

Computing: Art, Magic, Science

A new EdX MOOC emphasizes abstractions, Design by Contract and software quality.

Typing Without Typing
From [email protected]

Typing Without Typing

Type inference made practical for an object-oriented/functional programming language.

The Good, the Hype and the Ugly
From [email protected]

The Good, the Hype and the Ugly

One of the most dazzling changes to the software development world in the past decade has been the spread of agile methods.

Run-Time Assertions: What Are You Waiting For?
From [email protected]

Run-Time Assertions: What Are You Waiting For?

Would Design by Contract have avoided Heartbleed?

Those Who Say Code Does Not Matter
From [email protected]

Those Who Say Code Does Not Matter

Often, you will be told programming languages do not matter much. It is a pretty general rule that people arguing language does not matter are simply trying...

Towards Empirical Answers to the Core Problems of Software Engineering
From [email protected]

Towards Empirical Answers to the Core Problems of Software Engineering

Can empirical research give us an answer to the big problems?

Computer Science: Catch Them Early
From [email protected]

Computer Science: Catch Them Early

Informatics education for primary and secondary schools

Apocalypse No! (part 2)
From [email protected]

Apocalypse No! (part 2)

Catastrophism and reliance on dubious studies have no place in serious discussions of software engineering.

Apocalypse No! (part 1)
From [email protected]

Apocalypse No! (part 1)

The state of software is soooooo terrible!

Doing It Right or Doing It Over?
From [email protected]

Doing It Right or Doing It Over?

Not everyone hits on America, who for India sets sail.

The Waves of Publication
From [email protected]

The Waves of Publication

The traditional role of publication-as-process is gone. What remains?

Software Engineering in the Venice of the North
From [email protected]

Software Engineering in the Venice of the North

ESEC-FSE 2013 (in Saint Petersburg,, 18-26 August) is the place to be for software engineering in 2013.

Conferences: Publication, Communication, Sanction
From [email protected]

Conferences: Publication, Communication, Sanction

Conferences have three roles; these roles should be separated.

A Fundamental Duality of Software Engineering
From [email protected]

A Fundamental Duality of Software Engineering

What is the value of that function for x = 6?

From [email protected]

John Mccarthy

The contributions and personality of John McCarthy, one of the pioneers of computer science.

The Modes and Uses of Scientific Publication
From [email protected]

The Modes and Uses of Scientific Publication

Publication is about helping the advancement of humankind. Let us take this basis for granted and look at the other, possibly less glamorous aspects. Publication...

The Nastiness Problem in Computer Science
From [email protected]

The Nastiness Problem in Computer Science

Are we malevolent grumps? Nothing personal, but as a community computer scientists sometimes seem to succumb to negativism.

Long Live Incremental Research!
From [email protected]

Long Live Incremental Research!

“Break through!” clamor the funding agencies, which scorn “incremental” research. Sure, every human being needs hype; in truth, though, almost all research—good...

Software Verification Turns Mainstream
From [email protected]

Software Verification Turns Mainstream

Verification is maturing to the point where it will become integrated into mainstream software development.

What 'beginning' Students Already Know: The Evidence
From [email protected]

What 'beginning' Students Already Know: The Evidence

Detailed data collection at ETH Zurich over eight years shows what entering computer science students already know in computer usage and programming.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account