Software Engineering and Programming Languages Archives - Page 32 of 283

Research and Advances Feb 1 2019

Scalable Computation of High-Order Optimization Queries

We present a complete system that supports package queries, a new query model that extends traditional database queries to handle complex constraints and preferences over answer sets, allowing the declarative specification and efficient evaluation of a significant class of constrained optimization problems—ILP—within a database.

Matteo Brucato, Azza Abouzied, and Alexandra Meliou

Opinion Feb 1 2019

Hawking’s Nightmare

Stephen Hawking warned us not to contact E.T.

David Allen Batchelor

BLOG@CACM Jan 31 2019

What Is a Variable?

A stab at a definition, for outsiders, of what we in computing mean by the term "variable" raises more questions than it answers.

Robin K. Hill

News Jan 8 2019

AI Removes the Drudgery from Legal Due Diligence

Software can review contracts, and more, faster and more accurately than lawyers.

Joe Dysart

Artificial intelligence was better at finding loopholes and other risks in proposed non-disclosure agreements than veteran attornies.

Opinion Jan 1 2019

Open Collaboration in an Age of Distrust

We are manifestly in a new era of international relations—"An Age of Distrust"—where the trend toward increased trade and integration has stalled, if not reversed.

Andrew A. Chien

Opinion Jan 1 2019

Modeling in Engineering and Science

Understanding behavior by building models.

Edward A. Lee

Practice Jan 1 2019

SQL Is No Excuse to Avoid DevOps

Automation and a little discipline allow better testing, shorter release cycles, and reduced business risk.

Thomas A. Limoncelli

Practice Jan 1 2019

Using Remote Cache Service for Bazel

Save time by sharing and reusing build and test output.

Alpha Lam

Using Remote Cache Service for Bazel, illustration

Practice Jan 1 2019

Research for Practice: Security for the Modern Age

Securely running processes that require the entire syscall interface.

Jessie Frazelle

Research and Advances Jan 1 2019

The Church-Turing Thesis: Logical Limit or Breachable Barrier?

In its original form, the Church-Turing thesis concerned computation as Alan Turing and Alonzo Church used the term in 1936—human computation.

B. Jack Copeland and Oron Shagrir

Research and Advances Jan 1 2019

Framework for Implementing a Big Data Ecosystem in Organizations

Featuring the various dimensions of data management, it guides organizations through implementation fundamentals.

Sergio Orenga-Roglá and Ricardo Chalmeta

Research and Advances Jan 1 2019

Autonomous Tools and Design: A Triple-Loop Approach to Human-Machine Learning

In addition to having a detailed understanding of the artifacts they intend to create, designers need to guide the software tools they use.

News Dec 27 2018

As Air Taxis Arrive, Software Issues Arise

Urban 'flying car' technology is almost here, but with proponents haunted by a 1977 helicopter crash, getting safety right is the top priority.

Paul Marks

The Volocopter urban air taxi is being prepared for a trial in Singapore late next year.

News Dec 4 2018

The Drive Toward Self-Driving Food Delivery Vehicles

Are pizza delivery guys destined to be so 20th century?

Joe Dysart