Selected Publications

TROPIC: Transactional Resource Orchestration Platform In the Cloud. (PDF) (Talk)
Changbin Liu, Yun Mao, Xu Chen, Mary Fernandez, Boon Thau Loo, and Jacobus Van der Merwe.
2012 USENIX Annual Technical Conference (ATC’12). (18.4% acceptance)

Cologne: A Declarative Distributed Constraint Optimization Platform. (PDF) (Talk)
Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, and Prithwish Basu.
38th International Conference on Very Large Databases (VLDB’12).

PUMA: Policy-based Unified Multi-radio Architecture for Agile Mesh Networking. (PDF) (Talk)
Changbin Liu, Ricardo Correa, Harjot Gill, Tanveer Gill, Xiaozhou Li, Shivkumar Muthukumar, Taher Saeed, Boon Thau Loo, and Prithwish Basu.
4th International Conference on Communication Systems and Networks (COMSNETS), Jan 2012. (27% acceptance)

Declarative Policy-based Adaptive Mobile Ad Hoc Networking. (PDF)
Changbin Liu, Richardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, and Yun Mao.
ACM/IEEE Transactions on Networking (TON), 2011.

Declarative Automated Cloud Resource Orchestration. (PDF) (Talk)
Changbin Liu, Boon Thau Loo, and Yun Mao.
ACM Symposium on Cloud Computing (SOCC), Cascais, Portugal, Oct 2011. (16.9% acceptance)

Cloud Resource Orchestration: A Data-Centric Approach. (PDF)
Changbin Liu, Yun Mao, Jacobus Van der Merwe, and Mary Fernandez.
In Proceedings of the biennial Conference on Innovative Data Systems Research (CIDR), Asilomar, CA, Jan 2011. (about 20% acceptance)

Declarative Policy-based Adaptive MANET Routing. (PDF) (Talk)
Changbin Liu, Richardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, and Yun Mao.
17th IEEE International Conference on Network Protocols (ICNP), Princeton, New Jersey, Oct, 2009. (18.3% acceptance)

Other Publications

Declarative Constraint Optimization in Distributed Systems. (PDF)
Changbin Liu, and Boon Thau Loo.
Workshop on Languages for Distributed Algorithms (LADA), co-located with POPL, Jan 2012.

Recent Advances in Declarative Networking. (PDF)
Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, and Wenchao Zhou.
Fourteenth International Symposium on Practical Aspects of Declarative Languages (PADL), co-located with POPL, Jan 2012. (invited paper)

A Policy-based Constraint-solving Platform Towards Extensible Wireless Channel Selection and Routing. (PDF) (Talk)
Changbin Liu, Xiaozhou Li, Shivkumar C. Muthukumar, Harjot Gill, Taher Saeed, Boon Thau Loo, and Prithwish Basu.
ACM Workshop on Programmable Routers for Extensible Services of TOmorrow (PRESTO), in conjunction with ACM CoNEXT, Philadelphia, PA, Dec 2010.

Formally Verifiable Networking. (PDF)
Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, and Prithwish Basu.
8th Workshop on Hot Topics in Networks (ACM SIGCOMM HotNets-VIII), New York, Oct 2009. (16.0% acceptance)

RapidMesh: Declarative Toolkit for Rapid Experimentation of Wireless Mesh Networks. (PDF)
Shivkumar C. Muthukumar, Xiaozhou Li, Changbin Liu, Joseph B. Kopena, Mihai Oprea, Richardo Correa, Boo`n Thau Loo, and Prithwish Basu.
4th ACM International Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization (WiNTECH 2009), in conjunction with ACM MobiCom, Beijing, China, Sept, 2009.

A Theorem Proving Approach Towards Declarative Networking. (PDF)
Anduo Wang, Boon Thau Loo, Changbin Liu, Oleg Sokolsky, Prithwish Basu.
22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs) emerging trends proceedings, Munich, Germany, Aug 2009.

A Declarative Perspective on Adaptive MANET Routing. (PDF) (Talk)
Changbin Liu, Yun Mao, Mihai Oprea, Prithwish Basu, and Boon Thau Loo.
ACM SIGCOMM Workshop on Programmable Routers for Extensible Services of TOmorrow (PRESTO), Seattle, WA, Aug 2008.

Network Utility Maximization for Triple-Play Services. (PDF)
Lei Shi, Changbin Liu, Bin Liu.
Computer Communications, Volume 31, Number 10, Feb 2008, Pages 2257-2269.

Max-min Utility Fairness in Link Aggregated Systems. (PDF)
Satya R. Mohanty, Changbin Liu, Bin Liu,Laxmi N. Bhuyan.
High Performance Switching and Routing (HPSR), New York, NY, May 2007.

Utility Based Bandwidth Allocation for Triple-Play Services. (PDF)
Changbin Liu, Lei Shi, Bin Liu.
European Conference on Universal Multiservice Networks (ECUMN), Toulouse, France, Feb 2007.

Patents

Yun Mao, Mary Fernandez, Changbin Liu, Jacobus Van Der Merwe, U.S. Patent Application filed September 2011, AT&T Docket Number 2010-1037 – “Cloud Infrastructure Services”.

Yun Mao, Changbin Liu, Boon Thau Loo, Jacobus Van der Merwe, U.S. Patent Application filed October 2011, AT&T Docket Number 2011-0012 – “Systems, Methods, and Articles of Manufacture to Provide Cloud Resource Orchestration”.

Prototype Demonstrations

PUMA: Policy-based Unified Multi-radio Architecture for Agile Mesh Networking. (PDF)
Tanveer Gill, Changbin Liu, Lu Ren, Harjot Gill, Boon Thau Loo, and Prithwish Basu.
4th International Conference on Communication Systems and Networks (COMSNETS) (demo), Jan 2012.

Towards Transactional Cloud Resource Orchestration. (PDF)
Changbin Liu, Yun Mao, Xu Chen, Mary Fernandez, Boon Thau Loo, and Jacobus Van der Merwe.
USENIX conference on Networked Systems Design and Implementation (NSDI) (poster and demo), Boston, USA, Mar 2011.

Declarative Toolkit for Rapid Network Protocol Simulation and Experimentation. (PDF)
Shivkumar C. Muthukumar, Xiaozhou Li, Changbin Liu, Joseph B. Kopena, Mihai Oprea, and Boon Thau Loo.
ACM SIGCOMM Conference on Data Communication (demo), Barcelona, Spain, Aug 2009.

A Demonstration of the RapidMesh Development Toolkit. (PDF)
Xiaozhou Li, Shivkumar C. Muthukumar, Changbin Liu, Joseph B. Kopena, Mihai Oprea, Richardo Correa, Boon Thau Loo, and Prithwish Basu.
4th ACM International Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization (WiNTECH 2009) demonstration, in conjunction with ACM MobiCom, Beijing, China, Sept, 2009.

Technical Report

Spectrum Sharing in Dynamic Spectrum Access Networks. (PDF)
Changbin Liu.
In University of Pennsylvania CIS Dept. Technical Report, MS-CIS-09-11, June, 2009. In partial fulfillment of the Written Preliminary Exam II.

News