Software Engineering and Programming
Available Speakers on this Topic
Gabor Fichtinger – Kingston, ON, Canada
Rapid Prototyping of Computer-Assisted Medical Interventions
Real-time computational image guidance is powerful aid to physicians in carrying out minimally-invasive surgical and interventional procedures. This technology offers higher accuracy and precision...
Silvia Giordano – MANNO ,TI, Switzerland
The next frontier in mobile communications: when mobility can be exploited for communications
With the proliferation of mobile devices, mobility is becoming part of daily computing and communications. Opportunistic Networking leverages on such mobility for improving communication...
Haitham S Hamza – Giza, Egypt
Agile ITIL: An Approach for Practical Implementation of ITIL
IT Service Management (ITSM) standards and frameworks aim at improving the design, implementation, and operation of IT services to ensure delivery of business value in a cost-effective way....
- An Outlook of Software Engineering DisciplineThis talk aims at providing a comprehensive overview about the discipline of software engineering, and explains how the discipline has emerged and progressed over the last half century. The talk...
- Value Creation with Open Data: Potentials and ChallengesOpen Data, as defined by the Open Data Institute (ODI), refers to the data that is made available by organizations, businesses and individuals for anyone to access, use and share. The...
Tsung-Yi Ho – Hsinchu, Taiwan
The Coming of Age of Flow-Based Microfluidics: EDA Solutions for Enabling Biochemistry on a Chip
As the design complexity rapidly increases, the manufacture and the biochemical analysis of flow-based microfluidic biochip become more complicated. According to recent study, the biochips...
Benjamin Kenwright – Leicester, United Kingdom
Inverse kinematics is the mathematical process for calculating the movement of objects. This is useful in a whole range of fields, from engineering and robotics to medical analysis and...
- Opportunities and Challenges in Teaching Video Games in Higher EducationThis lecture discusses the opportunities and challenges of video game curricula. The talk explores the diversity of the subject from both an artistic and technical perspective - centred around...
Christoph Kirsch – Salzburg, Austria
Selfie and the Basics
Imagine a world in which virtually everyone at least intuitively understands the fundamental principles of information and computation. In such a world computing would be as natural to people as...
Anis Koubaa – Riyadh, Saudi Arabia
IEEE 802.15.4e for IoT Applications: An Overview
IEEE 802.15.4, was initially developed for coping with the requirements of low power and low data rate communication for wireless personal area networks, which then was adopted as a...
Jeanna N Matthews – Potsdam, NY, United States
Rapid Recovery Architecture and Virtual Machine Contracts
Many seemingly innocent actions can render your personal computer unusable and the road to recovery can be painful. For example, reinstall the OS (if you know how), reinstall the...
Abhik Roychoudhury – Singapore, Singapore
Software Debugging as a Science
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with the...
- Symbolic Analysis Methods for Software Debugging and RepairIn recent years, there have been significant advances in symbolic execution technology, driven by the increasing maturity of constraint solvers as well as by the availability of cheap...
High Performance Computing at IBM
High-performance computing technologies are entering the mainstream in a transition ready to revolutionize entire industries. Today, clusters, grids and virtualization infrastructure at...
Technology Futures: IBM's Global Technology Outlook
Join us for a look at IBM's vision for the near term future, or as IBM terms it, IBM's Global Technology Outlook (GTO). IBM Research and its global community of some of the...
Hanan Samet – College Park, MD, United States
Translation Validation: Automatically Proving the Correctness of Translations Involving Optimized Code
An early system for proving that programs written in a high level language are correctly translated to a low level language is described. A primary use of the system is as a postoptimization step...
Xipeng Shen – Raleigh, NC, United States
Overcoming GPU Hardware Limitations through Software Innovations
For their tremendous computing power, Graphic Processing Units (GPUs) have received broad adoptions for a large variety of applications. The massively parallel hardware design makes it superior...
Tackling Memory and Concurrency Barriers for Modern Parallel Computing
Two key barriers for tapping into the full power of modern (massively) parallel machines are the limited bandwidth in memory and the limited parallelism in some applications. This talk presents...
Richard Stallman – Boston, MA, United States
The GNU General Public License
Richard Stallman wrote the first GNU General Public License in 1989, and version 3 which was completed in 2007. He will discuss the philosophy of the GNU GPL, the changes made in...
Venkat Subramaniam – Broomfield, CO, United States
Most of the mainstream languages have supported the imperative style of programming for a very long time. Functional programming has been around for a few decades but it's finally gaining...
Java 8 Lambda Expressions, the Pathway to Functional Style
Java 8 has been one of the most significant changes to the language. It is not simply the introduction of some new syntax, but a fundamental different way of thinking that we're used to when...
The Power and Perils of Parallel Streams
Java 8 makes it really easy to convert a stream to a parallel stream, to run tasks concurrently. When come thing is that easy we tend to ask "what's the catch" and that's a very...
Twelve Ways to Make Code Suck Less
The quality of the code we create has a significant impact on our ability to change the software in the future. As programmers succumb to time and deliver pressures, the quality of code may get...
Aida Todri-Sanial – Montpellier, France
Physical Design Challenges and Solutions for Three-Dimensional Integrated Circuits
Three-dimensional (3-D) ICs offer dense integration of heterogeneous technologies with a small footprint. Interconnection of the various tiers by means of through-silicon...
Arun Vishwanath – Melbourne, VIC, Australia
Improving Building Energy Efficiency Using IoT-Driven Analytics
The United Nations estimates that the buildings sector accounts for about 40% of global energy consumption. In...
Wan Abdul Rahim Bin Wan Mohd Isa – Shah Alam, Malaysia
Incorporating the Cultural Dimensions into the Theoretical Framework of Website Information Architecture
Information Architecture (IA) has emerged as a discipline that is concerned with the development of systematic approaches to the presentation and organization of online information. The IA...
Bebo White – San Francisco, CA, United States
Preparing for the Internet of Things
The Internet as we have known it for the past three+ decades is in the midst of a major and disruptive change. “The Internet of Things (IOT)” will bring opportunities that could...
Tao Xie – Raleigh, IL, United States
Automated Developer Testing: Achievements and Challenges
Developer testing, a common step in software development, involves generating sufficient test inputs and checking the behavior of the program under test during the execution of the test inputs....
PhD-Program Preparation for Successful Post-PhD Career
It is valuable for PhD students to think ahead on what kinds of career paths the students intend to seek and what kinds of skills such career paths would require the students to have. This talk...
Moustafa A Youssef – New Borg Elarab City, Alexandria, Egypt
Indoor Geographic Information Systems: Challenges and Opportunities
Traditional Geographic Information Systems (GIS) focus on capturing and analyzing outdoor geographical data. However, there is no corresponding effort for indoor data and indoor GISs remain...
Kang Zhang – Richardson, TX, United States
Visual Programming Languages, Theory and Applications
Visual languages have long been a pursuit of effective communication between human and machine. Today, they are successfully employed for end-user programming, modeling, rapid prototyping, and...
- Visual Programming Languages, Theory and Applications
- Automated Developer Testing: Achievements and Challenges
- Symbolic Analysis Methods for Software Debugging and Repair
- Software Debugging as a Science
- Rapid Recovery Architecture and Virtual Machine Contracts
- Opportunities and Challenges in Teaching Video Games in Higher Education
- Inverse Kinematics
- An Outlook of Software Engineering Discipline
- Agile ITIL: An Approach for Practical Implementation of ITIL