depso

Haiming Chen

Supervisor

Lei Chen

Cooperator

Lixiao Zheng

Cooperator

Zhiwu Xu

Cooperator

Ping Lu

Cooperator

Huisong Li

Cooperator

Feifei Peng

Cooperator

Xiaolan Zhang

Cooperator

Xiaoyong Ni

Cooperator

Yeting Li

2018 PhD Student

Qiancheng Peng

2019 Master Student

Zixuan Chen

2019 Master Student

AHMED ZEESHAN

2019 PhD Student

Yecheng Sun

2020 Master Student

Yixuan Yan

2021 Master Student

Weihao Su

2021 Master Student

Rongchen Li

Beijing University Of Technology

Yang Shen

IBM China

Duanyi Wu

Canada

Xiaojun Dai

IT at Morgan Stanley

Lili Zheng

IT industry, Beijing

Xiaoqiang Feng

Tencent, Beijing

Xiaoying Mou

vivo, Shenzhen

Fanlin Cui

Baidu, Beijing

Chunmei Dong

CMB Network Technology, Shenzhen

Xinyu Chu

China Mobile, Beijing

Xiaofan Wang

2017 PhD Student

Zeyu Li

Beijing University Of Technology

Lingqi Zhang

Beijing University Of Technology

Mingyang An

Beijing University Of Technology

Yuanxin Qiao

Beijing University Of Technology

Current students:

Martin Torp (PhD student)
Oskar Haarklou Veileborg (PhD student)
Georgian-Vlad Saioc (PhD student)

Former PhD students:

Christian Kirkegaard (PhD, 2006, co-supervised with Michael Schwartzbach):
Programming with XML
now at Netcompany
Mathias Schwarz (PhD, April 2013):
Design and Analysis of Web Application Frameworks
now ~~postdoc at CASA~~ ~~at CLC Bio~~ at Uber
Simon Holm Jensen (PhD, April 2013):
Static Analysis for JavaScript
now at ~~Samsung Research America~~ ~~Snowflake Computing~~ Facebook
Asger Feldthaus (PhD, January 2015):
Pointer Analysis for JavaScript Programming Tools
now at ~~Google Aarhus~~ Semmle
Casper S. Jensen (PhD, March 2015):
Automated Testing of Event-Driven Applications
now at Uber
Magnus Madsen (PhD, May 2015):
Static Analysis of Dynamic Languages
now at ~~Samsung Research America~~ ~~University of Waterloo~~ ~~Aalborg University~~ Aarhus University, as assistant professor
Esben Andreasen (PhD, August 2016):
Designing Abstractions for JavaScript Program Analysis
now ~~postdoc at CASA~~ at Semmle
Fabio Strocco (PhD, September 2016):
Type Soundness in the Dart Programming Language
now at ~~Microsoft~~ VOSS
Christoffer Quist Adamsen (PhD, May 2018):
Automated Testing Techniques for Event-Driven and Dynamically Typed Software Applications
now at Google Aarhus
Erik Krogh Kristensen (PhD, October 2019):
Automated Techniques for Creation and Maintenance of TypeScript Declaration Files
now at Semmle
Benjamin Barslev Nielsen (PhD, January 2021):
Static Analysis for Node.js
now postdoc at CASA

Former MSc students:

Christian Kirkegaard (Cand. Scient. 2003):
Towards XML in Programming Languages
Henning Böttger (Cand. Scient., 2004):
Improving Cooperation Between Programmers and HTML Designers Using Contracts
Gunner Olesen (Master IT, 2004):
System Integration with Web Services on the Business Intranet
Torben Ruby (Cand. Scient., 2004):
Specification, Implementation, and Verification of Web Services
Mads Østerby Olesen (Cand. Scient., 2004):
Static Validation of XSLT
Alexander Harrow (Cand. IT, 2005):
XML and Relational Databases - A Survey
Martin Mosegaard Jensen (Cand. Scient., 2006):
Understanding Parametric Shape Analysis
Janus Dam Nielsen (Cand. Scient., 2006):
Relations between Schema Languages for XML
Søren Kuula (Cand. Scient., 2006):
Practical Type-Safe XSLT 2.0 Stylesheet Authoring
Michael Ustrup (Cand. Scient., 2006):
Coding Conventions
Colin Samuel Rosenthal (Cand. IT, 2007):
Contract-Based Web Development
Henrik Thuesen (Cand. Scient., 2007):
Type Checking for JavaScript
Bárður Háskor (Cand. Scient., 2007):
Analysis of String Expressions
Rune Simonsen &
Rasmus Kromann-Larsen (Cand. Scient., 2007):
Analyzing JavaScript Programs
Rasmus Nygaard Andersen (Cand. Scient., 2007):
Web Application Frameworks
Jonas Krarup Dam (Cand. Scient., 2007):
Static Analysis for Java Servlets and JSP
Anders Jacobsen (Cand. Scient., 2007):
Analysis of SAX Applications
Sune Koch Hansen (Cand. Scient., 2008):
Call-Graph Analysis for JavaScript
Kasper Hansen (Cand. Polyt., 2008):
Web Service Standards
Lea Troels Møller Pedersen (Cand. Scient., 2009):
Program Slicing for String Analysis
Ronny Rundberg Bruus (Cand. Scient., 2009):
Safety Analysis for Web Applications
Simon Corfix Lykke (Cand. Scient., 2010):
Streaming XSLT
Jakob Benjamin Boisen Juhl (Cand. Scient., 2010):
Scripting in OpenEngine
Smári Viðarsson Waage (Cand. Scient., 2010):
A Study of Trace-Based Compilation
Anders Viskum (Cand. Scient., 2010):
Web Application Testing
Kristian Klüver Jensen (Cand. Scient., 2010):
Type Checking SQL/XML
Valerio Bruno (MSc, 2011):
Concolic Testing with PALE
Martin C. Thuesen (Cand. Scient., 2011):
Contracts for jQuery
Casper Bach Poulsen (Cand. Scient., 2011):
Improving Automated Testing for JavaScript
Asger Eriksen (Cand. Scient., 2012):
Dart's Type System and Success Types
Morten Poulsen (Master IT, 2013):
An Upgrade of a Legacy Web Service Infrastructure
Jacob Hougaard &
Kasper Føns (Cand. Scient., 2014):
A Study of the DASH Algorithm for Software Property Checking
Morten Passow Odgaard (Master IT, 2014):
JavaScript Type Inference using Dynamic Analysis
Nils Asbjørn Joensen (Cand. Scient., 2014):
Identification of Classes and Modules in JavaScript
Troels Leth Jensen &
Jesper Lindstrøm Nielsen (Cand. Scient., 2015):
Type Inference for Dart
Ulrik Sahl Lystbæk (Cand. Scient., 2015):
Demand-driven Pointer Analysis for Code Completion
Christian Budde Christensen &
Randi Hillerøe (Cand. Scient., 2015)
Type Analysis for PHP Arrays
Alex Fuller Fischer (Cand. Scient., 2018)
Static Analysis for WebAssembly

Supervisor and Cooperators

Haiming Chen

Lei Chen

Lixiao Zheng

Zhiwu Xu

Ping Lu

Huisong Li

Feifei Peng

Xiaolan Zhang

Xiaoyong Ni

Present students

Yeting Li

Qiancheng Peng

Zixuan Chen

AHMED ZEESHAN

Yecheng Sun

Yixuan Yan

Weihao Su

Interns

Rongchen Li

Former students

Yang Shen

Duanyi Wu

Xiaojun Dai

Lili Zheng

Xiaoqiang Feng

Xiaoying Mou

Fanlin Cui

Chunmei Dong

Xinyu Chu

Xiaofan Wang

Zeyu Li

Lingqi Zhang

Mingyang An

Yuanxin Qiao