Software Engineering and Programming

Available Speakers on this Topic

Agile Project Management
This talk will cover various technical aspects related to Agile Project Management. This talk will cover following specific topics:

•

How Can Metaheuristics Help Software Engineers
This presentation focuses on the potential benefits that metaheuristics (Genetic Algorithms, Ant Colonies, Particle Swarm, etc.) can bring to the field of Software Engineering (SE). For this to...

Full STEAM ahead: Putting an A fully and inseparably into STEAM practices for Software Design
Continued growth in the human well-being has long been seen to depend on continuing advances in STEM disciplines (Science, Technology, Engineering and Mathematics). However, in the last...

The Snap! (Build Your Own Blocks) Programming Environment
Snap! (formerly BYOB) is a visual, drag-and-drop programming language. It is an extended reimplementation of "Scratch" (a project of the Lifelong Kindergarten Group at the MIT Media Lab)...

Parallel Computing 101: An overview of multiprocessor, multicore, and GPU programming
Traditionally, software has been written for serial computing where a computational problem is broken into a discrete series of instructions; then these instructions are executed...

Can Formal Methods (alone) Rescue HPC Debugging?
High Performance Computing systems are extremely complex ensembles of CPUs and GPUs, powering supercomputers that help understand and manage the earth. The same compute power permeates...
Keeping Science on Keel when Software Moves
Significant investments are made into the creation and maintenance of high-performance computing software, involving dozens of computer scientists and domain scientists working hard over...

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...

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...

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...

Performance analysis and optimization
With the rise of complex systems that run on a large number of devices on server farms, performance analysis has become ever so important. Having a comprehensive knowledge of different abstraction...
Performance analysis and optimization of C++ standard libraries
C++ standard libraries are some of the most widely running system libraries on consumer devices and server machines. Most engineers assume the performance of standard libraries are as good...

Cyber-security the Journey from Formal Methods, Program Analysis, Data Analytics, Artificial Intelligence to Blockchain
Cyber-security is a complex system research, which requires the knowledge across all layers of the computer architecture. In this talk, I would like to share our attempts to solve security...
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems
In company with massive data explosion and powerful computational hardware enhancement, deep learning (DL) has recently achieved substantial strides in cutting edge intelligent...
Security Testing (Fuzzing) with Blackbox, Greybox and Whitebox Techniques
Security Testing (a.k.a. fuzzing) has recently become the popular technique in hunting for vulnerabilities. But to make it more effective and directly applied in real projects, there is still a...

Software Development in Large Organizations
Large organizations can leverage the economies of scale in a number of ways, particularly in the area of Software Engineering. DevOps, which evolved as a dominant Software Engineering...

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...

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...

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...