Magazine: Features
Profile Armando Solar-Lezama
Programming machines to program bits
Profile Armando Solar-Lezama
Programming machines to program bits
Full text also available in the ACM Digital Library as PDF | HTML | Digital Edition
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
JERIC is an electronic publication providing access to high quality, archival resources suitable for use in support of computing education
http://jeric.acm.org
Forum on all aspects of the Ada language and technologies
http://www.sigada.org/
Explores programming language concepts and tools focusing on design, implementation, and efficient use
http://www.sigplan.org/
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
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
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
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
JETC covers research and development in emerging technologies in computing system
http://jetc.acm.org
Jargon
Support Vector Machine: a machine learning methodology for classifying data into two categories, based on a round of supervised training