Sotabase

Career

· Associate Professor, Department of Computer Science & Engineering, University of Minnesota Twin Cities2018–
· Assistant Professor, Indiana University2015–2018
· Researcher, AT&T Labs2012–2014
· Ph.D. in Computer Science and Engineering, University of Michigan2009–2012
· M.S. in Computer Science and Engineering, University of Michigan2007–2009
· MS in Computer Science, McGill University
· B.S. in Computer Science and Engineering, Shanghai Jiao Tong University

Publications (79)

A probabilistic language based upon sampling functions
ACM-SIGACT Symposium on Principles of Programming Languages · 2005
249
cited
Biomechanical energy harvesting for wearable and mobile devices: State-of-the-art and future directions
Applied Energy · 2022
89
cited
Points-to analysis using BDDs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2003
87
cited
A framework for optimizing Java using attributes
International Conference on Compiler Construction · 2001
86
cited
An Active-Passive Measurement Study of TCP Performance over LTE on High-speed Rails
ACM/IEEE International Conference on Mobile Computing and Networking · 2018
64
cited
Understanding IoT Security Through the Data Crystal Ball: Where We Are Now and Where We Are Going to Be
arXiv.org · 2017
56
cited
A Comprehensive Approach to Array Bounds Check Elimination for Java
International Conference on Compiler Construction · 2002
51
cited
Under the Shadow of Sunshine: Understanding and Detecting Bulletproof Hosting on Legitimate Service Provider Networks
IEEE Symposium on Security and Privacy · 2017
50
cited
LBP: Robust Rate Adaptation Algorithm for SVC Video Streaming
IEEE/ACM Transactions on Networking · 2018
47
cited
A Rate Adaptation Algorithm for Tile-based 360-degree Video Streaming
arXiv.org · 2017
41
cited
Compact parallel optical modified-signed-digit arithmetic-logic array processor with electron-trapping device.
Applied Optics · 1999
41
cited
Towards Dynamic Interprocedural Analysis in JVMs
Virtual Machine Research and Technology Symposium · 2004
41
cited
An adaptive, region-based allocator for java
International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing · 2002
37
cited
Systems Immunology Reveals Markers of Susceptibility to West Nile Virus Infection
Clinical and Vaccine Immunology · 2014
37
cited
Bio-inspired bistable piezoelectric energy harvester for powering animal telemetry tags: concept design and preliminary experimental validation
Active and Passive Smart Structures and Integrated Systems XV · 2021
33
cited
Parallel optical negabinary signed-digit computing: algorithm and optical implementation
1999
33
cited
Dynamic interaction of energy-harvesting backpack and the human body to improve walking comfort
Mechanical systems and signal processing · 2022
22
cited
Quartet RNA reference materials improve the quality of transcriptomic data through ratio-based profiling
Nature Biotechnology · 2023
22
cited
Synthesis and application of modified starch as a shell–core main adhesive in a foundry
2010
22
cited
Soot (poster session): a Java bytecode optimization and annotation framework
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2000
18
cited
Sotabase