Dongli Zhang

My Github


My RPE Paper List
My Reading List
Malware & VM Introspection Papers

I am a PhD student working with Prof. Radu Sion in NSAC




Education:

PhD in Computer Science     State University of New York at Stony Brook     2012
M.Sc in Computer Science     State University of New York at Stony Brook     2010-2012
B.Eng in Computer Science and Technology     Shandong University of Science and Technology     2006-2010



Teaching Assistant:

CSE215     Foundations of Computer Science     2012 Fall     Paul Fodor
CSE528     Computer Graphics (TA page)     2012 Fall     Hong Qin
CSE303     Introduction to the Theory of Computation     2013 Spring     Leo Bachmair
CSE328     Fundamentals of Computer Graphics (TA page)     2013 Spring     Hong Qin
CSE230     Intermediate Programming in C and C++     2013 Spring     Ahmad Esmaili



Courses:

CSE533     Network Programming     Hussein Badr     2010 Fall
CSE548     Analysis of Algorithms     Michael Bender     2010 Fall
CSE549     Computational Biology     Steve Skiena     2010 Fall
CSE540     Theory of Computation     Ker-I Ko     2010 Fall
CSE534     Fundamentals of Computer Networks     Hussein Badr     2011 Spring
CSE532     Theory of Database Systems     Michael Kifer     2011 Spring
CSE508     Network Security     Rob Johnson     2011 Spring
CSE528     Computer Graphics     Hong Qin     2011 Fall
CSE506     Operating Systems     Donald Porter     2011 Fall
CSE530     Geometric Foundations for Graphics and Visualization     Hong Qin     2012 Spring
CSE555     Computational Geometry     Joe Mitchell     2013 Spring
CSE530     Visualization     David Gu     2013 Spring



Projects:

Stable Fluid Simulation

The implementation of Stable Fluid and Visual Simulation of Smoke
       

SPH Fluid Simulation

  
  
Source Code: SPH GPU_2D     SPH GPU_3D
SPH_CPU_2D     SPH CPU_3D
Rendered with Marching Cube

Adaptive SPH Fluid Simulation

Designed my own way to split and merge particles adaptively Technical Report A  Technical Report B
          
  

Concurrency Verification System

A simulator for concurrency Petri Net model. Demo the relation between DFA and Petri Net

Universal Installer for XSB

Support Windows 7(both 32-bit and 64-bit), Ubuntu, Debian, SUSE, Fedora, etc
  

Module for Ganglia

Enable the feature for Ganglia to collect information from Xen and KVM
     

Mesh Viewer

  

Convex Hull Algorithm Repository


CPU based Ray Tracing

  

MIT JOS Kernel

Besides JOS, I also added the process migration feature. I borrowed this idea from virtual machine migration
   

Other Projects





Links to papers

IEEE Symposium on Security and Privacy (Oakland)
ACM Computer and Communications Security (CCS)
USENIX Security Symposium
Network and Distributed System Security Symposium (NDSS)
International Conference on Virtual Execution Environments (VEE)
Annual Computer Security Application Conference (ACSAC)
The International Symposium on Research in Attacks, Intrusions and Defenses (RAID)
IEEE International Symposium on Reliable Distributed Systems (SRDS)
European Symposium on Research in Computer Security (ESORICS)
ACM European Conference on Computer Systems (EuroSys)
ACM Symposium on Operating Systems Principles (SOSP)
International Conference on Distributed Computing Systems (ICDCS)
ACM Symposium on Cloud Computing (SoCC)
USENIX Annual Technical Conference (ATC)
USENIX Symposium on Operating Systems Design and Implementation (OSDI)
USENIX Symposium on Networked Systems Design and Implementation (NSDI)
IEEE International Conference on Computer Communications (INFOCOM)
Special Interest Group on Operating Systems (SIGOPS)
Special Interest Group on Management of Data (SIGMOD)
Very Large Data Bases (VLDB)
IEEE Transactions on Dependable and Secure Computing (TDSC)
IEEE Transactions on Information Forensics and Security (TIFS)
ACM Transactions on Information and System Security (TISSEC)
Computers & Security
IEEE International Parallel & Distributed Processing Symposium (IPDPS)
Supercomputing (SC)
Visualization for Cyber Security (VizSec)
Selected Papers in Anonymity
Resource for Computer Graphics


Other:

This is my favorite animal conservation organization in China, called LuckyCats. My dream is to run a LuckyDogs with my wife in the future.




System & Security Links:

secmobi lab
kanxue security
Direct Kernel Object Manipulation (DKOM)
http://www.oldlinux.org/
http://people.cs.nctu.edu.tw/~chenwj/dokuwiki/doku.php?id=bochs
http://people.cs.nctu.edu.tw/~chenwj/dokuwiki/doku.php?id=qemu
System Security and Binary Code Analysis
Kernel Travel
USFCA CS 686: Special Topic: Intel EM64T and VT Extensions (Spring 2007)
TXT Inroduction
Linux Cross Reference
Linux Init
Linux Kernel Exploration
Ottawa Linux Symposium
Threebit Tutorials
Taint Analysis
Some awesome system paper
BitBlaze
Exploitation Website
Android Signature
Linux-3.10-x86_64 Kernel Configuration Manual (in Chinese)




Computer Graphics and Geometry Links:

OpenGL Lib
http://www.lousodrome.net/opengl/  (OpenGL Tutorial)
http://en.wikibooks.org/wiki/Blender_3D:_Noob_to_Pro#Table_of_Contents  (Blender Example)
http://www.physicsbasedanimation.com/    (Physically Based Animation)
http://www.owlei.com/DancingWind/
http://www.flipcode.com/archives/Raytracing_Topics_Techniques-Part_1_Introduction.shtml
Lapack for Windows
Interesting SDL Tutorial
http://www.cse.ohio-state.edu/~busaryev/Projects/Fluid%20Simulation%20with%20Level%20Set%20Method/
UBC - CS599 Physically Based Modeling for Interactive Simulation and Games