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

Thank you for your interest in this article. This content is protected. You may log in with your ACM account or subscribe to access the full text.

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