A Toy Virtual Machine Project

•

0 likes•599 views

This project studied virtual machines including their background, scope, and achievements. It developed a process virtual machine for MIPS that uses instruction emulation techniques like interpretation and binary translation, and a table-driven approach for efficient execution. The project covered basic VM concepts and applications, and developed a simpler process VM rather than a full system virtual machine.

Project Background
Project Scope
Project Achievements

Virtual Machine Project

Presented by Yan Dacong

School of Software, SJTU

September 25, 2008

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Agenda

1 Project Background

2 Project Scope

3 Project Achievements

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Project Background

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Why study virtual machines?

Ubiquitous Applications
Personal & Commercial
Desktop & Workstation
Challenging & Exciting
Operating System Compatibility
Computer Architecture Compatibility
Promising future
Trend: servers much stronger computation ability
Make full use via VM Technology

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Project Achievements

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Project Achievenments

Categories of VM

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Project Achievenments

Categories of VM
Instruction Emulation

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Project Achievenments

Categories of VM
Instruction Emulation
MIPS Process Virtual Machine

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Categories of VM

System Virtual Machine (SVM)
First developments: 1960s 1970s
Complete system enrionments
Run apps simultaneously on multiple platforms
Typical Products: VirtualBox, VMWare
Process Virtual Machine (PVM)
Simpler model
Rule out platform diﬀerences
Run apps written in diﬀerent ISAs
Typical Products: JVM, SPIM

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Figure 1: A taxonomy of Virtual Machines

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Instruction Emulation

Interpretation
Easy to implement
Eﬃciency bottleneck
Binary Translation
Speed up, esp. for hotspot codes
Slow startup
Hybrid Approach
Combine the previous two
Select proper strategies at run-time

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Figure 2: Basic steps of instruction emulation

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

MIPS Process Virtual Machine

Programme Loader
Predecoding Interpretation
Table-Driven Execution

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Figure 3: Process Layout
Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

MIPS Instruction Format

I-Type(Immediate)
J-Type(Jump)
R-Type(Register)

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Figure 4: MIPS Instruction Format

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Table-Driven Execution

Switch-loop is suboptimal!

Figure 5: Switch Loop Approach

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Table-Driven Execution(Cont.)

Table-Driven Approach is Better!

(a) Execution Function Table (b) Instruction Execution

Figure 6: Table-Driven Execution

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Conclusion

VM is a promising ﬁeld
VM is worth studying
VM would have an even wider application

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

Project Background
Project Scope
Project Achievements

Thank you!

Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

This document is a project report for developing an online clothes shopping system. It includes sections on the project description, requirements analysis, tools used, software development lifecycle, system design, testing, implementation, maintenance, future scope, and conclusion. The project aims to build a web application that allows customers to browse, select, and purchase clothes online through registering on the site and interacting with the admin module to manage the clothing products and information.

Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps

Kevin Moran

It is common practice for developers of user-facing software to transform a mock-up of a graphical user interface (GUI) into code. This process takes place both at an application’s inception and in an evolutionary context as GUI changes keep pace with evolving features. Unfortunately, this practice is challenging and time-consuming. In this paper, we present an approach that automates this process by enabling accurate prototyping of GUIs via three tasks: detection, classification, and assembly. First, logical components of a GUI are detected from a mock-up artifact using either computer vision techniques or mock-up metadata. Then, software repository mining, automated dynamic analysis, and deep convolutional neural networks are utilized to accurately classify GUI-components into domain-specific types (e.g., toggle-button). Finally, a data-driven, K-nearest-neighbors algorithm generates a suitable hierarchical GUI structure from which a prototype application can be automatically assembled. We implemented this approach for Android in a system called ReDraw. Our evaluation illustrates that ReDraw achieves an average GUI-component classification accuracy of 91% and assembles prototype applications that closely mirror target mock-ups in terms of visual affinity while exhibiting reasonable code structure. Interviews with industrial practitioners illustrate ReDraw’s potential to improve real development workflows.

超級全能危樓改造王 - 增建、改建、打掉重建你的軟體架構？

Pin-Ying Tu

2D to 3D dynamic modeling of architectural plans in Augmented Reality

IRJET Journal

This document describes a research paper that developed an augmented reality application called AR-CHI-TECH. The application takes a 2D floorplan drawing as input, dynamically generates a 3D model from it using image processing and 3D modeling techniques, and then displays the 3D model in augmented reality. This allows users to better visualize architectural plans. The application was created using the Unity3D game engine and Vuforia augmented reality engine. It processes the 2D floorplan using OpenCV to extract structural elements and convert it into a 3D model file. This 3D model is then overlaid onto the original floorplan image using Vuforia when viewed through a mobile device, allowing users to see the floorplan in 3

Internet of things using Raspberry Pi

Yash Gajera

Vision pk1

FRANCESCA MEREU

The Visions Project K. is a low-cost, DIY interactive 3D display device created by Francesca Mereu and Javier Villarroel. It uses a Kinect camera and pyramid structure with an LCD monitor to project 3D images that appear to float in mid-air. The open source software processes the Kinect input for visualizing 3D objects and tracking user interactions like hand gestures. The goal is to experiment with visualizing and interacting with pseudo-holographic images using an easy-to-build prototype with shared plans.

DESIGN AND CONSTRUCTION OF A LINUX BASED WEB (1)

Ibrahim Yusuf Salihu

This document describes the design and construction of a Linux-based, web-controlled surveillance unmanned ground vehicle (UGV). The UGV was developed to remotely survey sewer infrastructure using a camera to determine if the infrastructure is suitable for deploying optical fiber cables. Key aspects included a Raspberry Pi single board computer running Debian Linux, a web interface for remote control and live video streaming, and wheel odometry sensors to track distance traveled. Testing showed the UGV could successfully be controlled remotely via a web interface to navigate and stream live video from inside sewers.

Recent progress on programming methods for industrial robots

Deepak Rotti

Animation and virtual reality movie-making technologies are still witnessing significant progress to this day. Building and stimulating virtual characters inside these applications is a goal. Build a 3D face via using some special tools inside the virtual world is the most important part of identifying a 3D animation. Keen Tools Face Builder add-on for Blender. Interested in creating a 3D face of a famous figure, artist or the general public by adopting several 2D images added to the virtual blinder software environment. The main problem facing these tools is that they deal with high-resolution and sharpness pictures because some images that contain blurring, the result is to build a 3D face model that contains design distortions and non- clearly. in this proposed paper, build a data set for 2D pictures of a specific character (actor), at a resolution of 1920 x 1080 pixels. These images were caught by the camera, different in sharpness and blurring (four types of blurry). Using the “Laplacian Filter algorithm” and OpenCV Library with Python language, to isolate blurry from sharpness 2D images. Sharpness images used to build a 3D face model that gave real and similar results to the character in the pictures.

Cloud web applications: the new perspective of sproutcore

David Saitta

This document summarizes a thesis on AppAware Analytics. It discusses developing a cloud web application using SproutCore to provide analytics on mobile app usage data collected by the AppAware project. Key points include: 1. The application aims to minimize server-side computation and bandwidth usage by handling most processing in the browser. 2. It uses a REST interface to retrieve app and event data from the server in JSON format. 3. Challenges include the large amount of event data and lack of support for caching computed charts on the client-side. The document evaluates if web applications can compete with desktop applications, concluding it is possible for advanced interactions but performance may suffer with large data transfers.

jidesh_res_updated

Jidesh SK

Jidesh SK has over 8 years of experience in information technology, primarily programming in C++. He has worked on several projects involving software development for printers and scanners at AccelFrontline and NeST. Some of his responsibilities included maintaining scan utility software for HP scanners, creating proofs of concept for live virtual machine migration and web-based printer diagnostics, and providing solutions to long-standing bugs. Jidesh also has experience working with network intrusion protection systems and has skills in technologies like VC++, COM, Linux, and modeling tools like UML and Rational Rose.

Thesis presentation: Middleware for Ubicomp - A Model Driven Development Appr...

Till Riedel

With computers that will be interwoven into almost every industrial product like its nervous system (Steinbuch, 1966) we are already approaching what Weiser (1991) called Ubiquitous Computing, in terms of quantity, degree of embedding of computing systems in our life and work environment. This thesis investigates model driven software development (MDSD) approach as a tool for contextual adaption of ubiquitous systems. Ubiquitous Systems (i.e. the embedded devices) are subject to changes that affect the execution of software. The systems are very heterogeneous and and the designer has to take a diverse set of plattforms and ressource constrained hardware into consideration. By implementing a model driven development techniques for core problems of ubiquitous computing, namely distributed execution and heterogeneous communication in ubiquitous systems the work demonstrates that Model Driven Software Development of Ubiquitous Systems maybe used to solve the inherent contradiction between top-down and bottom-up development of networked embedded systems.

Embedded and Reliable Computer Vision

NVIDIA Taiwan

The document discusses computer vision techniques using depth data from cameras. It summarizes LIPS's focus on human-computer interfaces using depth cameras and parallel computing. It also describes how to implement computer vision on embedded systems using CUDA for efficient processing, and how depth data can benefit machine learning by simplifying segmentation and normalization tasks. Applications mentioned include surveillance, augmented reality, and robot vision.

Web 2.0 and LiveQuotes Presentation

Jamie Thingelstad

Large-scale Microtask programming

Emad Aghayi

The key to the effectiveness of crowdsourcing approaches for software engineering is workflow design, representing how complex work is organized into miniature, relatively independent microtasks. Can we propose a workflow that enables microtask programming to be a mainstream software development in industry, large scale software developments, or even open-source projects? In our work, we propose a Behavior-Driven development workflow for performing programming work through self-contained microtasks in the context of implementing a microservice, implemented as a preconfigured cloud IDE called Crowd Microservices. The results of the three studies that we conducted showed initial evidence on the benefits of our approach and several issues that we need to address them.

201001162_report

Shirish Jadav

This document summarizes Shirish Jadav's B-Tech project involving internships at two startups - Aspirations and Transpose. At Aspirations, Shirish tested APIs for cloud storage, online gaming rooms and basic camera motions in a bike racing game. At Transpose, Shirish built hardware with a Raspberry Pi to capture traffic video data using a camera, process it to count vehicles, and send the data to a server. The projects helped Shirish gain experience with game development, hardware prototyping, and communicating across disciplines.

Infrastructure as Code

Prasant Kumar

This document discusses the importance of infrastructure as code (IaC) through a story of a company that struggled to deploy a new application. The company took 4 weeks and 2 days to deploy the application to production due to manually configuring environments. IaC advocates treating infrastructure like code that can be version controlled, tested, and deployed automatically. The document demonstrates deploying a load balancer and servers on DigitalOcean using Terraform as the IaC tool. Benefits of IaC include reuse, automation, version control, testing, documentation, and collaboration.

Sandeep-portfolio-2016

Sandeep Zechariah George

This document provides a portfolio of projects by Sandeep Zechariah George K. It includes 13 projects in various fields including science, art, and technology. For each project there is a brief description of the motivation, process, challenges, and value added. The projects cover a range of areas such as cloud-based holter monitoring, shape displays, mobile application development, virtual and augmented reality, interactive toys, service design, and more. Skills developed include prototyping, software architecture, design, electronics, and more.

Virtualization

imp_satish

Virtualization allows multiple operating systems to run simultaneously on a single physical machine through the use of a hypervisor layer. It provides benefits like server consolidation, application consolidation, sandboxing, and mobility. The main technologies that enable virtualization are the hypervisor and virtual machines. Virtualization can be implemented through full virtualization, para-virtualization, software virtualization, or hardware virtualization. It has become a widely used technology in areas like desktops, servers, and cloud computing.

Parking Lot App

aasalazarmiranda

The document describes a parking spot locator mobile application that uses image processing of camera images of a parking lot to determine occupied and empty spots, stores this data on a server, and allows a mobile application to access current parking availability information to help users find open spots more quickly. The application was developed over several months and tested successfully, and the document reviews the system components, development process, and plans for marketing and expanding the system.

Virtual Simulation Of Systems

Hites

The document describes a virtual simulation course that teaches students to use QUEST simulation software to model production systems and analyze factory layouts and processes. It provides an overview of course objectives such as creating virtual simulations, understanding applications of simulation analysis, and presenting project work. It also outlines requirements and grading criteria for a student project to design a simulation of an ergonomics activity and conduct various analyses.

Simulation as a Decision-Support Tool in Construction Project Management - Si...

Muhtasim Fuad Rafid

Simulation is a powerful tool, critical to effective construction project management. They can provide decision support for different aspects of a construction project, but they have not been adopted widely in the construction industry as they are difficult to use. This thesis has developed Simphony-as-a-Service, an advanced simulation tool that bridges the gap between simulation software and real-world construction practices. The key contributions of this work are the following: Re-architecting Simphony, a powerful multi-functional legacy software, into a cloud-based software as a service on the micro-service architecture for easy adoption; Grounding the tool in a project-modeling language aligned with industry standards; Providing a browseraccessible user interface, tailored to the needs of different stakeholders, i.e., project owners, project managers, and on-site personnel; Incorporating critical-path computation and comparisons to assist in identifying critical tasks and evaluating alternative schedules; Providing APIs for real-time project progress tracking, enhancing monitoring capabilities, and enabling model re-simulation from any point in time of a project for exploring what-if scenarios and facilitating informed decision-making.

F04402038042

ijceronline

Implementation of embedded arm9 platform using qt and open cv for human upper...

Krunal Patel

: In this Paper, A novel architecture for automotive vision using an embedded device will be implemented on ARM9 Board with highly computing capabilities and low processing power. Currently, achieving real-time image processing routines such as convolution, thresholding, edge detection and some of the complex media applications is a challenging task in embedded Device, because of limited memory. An open software framework, Linux OS is used in embedded devices to provide a good starting point for developing the multitasking kernel, integrated with communication protocols, data management and graphical user interface for reducing the total development time. To resolve the problems faced by the image processing applications in embedded Device a new application environment was developed. This environment provides the resources available in the operating system which runs on the hardware with complex image processing libraries. This paper presents the capture of an image from the USB camera, applied to image processing algorithms to Detect Human Upper Body. The application (GUI) Graphical User Interface was designed using Qt and ARM Linux gcc Integrated Development Environment (IDE) for implementing image processing algorithm using Open Source Computer Vision Library (OpenCV). This developed software integrated in mobiles by the cross compilation of Qt and the OpenCV software for Linux Operating system. The result utilized by Viola and Jones Algorithm with Haar Features of the image using OpenCV.

Dayananda_M.Tech_CSE

Dayananda D.R

This document contains contact and experience details for Dayananda D R, a software engineer. It summarizes his qualifications including 2 years of experience in Java automation and debugging, 6 months of experience in Python automation, and experience working with VMware virtualization technologies like vSphere, vCenter Server, and ESXi. It also lists projects he has worked on, including developing test cases for VM migration features in vSphere 2016, developing a UI for an automation project at VMware, and performing testing on Android security patches. His skills include programming in Java and Python, Linux, VMware products, test automation frameworks, and version control tools.

Static Reference Analysis for GUI Objects in Android Software

Dacong (Tony) Yan

The popularity of Android software has grown dramatically in the last few years. It is essential for researchers in programming languages and compilers to contribute new techniques in this increasingly important area. Such techniques require a foundation of program analyses for Android. The target of our work is static object reference analysis, which models the flow of object references. Existing reference analyses cannot be applied directly to Android because the software is component-based and event-driven. An Android application is driven by a graphical user interface (GUI), with GUI objects responding to user actions. These objects and the event handlers associated with them ultimately determine the possible flow of control and data. We propose the first static analysis to model GUI-related Android objects, their flow through the application, and their interactions with each other via the abstractions defined by the Android platform. A formal semantics for the relevant Android constructs is developed to provide a solid foundation for this and other analyses. Next, we propose a constraint-based reference analysis based on the semantics. The analysis employs a constraint graph to model the flow of GUI objects, the hierarchical structure of these objects, and the effects of relevant Android operations. Experimental evaluation on real-world Android applications strongly suggests that the analysis achieves high precision with low cost. The analysis enables static modeling of control/data flow that is foundational for compiler analyses, instrumentation for event/interaction profiling, static error checking, security analysis, test generation, and automated debugging. It provides a key component to be used by compile-time analysis researchers in the growing area of Android software.

LeakChecker: Practical Static Memory Leak Detection for Managed Languages

Dacong (Tony) Yan

Static detection of memory leaks in a managed language such as Java is attractive because it does not rely on any leak-triggering inputs, allowing compile-time tools to find leaks before software is released. A long-standing issue that prevents practical static memory leak detection for Java is that it can be very expensive to statically determine object liveness in large applications. We present a novel (and the first practical) static leak detection technique that bypasses this problem by considering a common leak pattern. In many cases severe leaks occur in loops where, in each iteration, some objects created by the iteration are unnecessarily referenced by objects external to the loop. These unnecessary references are never used in later loop iterations. Based on this insight, we shift our focus from computing liveness, which is very difficult to achieve precisely and efficiently for large programs, to the easier goal of identifying objects that flow out of a loop but never flow back in. We formalize this analysis using a type and effect system and present its key properties. The analysis was implemented in a tool called LeakChecker and used to detect leaks in eight real-world programs, such as Eclipse, Derby, and log4j. LeakChecker not only identified known leaks, but also discovered new ones whose causes were unknown beforehand, while exhibiting a false positive rate suitable for practical use.

Similar to A Toy Virtual Machine Project

Agile project management in IT - Sebastian Sussmann

DevDay Da Nang

Creating Digital Twins Using Rapid Development Techniques.pdf

ICS

DataArt

Alison B. Lowndes

3D face creation via 2D images within blender virtual environment

nooriasukmaningtyas

Cloud web applications: the new perspective of sproutcore

David Saitta

jidesh_res_updated

Jidesh SK

Thesis presentation: Middleware for Ubicomp - A Model Driven Development Appr...

Till Riedel

Embedded and Reliable Computer Vision

NVIDIA Taiwan

Web 2.0 and LiveQuotes Presentation

Jamie Thingelstad

Large-scale Microtask programming

Emad Aghayi

201001162_report

Shirish Jadav

Infrastructure as Code

Prasant Kumar

Sandeep-portfolio-2016

Sandeep Zechariah George

Virtualization

imp_satish

Parking Lot App

aasalazarmiranda

Virtual Simulation Of Systems

Hites

Simulation as a Decision-Support Tool in Construction Project Management - Si...

Muhtasim Fuad Rafid

F04402038042

ijceronline

Implementation of embedded arm9 platform using qt and open cv for human upper...

Krunal Patel

Dayananda_M.Tech_CSE

Dayananda D.R

Similar to A Toy Virtual Machine Project (20)

Agile project management in IT - Sebastian Sussmann

Creating Digital Twins Using Rapid Development Techniques.pdf

DataArt

3D face creation via 2D images within blender virtual environment

Cloud web applications: the new perspective of sproutcore

jidesh_res_updated

Thesis presentation: Middleware for Ubicomp - A Model Driven Development Appr...

Embedded and Reliable Computer Vision

Web 2.0 and LiveQuotes Presentation

Large-scale Microtask programming

201001162_report

Infrastructure as Code

Sandeep-portfolio-2016

Virtualization

Parking Lot App

Virtual Simulation Of Systems

Simulation as a Decision-Support Tool in Construction Project Management - Si...

F04402038042

Implementation of embedded arm9 platform using qt and open cv for human upper...

Dayananda_M.Tech_CSE

More from Dacong (Tony) Yan

Static Reference Analysis for GUI Objects in Android Software

Dacong (Tony) Yan

LeakChecker: Practical Static Memory Leak Detection for Managed Languages

Dacong (Tony) Yan

Systematic Testing for Resource Leaks in Android Applications

Dacong (Tony) Yan

The use of mobile devices and the complexity of their software continue to grow rapidly. This growth presents significant challenges for software correctness and performance. In addition to traditional defects, a key consideration are defects related to the limited resources available on these devices. Resource leaks in an application, due to improper management of resources, can lead to slowdowns, crashes, and negative user experience. Despite a large body of existing work on leak detection, testing for resource leaks remains a challenging problem. We propose a novel and comprehensive approach for systematic testing for resource leaks in Android software. Similar to existing testing techniques, the approach is based on a GUI model, but is focused specifically on coverage criteria aimed at resource leak defects. These criteria are based on neutral cycles: sequences of GUI events that should have a "neutral" effect and should not lead to increases in resource usage. We have defined several test coverage criteria based on different categories of neutral cycles in the GUI model. This approach is informed by knowledge of typical causes of resource leaks in Android software. We have also developed LeakDroid, a tool that generates test cases to trigger repeated execution of neutral cycles. When the test cases are executed, resource usage is monitored for suspicious behaviors. The approach has been evaluated on several Android applications. The evaluation demonstrates that the proposed test generation effectively uncovers a variety of resource leaks.

SherLog: Error Diagnosis by Connecting Clues from Run-time Logs

Dacong (Tony) Yan

The document describes SherLog, a tool for error diagnosis in software by analyzing runtime logs. It infers possible execution paths, variables, and their values to identify root causes of failures without reproducing the exact failure environment. The tool works by parsing logs, inferring paths and variable values, and was evaluated on several cases where it successfully identified useful information for debugging. The discussion considers how results from the tool could be used to automate further debugging steps.

Efficient Diversity-Aware Search

Dacong (Tony) Yan

The document discusses efficient diversity-aware search. It begins by explaining how traditional search focuses only on relevance but ignores users' own perspectives, which can lead to redundant results. It then introduces diversity-aware search as a solution. The key aspects covered include a vector space data model, a user behavior model that considers relevance and novelty, and quantifying answer quality. The document primarily focuses on the DivGen approach, which incrementally computes candidate documents while maintaining usefulness bounds to enable early pruning. Novel data access primitives like bound access, batch sequential access, and document random access are introduced to improve efficiency.

AVIO class present

Dacong (Tony) Yan

The document describes the AVIO technique for detecting atomicity violations. It works by extracting access interleaving invariants from correct program runs during training. These invariants capture valid orderings between pairs of memory accesses. During detection, the program is monitored for violations of these invariants, which could indicate atomicity bugs. Two implementations are discussed: AVIO-H uses hardware support to efficiently track access information, while AVIO-S is a software approach using access tables. The technique is effective but AVIO-H can report more false positives due to limitations in distinguishing between valid interleavings and false sharing.

Demand-Driven Context-Sensitive Alias Analysis for Java

Dacong (Tony) Yan

This document describes a demand-driven context-sensitive alias analysis for Java. It introduces a symbolic points-to graph representation that enables efficient demand-driven analysis without computing full points-to sets. The analysis uses method summaries to improve precision and reduce redundancy. Experimental results show the analysis has higher precision than a state-of-the-art points-to analysis and summaries provide up to 24% speedup.

Rethinking Soot for Summary-Based Whole-Program Analysis

Dacong (Tony) Yan

This document discusses supporting summary-based whole-program analysis in the Soot program analysis framework. It presents a case study on an alias analysis that used summary-based techniques to analyze both application and library code. Experimental results showed significant potential savings in analysis running time from using summaries. The document discusses challenges in implementing summary-based analysis in Soot, including developing configuration mechanisms, managing summary information, and verifying that summaries are consistent with the program code.

Uncovering Performance Problems in Java Applications with Reference Propagati...

Dacong (Tony) Yan

The document discusses reference propagation profiling, a technique for uncovering performance problems in Java applications. It is implemented in the Jikes RVM compiler by instrumenting code to track data dependencies and propagate references between memory locations. This allows analyzing applications to find inefficiencies like objects not being assigned to the heap or imbalance between operation costs and benefits. The profiling has high overhead but provides insights to assist with manual performance tuning.

Scope vs YSmart

Dacong (Tony) Yan

YSmart is a SQL-to-MR translator that aims to eliminate redundancies in MapReduce jobs by identifying three types of correlations: input correlation, transit correlation, and job flow correlation. While existing approaches like sentence-by-sentence translation and SCOPE have limitations, YSmart is able to merge correlated MapReduce jobs into fewer jobs through straightforward optimization. However, YSmart is not optimizing as well as expected, suggesting the need for better programming languages and program analysis techniques tailored to big data analytics.

More from Dacong (Tony) Yan (10)

Static Reference Analysis for GUI Objects in Android Software

LeakChecker: Practical Static Memory Leak Detection for Managed Languages

Systematic Testing for Resource Leaks in Android Applications

SherLog: Error Diagnosis by Connecting Clues from Run-time Logs

Efficient Diversity-Aware Search

AVIO class present

Demand-Driven Context-Sensitive Alias Analysis for Java

Rethinking Soot for Summary-Based Whole-Program Analysis

Uncovering Performance Problems in Java Applications with Reference Propagati...

Scope vs YSmart

Recently uploaded

dbms calicut university B. sc Cs 4th sem.pdf

Shinana2

Choosing The Best AWS Service For Your Website + API.pptx

Brandon Minnick, MBA

Have you ever been confused by the myriad of choices offered by AWS for hosting a website or an API? Lambda, Elastic Beanstalk, Lightsail, Amplify, S3 (and more!) can each host websites + APIs. But which one should we choose? Which one is cheapest? Which one is fastest? Which one will scale to meet our needs? Join me in this session as we dive into each AWS hosting service to determine which one is best for your scenario and explain why!

Generating privacy-protected synthetic data using Secludy and Milvus

Zilliz

During this demo, the founders of Secludy will demonstrate how their system utilizes Milvus to store and manipulate embeddings for generating privacy-protected synthetic data. Their approach not only maintains the confidentiality of the original data but also enhances the utility and scalability of LLMs under privacy constraints. Attendees, including machine learning engineers, data scientists, and data managers, will witness first-hand how Secludy's integration with Milvus empowers organizations to harness the power of LLMs securely and efficiently.

Digital Marketing Trends in 2024 | Guide for Staying Ahead

Wask

https://www.wask.co/ebooks/digital-marketing-trends-in-2024 Feeling lost in the digital marketing whirlwind of 2024? Technology is changing, consumer habits are evolving, and staying ahead of the curve feels like a never-ending pursuit. This e-book is your compass. Dive into actionable insights to handle the complexities of modern marketing. From hyper-personalization to the power of user-generated content, learn how to build long-term relationships with your audience and unlock the secrets to success in the ever-shifting digital landscape.

Astute Business Solutions | Oracle Cloud Partner |

AstuteBusiness

GNSS spoofing via SDR (Criptored Talks 2024)

Javier Junquera

In the realm of cybersecurity, offensive security practices act as a critical shield. By simulating real-world attacks in a controlled environment, these techniques expose vulnerabilities before malicious actors can exploit them. This proactive approach allows manufacturers to identify and fix weaknesses, significantly enhancing system security. This presentation delves into the development of a system designed to mimic Galileo's Open Service signal using software-defined radio (SDR) technology. We'll begin with a foundational overview of both Global Navigation Satellite Systems (GNSS) and the intricacies of digital signal processing. The presentation culminates in a live demonstration. We'll showcase the manipulation of Galileo's Open Service pilot signal, simulating an attack on various software and hardware systems. This practical demonstration serves to highlight the potential consequences of unaddressed vulnerabilities, emphasizing the importance of offensive security practices in safeguarding critical infrastructure.

Public CyberSecurity Awareness Presentation 2024.pptx

marufrahmanstratejm

Digital Banking in the Cloud: How Citizens Bank Unlocked Their Mainframe

Precisely

Inconsistent user experience and siloed data, high costs, and changing customer expectations – Citizens Bank was experiencing these challenges while it was attempting to deliver a superior digital banking experience for its clients. Its core banking applications run on the mainframe and Citizens was using legacy utilities to get the critical mainframe data to feed customer-facing channels, like call centers, web, and mobile. Ultimately, this led to higher operating costs (MIPS), delayed response times, and longer time to market. Ever-changing customer expectations demand more modern digital experiences, and the bank needed to find a solution that could provide real-time data to its customer channels with low latency and operating costs. Join this session to learn how Citizens is leveraging Precisely to replicate mainframe data to its customer channels and deliver on their “modern digital bank” experiences.

Main news related to the CCS TSI 2023 (2023/1695)

Jakub Marek

An English 🇬🇧 translation of a presentation to the speech I gave about the main changes brought by CCS TSI 2023 at the biggest Czech conference on Communications and signalling systems on Railways, which was held in Clarion Hotel Olomouc from 7th to 9th November 2023 (konferenceszt.cz). Attended by around 500 participants and 200 on-line followers. The original Czech 🇨🇿 version of the presentation can be found here: https://www.slideshare.net/slideshow/hlavni-novinky-souvisejici-s-ccs-tsi-2023-2023-1695/269688092 . The videorecording (in Czech) from the presentation is available here: https://youtu.be/WzjJWm4IyPk?si=SImb06tuXGb30BEH .

5th LF Energy Power Grid Model Meet-up Slides

DanBrown980551

5th Power Grid Model Meet-up It is with great pleasure that we extend to you an invitation to the 5th Power Grid Model Meet-up, scheduled for 6th June 2024. This event will adopt a hybrid format, allowing participants to join us either through an online Mircosoft Teams session or in person at TU/e located at Den Dolech 2, Eindhoven, Netherlands. The meet-up will be hosted by Eindhoven University of Technology (TU/e), a research university specializing in engineering science & technology. Power Grid Model The global energy transition is placing new and unprecedented demands on Distribution System Operators (DSOs). Alongside upgrades to grid capacity, processes such as digitization, capacity optimization, and congestion management are becoming vital for delivering reliable services. Power Grid Model is an open source project from Linux Foundation Energy and provides a calculation engine that is increasingly essential for DSOs. It offers a standards-based foundation enabling real-time power systems analysis, simulations of electrical power grids, and sophisticated what-if analysis. In addition, it enables in-depth studies and analysis of the electrical power grid’s behavior and performance. This comprehensive model incorporates essential factors such as power generation capacity, electrical losses, voltage levels, power flows, and system stability. Power Grid Model is currently being applied in a wide variety of use cases, including grid planning, expansion, reliability, and congestion studies. It can also help in analyzing the impact of renewable energy integration, assessing the effects of disturbances or faults, and developing strategies for grid control and optimization. What to expect For the upcoming meetup we are organizing, we have an exciting lineup of activities planned: -Insightful presentations covering two practical applications of the Power Grid Model. -An update on the latest advancements in Power Grid -Model technology during the first and second quarters of 2024. -An interactive brainstorming session to discuss and propose new feature requests. -An opportunity to connect with fellow Power Grid Model enthusiasts and users.

Your One-Stop Shop for Python Success: Top 10 US Python Development Providers

akankshawande

HCL Notes and Domino License Cost Reduction in the World of DLAU

panagenda

Webinar Recording: https://www.panagenda.com/webinars/hcl-notes-and-domino-license-cost-reduction-in-the-world-of-dlau/ The introduction of DLAU and the CCB & CCX licensing model caused quite a stir in the HCL community. As a Notes and Domino customer, you may have faced challenges with unexpected user counts and license costs. You probably have questions on how this new licensing approach works and how to benefit from it. Most importantly, you likely have budget constraints and want to save money where possible. Don’t worry, we can help with all of this! We’ll show you how to fix common misconfigurations that cause higher-than-expected user counts, and how to identify accounts which you can deactivate to save money. There are also frequent patterns that can cause unnecessary cost, like using a person document instead of a mail-in for shared mailboxes. We’ll provide examples and solutions for those as well. And naturally we’ll explain the new licensing model. Join HCL Ambassador Marc Thomas in this webinar with a special guest appearance from Franz Walder. It will give you the tools and know-how to stay on top of what is going on with Domino licensing. You will be able lower your cost through an optimized configuration and keep it low going forward. These topics will be covered - Reducing license cost by finding and fixing misconfigurations and superfluous accounts - How do CCB and CCX licenses really work? - Understanding the DLAU tool and how to best utilize it - Tips for common problem areas, like team mailboxes, functional/test users, etc - Practical examples and best practices to implement right away

Driving Business Innovation: Latest Generative AI Advancements & Success Story

Safe Software

Are you ready to revolutionize how you handle data? Join us for a webinar where we’ll bring you up to speed with the latest advancements in Generative AI technology and discover how leveraging FME with tools from giants like Google Gemini, Amazon, and Microsoft OpenAI can supercharge your workflow efficiency. During the hour, we’ll take you through: Guest Speaker Segment with Hannah Barrington: Dive into the world of dynamic real estate marketing with Hannah, the Marketing Manager at Workspace Group. Hear firsthand how their team generates engaging descriptions for thousands of office units by integrating diverse data sources—from PDF floorplans to web pages—using FME transformers, like OpenAIVisionConnector and AnthropicVisionConnector. This use case will show you how GenAI can streamline content creation for marketing across the board. Ollama Use Case: Learn how Scenario Specialist Dmitri Bagh has utilized Ollama within FME to input data, create custom models, and enhance security protocols. This segment will include demos to illustrate the full capabilities of FME in AI-driven processes. Custom AI Models: Discover how to leverage FME to build personalized AI models using your data. Whether it’s populating a model with local data for added security or integrating public AI tools, find out how FME facilitates a versatile and secure approach to AI. We’ll wrap up with a live Q&A session where you can engage with our experts on your specific use cases, and learn more about optimizing your data workflows with AI. This webinar is ideal for professionals seeking to harness the power of AI within their data management systems while ensuring high levels of customization and security. Whether you're a novice or an expert, gain actionable insights and strategies to elevate your data processes. Join us to see how FME and AI can revolutionize how you work with data!

Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack

shyamraj55

Azure API Management to expose backend services securely

Dinusha Kumarasiri

TrustArc Webinar - 2024 Global Privacy Survey

TrustArc

How does your privacy program stack up against your peers? What challenges are privacy teams tackling and prioritizing in 2024? In the fifth annual Global Privacy Benchmarks Survey, we asked over 1,800 global privacy professionals and business executives to share their perspectives on the current state of privacy inside and outside of their organizations. This year’s report focused on emerging areas of importance for privacy and compliance professionals, including considerations and implications of Artificial Intelligence (AI) technologies, building brand trust, and different approaches for achieving higher privacy competence scores. See how organizational priorities and strategic approaches to data security and privacy are evolving around the globe. This webinar will review: - The top 10 privacy insights from the fifth annual Global Privacy Benchmarks Survey - The top challenges for privacy leaders, practitioners, and organizations in 2024 - Key themes to consider in developing and maintaining your privacy program

Skybuffer SAM4U tool for SAP license adoption

Tatiana Kojar

Manage and optimize your license adoption and consumption with SAM4U, an SAP free customer software asset management tool. SAM4U, an SAP complimentary software asset management tool for customers, delivers a detailed and well-structured overview of license inventory and usage with a user-friendly interface. We offer a hosted, cost-effective, and performance-optimized SAM4U setup in the Skybuffer Cloud environment. You retain ownership of the system and data, while we manage the ABAP 7.58 infrastructure, ensuring fixed Total Cost of Ownership (TCO) and exceptional services through the SAP Fiori interface.

Programming Foundation Models with DSPy - Meetup Slides

Zilliz

leewayhertz.com-AI in predictive maintenance Use cases technologies benefits ...

alexjohnson7307

Taking AI to the Next Level in Manufacturing.pdf

ssuserfac0301

Read Taking AI to the Next Level in Manufacturing to gain insights on AI adoption in the manufacturing industry, such as: 1. How quickly AI is being implemented in manufacturing. 2. Which barriers stand in the way of AI adoption. 3. How data quality and governance form the backbone of AI. 4. Organizational processes and structures that may inhibit effective AI adoption. 6. Ideas and approaches to help build your organization's AI strategy.

Recently uploaded (20)

dbms calicut university B. sc Cs 4th sem.pdf

Choosing The Best AWS Service For Your Website + API.pptx

Generating privacy-protected synthetic data using Secludy and Milvus

Digital Marketing Trends in 2024 | Guide for Staying Ahead

Astute Business Solutions | Oracle Cloud Partner |

GNSS spoofing via SDR (Criptored Talks 2024)

Public CyberSecurity Awareness Presentation 2024.pptx

Digital Banking in the Cloud: How Citizens Bank Unlocked Their Mainframe

Main news related to the CCS TSI 2023 (2023/1695)

5th LF Energy Power Grid Model Meet-up Slides

Your One-Stop Shop for Python Success: Top 10 US Python Development Providers

HCL Notes and Domino License Cost Reduction in the World of DLAU

Driving Business Innovation: Latest Generative AI Advancements & Success Story

Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack

Azure API Management to expose backend services securely

TrustArc Webinar - 2024 Global Privacy Survey

Skybuffer SAM4U tool for SAP license adoption

Programming Foundation Models with DSPy - Meetup Slides

leewayhertz.com-AI in predictive maintenance Use cases technologies benefits ...

Taking AI to the Next Level in Manufacturing.pdf

A Toy Virtual Machine Project

1. Project Background Project Scope Project Achievements Virtual Machine Project Presented by Yan Dacong School of Software, SJTU September 25, 2008 Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

2. Project Background Project Scope Project Achievements Agenda 1 Project Background 2 Project Scope 3 Project Achievements Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

3. Project Background Project Scope Project Achievements Project Background Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

4. Project Background Project Scope Project Achievements Why study virtual machines? Ubiquitous Applications Personal & Commercial Desktop & Workstation Challenging & Exciting Operating System Compatibility Computer Architecture Compatibility Promising future Trend: servers much stronger computation ability Make full use via VM Technology Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

5. Project Background Project Scope Project Achievements Project Scope What we are doing in this PRP: Get acquaintance with basic concepts of virtual machines Acquire familiarity with applications of virtual machines Master the basic techniques of virtual machine implementation Develop a process virtual machine for MIPS What we are NOT doing in this PRP: Implement a full-scale system virtual machine Develop a brand-new virtual machine model Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

6. Project Background Project Scope Project Achievements Project Achievements Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

7. Project Background Project Scope Project Achievements Project Achievenments Categories of VM Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

8. Project Background Project Scope Project Achievements Project Achievenments Categories of VM Instruction Emulation Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

9. Project Background Project Scope Project Achievements Project Achievenments Categories of VM Instruction Emulation MIPS Process Virtual Machine Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

10. Project Background Project Scope Project Achievements Project Achievenments Categories of VM Instruction Emulation MIPS Process Virtual Machine Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

11. Project Background Project Scope Project Achievements Categories of VM System Virtual Machine (SVM) First developments: 1960s 1970s Complete system enrionments Run apps simultaneously on multiple platforms Typical Products: VirtualBox, VMWare Process Virtual Machine (PVM) Simpler model Rule out platform diﬀerences Run apps written in diﬀerent ISAs Typical Products: JVM, SPIM Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

12. Project Background Project Scope Project Achievements Figure 1: A taxonomy of Virtual Machines Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

13. Project Background Project Scope Project Achievements Instruction Emulation Interpretation Easy to implement Eﬃciency bottleneck Binary Translation Speed up, esp. for hotspot codes Slow startup Hybrid Approach Combine the previous two Select proper strategies at run-time Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

14. Project Background Project Scope Project Achievements Figure 2: Basic steps of instruction emulation Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

15. Project Background Project Scope Project Achievements MIPS Process Virtual Machine Programme Loader Predecoding Interpretation Table-Driven Execution Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

16. Project Background Project Scope Project Achievements Figure 3: Process Layout Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

17. Project Background Project Scope Project Achievements MIPS Instruction Format I-Type(Immediate) J-Type(Jump) R-Type(Register) Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

18. Project Background Project Scope Project Achievements Figure 4: MIPS Instruction Format Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

19. Project Background Project Scope Project Achievements Table-Driven Execution Switch-loop is suboptimal! Figure 5: Switch Loop Approach Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

20. Project Background Project Scope Project Achievements Table-Driven Execution(Cont.) Table-Driven Approach is Better! (a) Execution Function Table (b) Instruction Execution Figure 6: Table-Driven Execution Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

21. Project Background Project Scope Project Achievements Conclusion VM is a promising ﬁeld VM is worth studying VM would have an even wider application Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

22. Project Background Project Scope Project Achievements Thank you! Yan Dacong, Zhang Xuchao, Duan Beichen Virtual Machine Project

A Toy Virtual Machine Project

Recommended

Recommended

More Related Content

Similar to A Toy Virtual Machine Project

Similar to A Toy Virtual Machine Project (20)

More from Dacong (Tony) Yan

More from Dacong (Tony) Yan (10)

Recently uploaded

Recently uploaded (20)

A Toy Virtual Machine Project