Harnessing automated program synthesis allows non-programmers to create working code
Nobody said computer programming was easy. But maybe in the future, it could be.
In order to simplify program development, a National Science Foundation (NSF)-supported project called Expeditions in Computer Augmented Program Engineering (ExCAPE), is developing technology that provides human operators with automated assistance.
“Computers have revolutionized our daily lives, and yet the way we program computers has changed little in the last several decades,” said Rajeev Alur, a professor in the department of computer and information science at the University of Pennsylvania.
Alur heads a team of researchers — representing nine leading computer science programs in the U.S. — that collaborates on the ExCAPE project. NSF supports ExCAPE with a $10 million, five-year Expeditions in Computing award, which funds interdisciplinary research teams working to transform computing and technology.
Alur said the team is taking on a longstanding problem: “Software development remains a tedious and error-prone activity.”
Using a model of programming called automated program synthesis, however, computers can generate pieces of code based on a user’s intent, expressed using various non-code-based forms, such as examples, demonstrations or natural language commands.
“ExCAPE aims to change programming from a purely manual task to one in which a programmer and an automated program synthesis tool can collaborate to generate software that meets its specification,” Alur said.
By removing the need for would-be programmers to learn esoteric programming languages, the method has the potential to significantly expand the number of people engaged in programming in a variety of disciplines, from personalized education to robotics.
Emerging technology known as Software-Defined Networks (SDN) allows network operators to tailor a computer network to the traffic running on it, thereby improving efficiency. Most network operators, however, are not traditional programmers and, as a result, cannot take full advantage of all the technology offers.
To address this shortcoming, the ExCAPE team developed a tool called NetEgg that lets a network operator specify the desired functionality of a switch using examples. NetEgg then automatically generates the code needed to implement that behavior while ensuring maximal throughput for network traffic.
Now patented, NetEgg has already been tested in a classroom setting and forms the basis of an NSF I-Corps project, which will explore the product’s transition to commercial deployment.
Computer-aided education and beyond
Looking at the growing area of online learning, the ExCAPE team further recognized the role that program synthesis tools could play in generating automatic feedback for students — analyzing their solutions, grading their assignments, and providing meaningful explanations of their mistakes.
That’s why the team created Automata Tutor, which has been used by more than 5,000 students from more than 10 universities around the world. Alur and his colleagues presented the results from the early deployment of Automata Tutor in ACM Transactions on Computer-Human Interaction and at theInternational Joint Conference on Artificial Intelligence.
The group has created other tools, including AutoProf, which provides feedback on introductory programming assignments in computer languages, such as Python. Another tool, CPSgrader, automatically grades laboratory courses in cyber-physical systems and provides feedback.
More broadly, the ExCAPE team was able to develop a method that formalized and standardized the core computational problem in emerging synthesis tools. Called Syntax-Guided Synthesis, the new method has allowed the team to build a number of prototype solvers over the past two years.
“This effort has been instrumental in advancing the state-of-the-art in computational approaches, and it has facilitated novel applications of program synthesis, for instance, in automatic optimization of programs for quantum computers,” Alur said.
The ExCAPE team’s research has affected the commercial software world, too. Its notion of syntax-guided synthesis inspired Microsoft to create automated program synthesizers for its suite of software.
“At Microsoft, we have invested significantly in the field of program synthesis, especially programming-by-examples, and with applications to end-user programming,” said Sumit Gulwani, of Microsoft Research, USA.
Microsoft started out by developing domain-specific synthesizers such as FlashFill and FlashExtract, each of which uses examples to generate custom code that improves efficiency. FlashFill, which was released as a feature of Microsoft’s Excel 2013, allows data entered into one column of a worksheet table to be entered in a new table column using only a few keystrokes. FlashExtract, which was included in Microsoft’s PowerShell and Operations Management Suite, extracts structured data from semi-structured log files using examples.
The technology giant has also developed a generic programming-by-example synthesizer called FlashMeta.
“All of our ongoing development of by-example synthesizers at Microsoft for various domains is now being carried out over the FlashMeta framework,” Gulwani said. “In fact, we have set up an entire research and engineering team for development of this framework, called PROSE. This has yielded one order of magnitude effectiveness in the overall development process.”
In years to come, the process of using coding languages for programming may be seen as an evolutionary step in computing, just as other methods replaced the punch cards and assembly languages used to program early computers.
“This project builds on decades of foundational advances in formal methods and programming languages,” says Nina Amla, program director in the Division of Computing and Communication Foundations at NSF. “It signals a paradigm shift in the way we teach basic programming principles, and develop reliable software systems.”
Learn more: Computer programming made easier
From the kitchen to the metro, new robotic systems designed to assist the elderly, people with disabilities
Many new robots look less like the metal humanoids of pop culture and more like high-tech extensions of ourselves and our capabilities.
In the same way eyeglasses, wheelchairs, pacemakers and other items enable people to see and move more easily in the world, so will many cutting-edge robotic systems. Their aim is to help people be better, stronger and faster. Further, due to recent advances, most are far less expensive than the Six Million Dollar Man.
Greater access to assistive technologies is critical as the median age of the U.S. population rises. Already, there is an enormous need for such tools.
“The number of people with partial impairments is very large and continues to grow,” says Conor Walsh, a roboticist at Harvard University who is developing soft robotics technologies. “For example, these include people who are aging or have suffered a stroke. Overall, about 10 percent of individuals living in the U.S. have difficulty walking. That’s a tremendous problem when you think about it.”
Walsh and other researchers funded by the National Science Foundation (NSF) are working in labs across the country to ensure these technologies not only exist, but are reliable, durable, comfortable and personalized to users.
The National Science Foundation (NSF) is a United States government agency that supports fundamental research and education in all the non-medical fields of science and engineering.
Its medical counterpart is the National Institutes of Health. With an annual budget of about US$7.0 billion (fiscal year 2012), the NSF funds approximately 20% of all federally supported basic research conducted by the United States’ colleges and universities. In some fields, such as mathematics, computer science, economics and the social sciences, the NSF is the major source of federal backing.
The NSF’s director, deputy director, and the 24 members of the National Science Board (NSB) are appointed by the President of the United States, and confirmed by the United States Senate. The director and deputy director are responsible for administration, planning, budgeting and day-to-day operations of the foundation, while the NSB meets six times a year to establish its overall policies.
The Latest Updated Research News:
National Science Foundation (NSF) research articles from Innovation Toronto
- Crowd-augmented cognition – May 13, 2016
- Theoretical computer science provides answers to data privacy problem – October 10, 2015
- Excessive regulations turning scientists into bureaucrats | excessive scientific regulation – May 3, 2014
- US lead in science and technology shrinking
- Ballistic Transport in Graphene Suggests New Type of Electronic Device
- Human Arm Sensors Make Robot Smarter | robots
- Renewable chemical ready for biofuels scale-up | biofuel
- New Patent Mapping System Helps Find Innovation Pathways
- Innovative soft robotics technology spawns new products
- Joint Israeli-U.S. research points way to more effective anti-depressants
- Graphene-Based Nano-Antennas May Enable Networks of Tiny Machines
- Harvesting Electricity: Triboelectric Generators Capture Wasted Power
- Too Few Girls and Minorities Study Tech Subjects
- Amazon Drones: The Latest Weapon in Combatting Climate Change
- Hashtag Health
- Accidental discovery dramatically improves conductivity
- 8 Apps That Turn Citizens into Scientists
- Iowa State, Ames Lab engineers develop real-time, 3-D teleconferencing technology
- From slowdown to shutdown — US leadership in biomedical research takes a blow, says ASCB
- Building disaster-relief phone apps on the fly
- S&T professor develops ‘brain’ for robots
- Researchers Seek to Control Prosthetic Legs with Neural Signals
- A BOLD Idea for Big Data
- Online citizen scientists: Classify plankton images
- NASA Rover Prototype Set To Explore Greenland Ice Sheet
- Interlocking segments might be 3-D printed, assembled into parts
- Wireless Network Detects Falls by the Elderly
- UF scientists encounter holes in tree of life, push for better data storage
- Global Sea Level Rise Dampened by Australia Floods
- CU-Boulder team develops new water splitting technique that could produce hydrogen fuel
- Novel Technology Seen as New, More Accurate Way to Diagnose and Treat Autism
- New app puts idle smartphones to work for science
- Revolutionary Instrument Delivers a Sharper Universe to Astronomers
- Power, transport implications: WSU researchers create superconductor from solvent
- University Hospitals Eye Institute to offer ‘first bionic eye’ retinal chip for blind
- FTC Wants You in Control of Your Data
- Filmmaking Magic With Polymers
- Carnegie Mellon Method Uses Network of Cameras to Track People in Complex Indoor Settings
- The next frontier of wireless tech? Your body
- Solar panels as inexpensive as paint?
- Robotic insects make first controlled flight
- Piezoelectric “Taxels” Convert Motion to Electronic Signals for Tactile Imaging
- Engaging Online Crowds in the Classroom Could Be Important Tool for Teaching Innovation
- Getting 3-D Printing and Next-Generation Manufacturing to the Factory Floor
- Tiny Chiplets: A New Level of Micro Manufacturing
- Personal monitor systems may change healthcare
- UConn Professor’s Patented Technique Key to New Solar Power Technology
- Turning Pine Sap Into “Ever-Green” Plastics
- Widely used nanoparticles enter soybean plants from farm soil
- UT Dallas Project Pushes Boundaries of Virtual Reality
- Novel Materials Shake Ship Scum
- Content Is King: Can Researchers Design an Information-Centric Internet?
- Breakthrough with enormous potential significance for the treatment of serious diseases
- VIDEO: Shape Shifting Invention
- Mr. Spock, Your Holodeck is Ready: SBU Demonstrates Largest Resolution Immersive Visualization Facility Ever Built
- Discovery of a revolutionary type of gel
- Hopping Robots Conserve Energy
- New advance could help soldiers, athletes, others rebound from traumatic brain injuries
- Eco-friendly Optics: Spider Silk’s Hidden Talents Brought to Light for Applications in Biosensors, Lasers, Microchips
- The Seeds That Federal Money Can Plant
- Cooled coal emissions would clean air and lower health and climate-change costs
- UCSB scientists examine effects of manufactured nanoparticles on soybean crops
- Within Reach: Drexel Engineers to Add Arms and Hands to Unmanned Aerial Vehicles
- Strength in Numbers: Citizen Scientists Lending More Helping Hands (and Handhelds) to Help the Pros
- I-Corps: Startups with a difference
- White House Petitioned to Make Research Free to Access
- Crowdfunding for Research Dollars: A Cure for Science’s Ills?
- Nanowire breathalyzer reveals signs of disease
- First-Of-Its-Kind Study Reveals Surprising Ecological Effects of Earthquake and Tsunami
- Nanosponges soak up oil again and again
- US Students Need New Way of Learning Science
- MIT CSAIL Project Could Transform Robotic Design and Production
- NSF Innovation Corps — What America Does Best
- Unconventional geothermal techniques a potential game changer for U.S. energy policy
- ‘Living’ Micro-Robot Could Detect Diseases in Humans
- MU professor’s battery technology holds promise
- Virtual Reality Contact Lenses Could Be Available by 2014
- Open-source project intends to advance robotic surgery
- Breakthrough in Early Cancer Detection
- Magnetic breakthrough may have significant pull
- 1 Percent versus the 99 Percent–A Case for Open Access
- Breakthrough technology enables 3D mapping of rainforests, tree by tree
- A new visualization method makes research more organized and efficient
- Zeroing in on the elusive green LED
- ‘Fishy Lawnmowers’ Help Save Pacific Corals
- Government Aims to Build a ‘Data Eye in the Sky’
- Robotic fish test the waters for safety risks
- ‘Smart Collar’ in the Works to Manage Wildlife Better
- Possible Biological Control Discovered for Pathogen Devastating Amphibians
- Newly Discovered Icelandic Current Could Change North Atlantic Climate Picture
- New ‘Bionic’ Leg Gives Amputees a Natural Gait
- Harnessing Robots to Study Inaccessible Arctic
- ‘Brain Cap’ Technology Turns Thought Into Motion
- Scientists Turn to Crowds on the Web to Finance Their Projects
- Graphene Optical Modulators Could Lead to Ultrafast Communications
- Reversible Control of Electrical and Thermal Properties Could Find Uses in Storage Systems
- Dr. No Money: The Broken Science Funding System
- Early Warning Signals Of Change: ‘Tipping Points’ Identified Where Sudden Shifts To New Conditions Occur
- Scientists Hope to Cut Years Off Development Time of New Antibiotics
- Affordable Orbital
- It’s All Semantics: Searching for an Intuitive Internet That Knows What Is Said–And Meant
- High school teacher creates microfluidic devices using a photocopier
- This Article Will Self-destruct: Tool To Make Online Personal Data Vanish
- Rare Hits and Heaps of Misses to Pay For
- Advance Could Change Modern Electronics
- Computer Idle? Now You Can Donate Its Time To Find A Cure For Major Diseases
- Newly Created Material Resembles Cilia
- Bird-watchers add more than 48 million observations to ‘eBird’ database
- Robot Ranger Sets Untethered ‘Walking’ Record at 14.3 Miles
- Bye-Bye Batteries: Radio Waves as a Low-Power Source
- Walking and Running Robots
- New Programs Aim to Lure Young Into Digital Jobs
- Autonomous Navigation Lasers and Robotics Push “Smart” Wheelchair Technology to the Cutting Edge
- Using aerospace principles to ride a wave of limitless energy
- Creating Wireless Network Using Visible Light
Engineers at the University of California, San Diego, have created new ceramic materials that could be used to store hydrogen safely and efficiently.
The researchers have created for the first time compounds made from mixtures of calcium hexaboride, strontium and barium hexaboride. They also have demonstrated that the compounds could be manufactured using a simple, low-cost manufacturing method known as combustion synthesis.
The work is at the proof of concept stage and is part of a $1.2 million project funded by the National Science Foundation, a collaboration between UC San Diego, Alfred University in upstate New York and the University of Nevada, Reno. The manufacturing process for the ceramics is faster and simpler than traditional methods used to manufacture these types of materials. The researchers presented their work in March 2014 at the third International Symposium on Nanoscience and Nanomaterials in Mexico.