The DiSL project has been accepted by the OW2

DiSL now appears on the OW2 home page, http://www.ow2.org/view/ActivitiesDashboard/DiSL. If you want to involve this project, please contact us.

Comments

TCloud Lecture S1E1 – How to Use Latex

This is the video of the training in last Friday (2012/6/22).

http://www.tudou.com/playlist/id15808086.html

Comments

Call for Participation for Java Byte Code Instrumentation Tool’s Training

本周四(6月21日上午9点)在软件学院3401室将举办一场主题为Java字节码注入的培训和实验讲座,届时将分别介绍两种字节码注入工具ASM以及DiSL。
字节码注入是程序分析的基础工具,可以在这个上面构建一系列的程序分析工具,例如代码统计、复杂度分析、指针分析、代码漏洞分析、程序正确性验证等,具有广泛的用途。 如果你对Java很感兴趣,亦或者你所研究的科研项目中需要用到类似的技术,本次提供了一个良好的机会,提供大家一个学习和交流的机会。完成由主办方给出的测试试题者,将获赠存放上述教学资料的U盘一个。我们邀请到瑞士卢加诺大学的Walter Binder带领的团队为我们做本次培训。 Walter Binder 2003-2006年在EFPL作为博士后,2006年至今在瑞士卢加诺大学任教,现任资深助理教授。研究方向为动态程序分析、并发程序、面向方面编程和云计算,近三年在ICSE、WWW、ICSM、OOPSLA、AOSD、ICWS 等著名会议以及IEEE Transactions on Software Engineering、Journal of Software、SPE、CCPE、STTT等学术期刊上发表了近20余篇论文。
他们开发了一个开源的Java注入工具DiSL,已经在AOSD、TOOLS 等软件工程著名的会议上发表了成果。DiSL支持以多种方式筛选注入点,允许用户直接将Java代码内联至注入点中。此外,DiSL还支持对静态、动态上下文信息的高效访问,以及在同一方法的两个不同的注入点之间利用临时变量传递信息。
主讲者为来自瑞士卢加诺大学的博士生Aibek Sarimbekov,并由郑雨迪加以中文补充说明。

名额有限,如有意者请将姓名、联系方式以及专业背景发送至jhengyudi@gmail.com 。

Comments

Welcome Prof. Walter Binder, Prof. Matthias Hauswirth, and Prof. Nate Nystrom to Visit Our Lab

Agenda

Topics:

  • Algorithm profiling slide
  • Catching perceptible performance bugs in the field slide
  • Evaluate Workshop Series & Evaluate Collaboratory slide

talk
talk
talk
talk

Comments

A Paper Has Been Accepted for Publication in SPE

A paper “A Refined Decompiler to Generate C Code with High Readability” has been accepted for publication in Software: Practice and Experience(SPE). Congratulations!

Comments

Welcome Mingyuan and Qian Lin to Visit Our Group

We have a nice discussion with Mingyuan and Qian Lin last Monday (May 28). Thanks a lot!

Comments

A Paper Has Been Accepted for Publication in JSS

A paper “Optimizing Virtual Machines Using Hybrid Virtualization” has been accepted for publication in JSS. Congratulations!

Comments

A Paper Has Been Accepted for Publication in Digital Investigation

A paper “Vis: Virtualization Enhanced Live Forensics Acquisition for Native System” has been accepted for publication in Digital Investigation. Congratulations!

Comments

Welcome Krause Rolf to Our Lab

Krause Rolf(Home Page) visited our lab, delivering a speech about the software in Computational Science this noon(4/20/2012).

Rolf's talk

Comments

Welcome Walter Binder to Our Lab

Walter Binder(Homepage) with two Doctor candidate Danilo Ansaloni and Lukáš Marek(Homepage) visit our lab, delivering a speech this afternoon(2012/4/18).

The speech began with a welcome and introdution by ZhengYudi.Then Danilo made a presentation about their Dynamic progame Analysis Tool called DiSL, which consists of its overview, ideas, design, implements and evaluation. Moreover, Lukas shows how to design a simple project and how to run it on eclipse. After a short disscssion, the speech ends successfully.

Binder's talk

Comments