Full Publications

1. Junxing Zhang, Mohammad Hamed Firooz, Neal Patwari, and Sneha Kumar Kasera, "Advancing Wireless Link Signatures for Location Distinction," In Proceedings of 14th Annual International Conference on Mobile Computing and Networking(Mobicom-08), Sep. 14-19, San Francisco, CA. (Paper, Talk)
2. Junxing Zhang and Indrajit Ray, "Towards Secure Multi-sited Transactional Revision Control System", Computer Standards and Interfaces, Volume 29, Issue 3 (March 2007) Pages: 365-375.
3. Indrajit Ray and Junxing Zhang, "Towards a New Standard for Allowing Consistency in Revision Control Systems", Computer Standards and Interfaces, Volume 29, Issue 3 (March 2007) Pages: 355-3654.
4. P. Sugavanam, H. J. Siegel, A. A. Maciejewski, M. Oltikar, A. Mehta, R. Pichel, A. Horiuchi, V. Shestak, M. Al-Otaibi, Y. Krishnamurthy, S. Ali, J. Zhang, M. Aydin, P. Lee, K. Guru, M. Raskey, and A. Pippin, "Robust Static Allocation of Resources for Independent Tasks under Makespan and Dollar Cost Constraints," Journal of Parallel and Distributed Computing, Vol. 67, No. 4, pp. 400-416, Apr.2007.
5. Robert Ricci, Jonathon Duerig, Pramod Sanaga, Daniel Gebhardt, Mike Hibler, Kevin Atkinson, Junxing Zhang, Sneha Kasera, and Jay Lepreau, “The Flexlab Approach to Realistic Evaluation of Networked Systems,” In Proceedings of the Fourth USENIX Symposium on Networked Systems Design and Implementation (NSDI 2007), pages 201-214, Cambridge, MA, April 2007.
6. Jonathon Duerig, Robert Ricci, Junxing Zhang, Daniel Gebhardt, Sneha Kasera, Jay Lepreau, “Flexlab: A Realistic, Controlled, and Friendly Environment for Evaluating Networked Systems,” Fifth Workshop on Hot Topics in Networks (HotNets-V), Irvine, CA, November 2006.
7. Jonathon Duerig, Robert Ricci, Junxing Zhang, Sneak Kasera, and Jay Lepreau, “An Application-Centric Approach to Emulating Internet Paths”. In Poster Session of NSDI ‘06, San Jose, California.
8. Junxing Zhang and Konrad Slind, “Verification of Euclid's Algorithm for Finding Multiplicative Inverses,” 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), Emerging Trends.
9. Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, and Junxing Zhang, “Functional Correctness Proofs of Encryption Algorithms,” 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2005).
10. Konrad Slind, Steven Barrus, Seungkeol Choe, Chris Condrat, Jianjun Duan, Sivaram Gopalakrishnan, Aaron Knoll, Hiro Kuwahara, Guodong Li, Scott Little, Lei Liu, Steffanie Moore, Robert Palmer, Claurissa Tuttle, Sean Walton, Yu Yang, and Junxing Zhang, “Teaching a HOL Course: Experience Report,” 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), Emerging Trends.
11. P. Sugavanam, H. J. Siegel, A. A. Maciejewski, J. Zhang, V. Shestak, M. Raskey, A. Pippin, R. Pichel, M. Oltikar, A. Mehta, P. Lee, Y. Krishnamurthy, A. Horiuchi, K. Guru, M. Aydin, M. Al-Otaibi, and S. Ali, "Robust Mapping of Independent Tasks when Dollar Cost for Processors is a Constraint," 4th International Workshop on Algorithms, Models, and Tools for Parallel Computing on Heterogeneous Networks (HeteroPar-05), in the proceedings of the 2005 International Conference on Cluster Computing (Cluster 2005), Boston, MA, Sept. 2005.
12. P. V. Sugavanam, H. J. Siegel, A. A. Maciejewski, S. A. Ali, M. Al-Otaibi, M. Aydin, K. Guru, A. Horiuchi, Y. G. Krishnamurthy, P. Lee, A. Mehta, M. Oltikar, R. Pichel, A. J. Pippin, M. Raskey, V. Shestak, and J. Zhang, "Processor Allocation for Tasks that is Robust Against Errors in Computation Time Estimates," 14th Heterogeneous Computing Workshop (HCW 2005), in the CD-ROM proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), Denver, CO, April 4-8, 2005.
13. Junxing Zhang and Indrajit Ray, “Secure Multi-Sited Version Control System,” Proceedings of the Sixth IFIP WG 11.5 Conference on Integrity and Control in Information Systems, Lausanne, Switzerland, November 13-14, Kluwer Academic Publishers, 2003.