Blog Posts

Partial Order

Imagine you are shopping groceries online. Like any other task, it will have a subtasks to be performed. You will  first  open the shopping website, add the desired stuff in your cart and then finally proceed to make the payment. It is very clear that you cannot make payment without adding all your items to the cart nor can you add items to cart before opening the website. However, you can add items to the cart in any order. Clearly, there is an ordering between a few events and a few events are independent of each other.

The Balance between Economic Growth and the Environment

The Nobel Prize in 2018 has been awarded to two American economists: William Nordhaus (77) and Paul Romer (62). They have been chosen for this honor because of their very novel contribution to the research connecting economic growth and the environment. They have come up with a complex model depicting the effect of environment perturbance on economic growth. We already were aware that the harm we do to our nature affects our health, our resources, the ecological balance etc.

AT&T vs. Intel

Assembly language is a low level programming language for your computer or any other programmable devices. Program written in human understandable language such as C and C++ are compiled in to assembly language which is more understandable by microprocessors. However, there are several acceptable assembly syntaxes.

Software Binary Analysis

Software Binaries are nothing but compiled executables of your program written in a programming language. When you pass the program as a text file with a certain extension (for example, .cpp or .c) to its respective compiler you get the executable, which is nothing but the binary. Simply, these files are something you can not directly read unless disassembled. The term binary means  a sequence of 0s and 1s which would represent the low and high voltages respectively, but Software Binaries are not comprised of just 0s and 1s but a series of CPU readable numbers.

How to extract and use constraints from source code?

Most static analysis techniques over source code start with constructing an Abstract Syntax Tree (AST), or constructing call graphs.  Eclipse JDT has tools necessary to do these tasks. It is straightforward to traverse through the AST to collect information about the lines, methods, loops, conditions, variables, etc., used in the source code. Here’s a simple example where you can just insert your code whenever Eclipse JDT finds a method declaration node in the AST.


Links to tools created by the group

Get in touch with us

Education - This is a contributing Drupal Theme
Design by WeebPal.