Du är inte inloggad på KTH så innehållet är inte anpassat efter dina val.
KTH has a strong tradition of open-source software.
Creating high-impact open-source software:
Description: Gecode is an open, free, portable, accessible, and efficient environment for developing constraint-based systems and applications in research, industry, and education. Crucial to its design is simplicity and accessibility. Simplicity is the key reason why Gecode is efficient and successfully exploits today's commodity parallel hardware. See www.gecode.org
Impact: Gecode is widely used (several thousand users): as a research vehicle; for teaching constraint programming at universities around the world; as an application platform by companies; it is included in distributions such as Debian, Ubuntu, OpenSUSE, Gentoo, and FreeBSD (and possibly others). Gecode has been the Gold medal winner at the MiniZinc Challenge (all categories) 2012, 2011, 2010, 2009, 2008.
Publications: see list of academic publications on Gecode
Contact: Christian Schulte, SCS, ICT, KTH
Description: Eclipse Lyo is a Software Development Kit (SDK) that helps the community adopt the open OASIS OSLC standard (http://www.oasis-oslc.org/) and build OSLC-compliant software. The SDK is complemented with Lyo Designer - a graphical modelling tool, that supports architects and developers with the architecting, design and implementation of integrated toolchains. Lyo Designer includes a code generator that produces almost complete OSLC-compliant tool adaptors, based on the Lyo SDK. See https://www.eclipse.org/lyo/
Impact: Eclipse Lyo is the de-facto support software to develop OSLC-compliant tools. As part of the research projects involving KTH, Lyo has been used and validated by a range of industrial partners in various projects. These partners are using as well as extending the platform in coordination with KTH.
Publications:
Contact: At KTH, Lyo is driven by members of the Mechatronics Division, Department of Machine Design, ITM School:
Description: Apache Flink is a distributed data stream computing framework that is commonly used for developing and deploying continuous data-parallel applications. Flink is reconfigurable and fault-tolerant allowing pipelines with large state without sacrificing throughput and latency through the use of its state-of-the-art state snapshotting mechanism. Flink's fluid programming model allows both transformations on data streams and declarative continuous queries using SQL syntax as well as its intuitive Graph and CEP domain specific languages.
Project Website: https://flink.apache.org
Impact: Flink is currently being used in world-class production deployments powering complex pipelines at Netflix, Uber, King, ING, otto-group and Zalando among others. Alibaba, biggest online retailer worldwide, uses Flink in one of the largest known streaming deployments (>1000 nodes) to enable fast search queries and recommendation services. Finally, Flink has also made impact in database systems research, being a central topic of interest at top research venues and communities such as the VLDB forum.
Selected Publications:
Contact:
Description: Unison rethinks code generation in compilers using combinatorial optimization techniques. Unison is integrated with the regular LLVM toolchain. It pursues a radically different route from today's compilers: it embraces and exploits the combinatorial, interdependent nature of code generation to drastically improve code quality. Recent experiments for Hexagon, a DSP ubiquitous in modern mobile platforms, show that Unison consistently generates more efficient code than LLVM, sometimes by almost 50%.
Impact: Unison is a joint research project involving researchers from RISE SICS and KTH Royal Institute of Technology in Stockholm, as well as engineers from Ericsson. Today Unison is a great bench mark and complement to Ericsson's conventional compiler development and has potential to target many more use cases in the future.
Publications:
Contact: Christian Schulte, SCS, ICT, KTH, Unison project leader
Principal KTH account: https://github.com/KTH
KTH Center for Software Research (CASTOR): https://github.com/castor-software
KTH Centre for Autonomous Systems (UAV activities): https://github.com/KTH-CAS-UAV
KTH Smart Mobility Lab: https://github.com/KTH-SML
PDC Center for High Performance Computing: https://github.com/KTH-PDC
KTH Mechatronics: https://github.com/kth-mda
KTH Automatic Control: https://github.com/KTH-AC
KTH Social Robotics: https://github.com/kth-social-robotics
KTH Theoretical Computer Science: https://github.com/kth-tcs