Windows 10: Intel on The Future of Machine Programming

Brink · Oct 25, 2019

The Future of Machine Programming: Justin Gottschlich, Leader of Machine Programming Research at Intel Labs, Explains Machine Programming

Justin Gottschlich of Intel Labs leads a team of machine programming researchers. Their aim is to automate software development to reduce coding errors and address a shortage of trained expert programmers. (Credit: Walden Kirsch/Intel Corporation)

Our expert: Justin Gottschlich leads the Machine Programming Research (MPR) team in the Systems and Software Research Lab. Justin’s newly-formed research group focuses on the pioneering promise of machine programming, which is a fusion of machine learning, formal methods, programming languages, compilers and computer systems.

His simple explanation of machine programming: MPR uses forms of machine learning and other automatic methods to create software capable of creating its own software. It’s called machine programming and is fundamentally about automating software development and maintenance. When fully realized, machine programming will enable everyone to express their creativity and develop their own software without writing a single line of code.

More: See all of the Future of Technology series

Machine programming’s promise: In today’s technological landscape, software is integrated into almost everything we do. It controls many aspects of our mobile devices – laptops, tablets, phones. It connects us to the internet and drives our social media feeds. It virtualizes our data centers and makes our homes more intelligent. But developing and maintaining software is a time-consuming and error-prone process, Justin says. “I believe we can create a society where everyone can create software, but machines will handle the ‘programming’ part,” he says. “Thus, ‘machine programming.’”

A shortage of human programmers: A core problem for Intel and other leading tech companies, according to Justin, is that they are running low on senior developers – a shortage that crimps the amount of programming across all industries. According to code.org, there are 500,000 open programming positions available in the U.S. alone — compared with an annual crop of 50,000 graduating computer science majors. A similar shortage can be found across the European Union. In the programming jobs market, Justin says, at best only 10% of the people filling those jobs have the computer science training to become top-level advanced developers. With today’s heterogeneous hardware — CPUs, GPUs, FPGAs, ASICs, neuromorphic and, soon, quantum chips — it will become difficult, perhaps impossible, to find developers who can correctly, efficiently, and securely program across all of that hardware.

Now is the time: Machine programming is a fusion of different fields. It uses automatic programming technique, from precise (e.g., formal program synthesis) to probabilistic (e.g., differentiable programming) methods. It also uses and learns from everything we’ve built in hardware and software to date. Researchers have dabbled in machine programming since the 1950s, Justin says. “But today is different. We’re at an inflection point with new machine learning algorithms, new and improved hardware, and rich and dense programming data. These are the three essential ingredients that we believe enable machine programming.” One example is illustrated by recent genetic algorithm (GA) research from Justin’s team, which illustrates how the fitness function of a genetic algorithm – a complicated machine learning heuristic developed by expert programmers – can be automated. Justin says this work likely wouldn’t have been possible just a few years ago.

Refusing to accept bugs: Almost all large-scale software today (e.g., operating systems, browsers, social media platforms) includes accuracy, performance or security bugs. “Our latest NeurIPS ’19 paper provides early evidence that certain types of bugs that have historically evaded even expert programmer detection can be automatically detected with machine programming, requiring zero human intervention,” Justin says. “The next step is to automatically fix them.”

From 500,000 lines of code to 500: Justin points to a well-known example of machine programming’s benefits. Google Translate, a service that automatically translates among languages, was built by engineers who hand-coded around 500,000 lines using classical programming techniques. With the advent of machine programming, Google rewrote its code, partially using differentiable programming (one small slice of the overall machine programming pie). That rewrite decreased the code base from 500,000 lines to 500 lines, a 1,000x reduction. “Not only did the code size shrink by 1,000 times,” Justin says, “the accuracy of the system actually improved – it’s incredible.”

More programming jobs, not fewer: Machine programming will not eliminate jobs, Justin contends, but instead create them – possibly millions of them. The more menial aspects of programming will be automated, he says, which is the goal. With machine programming, he adds, “our blue-sky vision is so long as you can express your ideas (as we call it – intention) in some way that the machine can recognize – be it natural language, visual diagrams or gestures – machine programming builds a path for you to create your own software.” To begin building these advanced machine programming systems, Justin says, we’ll rely heavily on a community of programmers and scientists – those who can work across platforms, machine learning and formal techniques, heterogeneous hardware, and many programming languages. Justin and team outline their future vision of machine programming in a paper jointly published with MIT researchers, “The Three Pillars of Machine Programming.”

Justin will deliver the keynote address at the University of Pennsylvania Industry Day event on Friday, Oct. 25: Future of Safe Autonomy.
Click to expand...

Source: Why More Software Development Needs to Go to the Machines | Intel Newsroom

:)

smartali89 · Oct 25, 2019

Why did the startup window get cleared?

I didn't missed any step, the list was gone and gone , even after using lot of programs the programs were not listed in that list.

btarunr · Oct 25, 2019

Intel Readies P55 Chipset B3 Stepping Update

Intel's is readying a hardware update for its P55 Express chipset, currently the only core-logic for the company's brand new socket LGA-1156 processor platform. The new B3 stepping of the P55 PCH will bring with it a little more than new MM number and S-spec numbers. A list of changes is as follows:

New MM number and S-spec numbers for the converted products;

Firmware and minor BIOS updates are required with the conversion;

Processor MRC/microcode update required to enable future processors;

Recommended storage driver upgrade from Intel MSM 8.9 to Intel RST 9.5.

Although it is listed that the MRC update enables 'future processors', Intel, in a statement issued to X-bit labs assured that the current B2 stepping of the chipset (found on current socket LGA-1156 motherboards) does not leave out support for any of Intel's new LGA-1156 processors that are slated for release in the very near future. The dual-core "Clarkale" 32 nm processor will be supported by both B2 and B3 steppings of the chipset.

P55 B3 stepping is pin-identical to P55 B2, and hence motherboard vendors will not have to come up with new designs. Sampling of the new stepping began as early as on October 02, 2009, and it is scheduled for shipment to manufacturers by the 7th of December, 2009. P55 is the performance core-logic for the LGA-1156 platform. It supports Core i5 and Core i7 "Lynnfield" processors with discrete graphics.

Source: X-bit labs

Monica Cam · Oct 25, 2019

Startup error on discontinued Intel driver

Hi David,

Windows 10 update remove the Intel WiDi driver due to compatibility issue. We suggest uninstalling the Intel WiDi driver from Control Panel to avoid it from showing up every time you start your computer. To do this, kindly follow the steps below:

Press Windows key + X on your keyboard.

Select Control Panel.

Click Programs.

Choose Programs and Features.

Click Intel (R) WiDi Driver and hit Uninstall.

Restart your computer.

Let us know goes.

Windows 10: Intel on The Future of Machine Programming

Intel on The Future of Machine Programming

Intel on The Future of Machine Programming

Intel on The Future of Machine Programming

Intel on The Future of Machine Programming - Similar Threads - Intel Future Machine

Will Intel processors 6400T and 7200U be supported in the future?

Will Intel processors 6400T and 7200U be supported in the future?

Will Microsoft support intel 7th gen CPU in future ?

Will Microsoft support intel 7th gen CPU in future ?

Watch Intel Unleashed: Engineering the Future (Livestream)

New Intel Machine Programming Tool Detects Bugs in Code

Securing the future of AI and machine learning at Microsoft

Intel Innovations Define the Future of Supercomputing

Intel programs