Jan 9, 2013
Programming, Optimization, and Synthesis with ASKALON and AWDL Authors: Jun Qin, Thomas Fahringer ISBN: 978-3-642-30714-0 (Print) 978-3-642-30715-7 (Online)
Grid Economics and Business Models
Aug 19, 2008
by J. Altmann, International University in Germany, Bruchsal, Germany; D. Neumann, University of Freiburg, Germany; Th. Fahringer, University of Innsbruck, Austria (Eds.)
Hardcover: 236 pages
Publisher: Springer; 1 edition (2008)
Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows (Lecture Notes in Computer Science)
Aug 15, 2007
by Radu Prodan and Thomas Fahringer
Hardcover: 317 pages
Publisher: Springer; 1 edition (2007)
Distributed and Parallel Systems. Cluster and Grid Computing
Mar 7, 2007
by Peter Kacsuk, Thomas Fahringer and Zsolt Nemeth
Hardcover: 300 pages
Publisher: Springer; 2 edition (March 2007)
ASKALON: A Development and Grid Computing Environment for Scientific Workflows, in Workflows for eScience, Scientific Workflows for Grids
Dec 18, 2006
by T. Fahringer, R. Prodan, R.Duan, J. Hofer, F. Nadeem, F. Nerieri, S. Podlipnig, J. Qin, M. Siddiqui, H.-L. Truong, A. Villazon, M. Wieczorek Scientific Workflows for Grids by Taylor, I.J.; Deelman, E.; Gannon, D.B.; Shields, M. (Eds.) Publisher: Springer; 1 edition (December 18, 2006) Hardcover: 530 pages ISBN-10: 1846285194
- Cristina Cifuentes from Oracle Labs Australia will give a presentation about the topic “Are we Ready for Secure Languages? “ on 14th July 2016, 14:00 – 16:00, in ICT buildung, ground floor, room SR1
Language designers and developers want better ways to write good code – languages designed with simpler, more powerful abstractions accessible to a larger community of developers. However, language design does not seem to take into account security,
leaving developers with the onerous task of writing attack-proof code. In 20 years, we have gone from 25 reported vulnerabilities to 6,883 vulnerabilities. We see some of the most common vulnerabilities happening in commonly used software – cross-site scripting,
SQL injections, and buffer overflows. Attacks are becoming sophisticated, often exploitation three or four weaknesses; making it harder for developers to reason about the source of the problem.
I’ll overview some recent attacks and argue our languages must take security seriously. Languages need security-oriented constructs, and compiler must let developers know when there is a problem with their code. We need to empower developers with the
concept of “security for the masses” by making available languages that do not necessarily require an expert in order to determine whether the code being written is vulnerable to attack or not.
Cristina is the Director of Oracle Labs Australia and an Architect at Oracle. Headquartered in Brisbane, the focus of the Lab is Program Analysis as it applies to finding vulnerabilities in software and enhancing the productivity of developers worldwide.
Prior to founding Oracle Labs Australia, Cristina was the Principal Investigator of the Parfait bug tracking project at Sun Microsystems, then Oracle. Today, Oracle Parfait has become the defacto tool used by thousands of Oracle developers for bug and
vulnerability detection in real-world, commercially sized C/C++/Java applications. The success of the Parfait tool is founded on the pioneering work in advancing static program analysis techniques carried out by Cristina’s team of Researchers and Engineers at Oracle Labs Australia.
Cristina’s passion for tackling the big issues in the field of Program Analysis began with her doctoral work in binary decompilation at Queensland’s University of Technology. In an interview with Richard Morris for Geek of the Week, Cristina talks about Parfait,
Walkabout and her career journey in this field. Prior to her work at Oracle and Sun Microsystems, Cristina held teaching posts at major Australian Universities, co-edited Going Digital, a landmark book on cybersecurity, and served on the executive committees of ACM SIGPLAN and IEEE Reverse Engineering.
Cristina continues to play an active role in the international programming language, compiler construction and software security communities. On the weekends, she channels her interests into mentoring young programmers through the CoderDojo network.
- Costin Iancu from LBNL talks about “Scalable Dynamic Program Analysis for HPC Codes” on 18th July 2016 from 1 – 2 pm in 3w04
Efficient usage of supercomputers requires exposing and coordinating very large parallelism, soon to be in the billion range. Although
languages and runtime APIs expose asynchronous interfaces, these are not well exploited in codes due to the complexity of managing and tracking parallelism:
neither compiler, nor manual optimizations are feasible in real production codes which are a composition of multiple languages, libraries, even disjoint binaries.
In this talk I will argue that dynamic program analysis is a feasible way (the only feasible way) to build tools able to handle full codes.
I will describe our efforts to implement fast and scalable analyses and describe applications in bug finding, synchronization elimination and energy optimizations of complex codes.
Costin Iancu is a scientist at the Lawrence Berkeley National Laboratory, USA. He is one of the main authors of the Berkeley UPC compiler (BUPC), the first ubiquitous
and high performance implementation of a Partitioned Global Address Space Language. BUPC has been extensively used in large scale HPC installations, as well as in academia.
His research interests span parallel language and runtime design, OS services and more recently high productivity data analytics runtimes.
In the area of code optimization, his most recent work is developing practical tools to handle multi-language, multi-runtime modular software (aka production software) and to perform cross-stack optimizations (e.g. MPI+OS kernel).
He is always interested in fostering new collaborations with academia and happy to host visitors and collaborators at LBNL.