The Complete Solution BETTER SOFTWARE FASTER Express problems in engineering terms without worrying how it will compute. Focus on problem solving, innovation, and getting it right the first time. Your Software Faster, AUTO-PARALLELIZING Applications self-parallelize, with no effort on the part of the user, and are Better, Sooner provably race-free. AGILE & TRANSPORTABLE Faster time to market and the ability to quickly explore/support new hardware architectures. Applications developed for today’s technology automatically perform on tomorrow’s. The Right Tools for the Multicore INDUSTRY STANDARDS Built on open industry standard C++ and OpenCL to work with existing design Programming Job flows, tools, and training. Designed to work in concert with other programming languages, legacy code, and libraries.

© 2016 Texas Multicore Technologies, Inc. TexasMulticore.com Unleashing the Potential of Today’s Multicore Systems The right tools for the multicore pro- SequenceL Gets Rid of Decades of SequenceL not only automatically gramming job. The days of program- Programming Baggage. With Se- parallelizes the code, but is provably ming in a one-size-fits all language quenceL, the programming paradigm race free. Race conditions are the are quickly becoming a thing of the no longer mimics old single-step CPU largest quality challenge a parallelized past, especially for multicore and hardware. Similar in concept to SQL software development team faces. many-core systems. SequenceL is a for databases, SequenceL is more like When combined with the many other compact, powerful functional pro- writing formulas on a white board. In defect sources, test and debug be- gramming language and auto- SequenceL, you describe the desired comes a much larger effort than the parallelizing tool set that quickly and output in terms of the input, as func- code development itself. Not with easily converts algorithms to robust, tions; i.e.- declare only “what” to SequenceL; the computational laws it massively parallel code. compute, not “how” to compute it, so is based on are provably race free. Best of all, SequenceL was designed no thinking about parallel execution. This, combined with SequenceL’s low- to work in concert with existing pro- The auto-parallelizing SequenceL er code complexity and executable gramming languages, legacy code and compiler is free to decide which in- specification origins, reduces risk and libraries. SequenceL is additive to cur- structions can be executed in parallel speeds time to market. rent design flows, tools, and training. without adding unexpected race con- This powerful combination speeds It extends these investments with an ditions. It generates robust, massive- time to market by >10X, lowers risk, Eclipse IDE plug-in and support for ly parallel code which the runtime requires fewer coding & testing re- popular programming languages (C, environment optimally maps to the sources, and applications perform C++, C#, Fortran, Java, Python, etc.). all popular multicore platforms. faster on any platform.

Single -Threaded Matrix Multiply in Java SequenceL: Faster to Write & Delivers High Performance (multi-threaded C/MPI >130 lines!)

Multi-Threaded Matrix Multiply in SequenceL

matmul(x(2),y(2))[i,j] := sum( x[i, all] * y[all, j] ); It’s Time to Change the Game (Again) Practical Advantages

Only TMT SequenceL delivers the technology to completely over- come the barriers to finding and implementing parallel processing performance on multicore systems.

 Faster Performance for Today’s Multicore Systems — SequenceL is the right tool for the job. It provides an automatic means to convert complex algorithmic code to robust, highly parallel code. The result is dramatically faster application operation and Advancement in modern processor design since 2004 has focused on delivering an ever- efficient computing utilization on increasing number of cores, putting the challenge on software developers to effectively use multicore platforms. these cores. This adds incredible complexity, requiring true parallel programming, yet program-  Faster Time to Market, Agility — ming tools have not fundamentally changed since 1980. SequenceL allows users to focus on application functionality. It The way humans deal with complexity is via abstraction. SequenceL is another level of abstrac- enables innovators to validate tion for programmers, allowing them to write high performance programs in an easy to use concepts and create production language. SequenceL exposes even fine-grained parallelisms, often where a programmer quality code directly, rather than wouldn’t think they may exist or be worth the effort to code and test, for maximum perfor- have to hand off to a software mance. This allows the programmer to focus on problem solving rather than worrying about engineering team to start over. parallelizing, race conditions, or target hardware details. Subsequent changes are also much faster and easier.

Example Time to Market Advantage  Quickly Leverage New Hardware C++ or JAVA Platforms — TMT has done all Mar 2013 Apr 2013 May 2013 Jun 2013 Jul 2013 Aug 2013 Sep 2013 ID Task Name the low level, platform-specific 3/10 3/17 3/24 3/31 4/7 4/14 4/21 4/28 5/5 5/12 5/19 5/26 6/2 6/9 6/16 6/23 6/30 7/7 7/14 7/21 7/28 8/4 8/11 8/18 8/25 9/1 9/8 9/15

1 Functional Spec optimizations so you don’t have

2 S/W Dev 1 to. The SequenceL Runtime Envi- 3 QA 1 ronment takes maximum ad- 4 S/W Dev 2 vantage of all the cores and ca- 5 QA 2 pabilities of the target system, 6 S/W Dev 3 both now and in the future. 7 QA 3 8 RTM  Improved Software Quality and Correctness — Due to the exe- SequenceL cutable specification origins of Mar 2013 Apr 2013 May 2013 Jun 2013 Jul 2013 Aug 2013 Sep 2013 ID Task Name SequenceL, algorithms often 3/10 3/17 3/24 3/31 4/7 4/14 4/21 4/28 5/5 5/12 5/19 5/26 6/2 6/9 6/16 6/23 6/30 7/7 7/14 7/21 7/28 8/4 8/11 8/18 8/25 9/1 9/8 9/15

1 Functional Spec match their definition. The re-

2 S/W Dev 1 sulting programs (or libraries) are

3 QA 1 also provably race-free, elimi- 4 S/W Dev 2 nating this most difficult QA 5 QA 2

6 RTM A NASA Driven Technology SequenceL Products

Professor Daniel Cooke, Professor Nelson Rushton, and Dr. Brad Nemanich developed In Your Design Flow SequenceL over a 20+ year period while at Texas Tech University. Over that period NASA provided over $10 million of research grants.

NASA wanted to develop a specification language which was easy to read and could also be executed, to eliminate both ambiguity and the need for software prototyping and its associated costs. They discovered that SequenceL was so readable that pro- grams required no additional documentation. It was during this development process that the race-free, self-parallelizing nature of SequenceL was identified and enhanced.

TMT was formed in 2009 to commercialize SequenceL to solve the parallel program- ming problem for the multicore and many-core computing industry. TMT has an exclu- sive license arrangement with Texas Tech University. Prof. Rushton and Dr. Nemanich joined the company and continue to contribute to the ongoing advancement of the technology. SequenceL Features

 Express problem in Engineering terms  Get it right the first time: algorithms written in SequenceL often match their definition  Develop and validate your  Originally developed as executable specification language for NASA software and algorithms using  Greatly simplifies programming effort, reduces cycle time your favorite code editor or  Facilitates validation and verification Eclipse IDE with the SequenceL  Automatic, race-free parallelization Interpreter and Debugger.  Exposes all parallelisms in a program, even fine grain parallelisms users may never see or deem worth the effort to code and test  Use the SequenceL Compiler to automatically parallelize your  User does not specify how or when to parallelize a program software for max performance.  No need for locks or threading constructs  Quick and easy way to explore whether algorithms benefit from GPU  The SequenceL Runtime Environ- acceleration ment takes maximum advantage  Purely functional, declarative language and tool set of multicore systems, now and in  Declare what to compute, not how to compute it the future, without recompile.  No need to specify how to disassemble or assemble non-scalars  The C++ output of the SequenceL  Statically typed with automatic type inference compiler also allows you to link in  Lack of side effects— impossible for user to add race conditions any legacy code and/or libraries.  Compact, intuitive  TMT Services are available to  ~15 grammar rules (compared to 150+ for Java) ensure your success. Our people  Designed to work in concert with industry standard C++, C#, Java, Python... have the deep system knowledge and cross industry experience to 13915 N. Mopac Expwy. quickly get you productive using Suite 406 SequenceL. Austin, Texas 78728 512– 381-1100 TexasMulticore.com

© 2016 Texas Multicore Technologies, Inc. TexasMulticore.com