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

Connection Failure


There are no comments at this time.


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


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

ACM Special Interest Group on Ada Programming Language

Forum on all aspects of the Ada language and technologies

ACM Special Interest Group on Programming Languages

Explores programming language concepts and tools focusing on design, implementation, and efficient use

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

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

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

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

Journal on Emerging Technologies in Computing Systems (JETC)

JETC covers research and development in emerging technologies in computing system



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