XRDS

Crossroads The ACM Magazine for Students

Sign In

Association for Computing Machinery

Magazine: Features
Profile Armando Solar-Lezama
Programming machines to program bits

Profile Armando Solar-Lezama
Programming machines to program bits

By ,

Full text also available in the ACM Digital Library as PDF | HTML | Digital Edition

Tags: Management of computing and information systems

Error 526 Ray ID: 5189030c0c54e744 • 2019-09-19 05:03:13 UTC

Invalid SSL certificate

You

Browser

Working
Newark

Cloudflare

Working
deliverybot.acm.org

Host

Error

What happened?

The origin web server does not have a valid SSL certificate.

What can I do?

If you're a visitor of this website:

Please try again in a few minutes.

If you're the owner of this website:

The SSL certificate presented by the server did not pass validation. This could indicate an expired SSL certificate or a certificate that does not include the requested domain name. Please contact your hosting provider to ensure that an up-to-date and valid SSL certificate issued by a Certificate Authority is configured for this domain name on the origin server. Additional troubleshooting information here.

Comments

There are no comments at this time.

 

To comment you must create or log in with your ACM account.

Pointers

ACM Journal on Educational Resources in Computing (JERIC)

JERIC is an electronic publication providing access to high quality, archival resources suitable for use in support of computing education
http://jeric.acm.org

ACM Special Interest Group on Ada Programming Language

Forum on all aspects of the Ada language and technologies
http://www.sigada.org/

ACM Special Interest Group on Programming Languages

Explores programming language concepts and tools focusing on design, implementation, and efficient use
http://www.sigplan.org/

ACM Transactions on Algorithms (TALG)

TALG publishes original research of the highest quality dealing with algorithms that are inherently discrete and finite, and having mathematical content in a natural way
http://talg.acm.org

ACM Transactions on Programming Languages and Systems (TOPLAS)

The purpose of TOPLAS is to present research results on all aspects of the design, definition, implementation, and use of programming languages and programming systems
http://userweb.cs.utexas.edu/~toplas

ACM Transactions on the Web (TWEB)

TWEB is a journal publishing refereed articles reporting the results of research on Web content, applications, use, and related enabling technologies
http://tweb.acm.org

Communications of the ACM

ACM's flagship magazine, Communications of the ACM, is the premier chronicler of computing technologies, covering the latest discoveries, innovations, and research that inspire and influence the field
http://cacm.acm.org

Journal on Emerging Technologies in Computing Systems (JETC)

JETC covers research and development in emerging technologies in computing system
http://jetc.acm.org

Jargon

SVM

Support Vector Machine: a machine learning methodology for classifying data into two categories, based on a round of supervised training