Следене
Jeff Huang
Jeff Huang
Lynn ’84 and Bill Crane ’83 Faculty Fellow, Associate Professor, Computer Science and Engineering
Потвърден имейл адрес: cse.tamu.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
Maximal sound predictive race detection with control flow abstraction
J Huang, PON Meredith, G Rosu
Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014
2002014
Deepsim: deep learning code functional similarity
G Zhao, J Huang
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
1692018
Clap: Recording local executions to reproduce concurrency failures
J Huang, C Zhang, J Dolby
Acm Sigplan Notices 48 (6), 141-152, 2013
1412013
Clap: Recording local executions to reproduce concurrency failures
J Huang, C Zhang, J Dolby
Acm Sigplan Notices 48 (6), 141-152, 2013
1392013
LEAP: Lightweight deterministic multi-processor replay of concurrent Java programs
J Huang, P Liu, C Zhang
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
1382010
ROSRV: Runtime verification for robots
J Huang, C Erdogan, Y Zhang, B Moore, Q Luo, A Sundaresan, G Rosu
International Conference on Runtime Verification, 247-254, 2014
1222014
Stateless model checking concurrent programs with maximal causality reduction
J Huang
ACM SIGPLAN Notices 50 (6), 165-174, 2015
922015
Persuasive prediction of concurrency access anomalies
J Huang, C Zhang
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
902011
Attacking the brain: Races in the {SDN} control plane
L Xu, J Huang, S Hong, J Zhang, G Gu
26th USENIX Security Symposium (USENIX Security 17), 451-468, 2017
772017
EHBDroid: Beyond GUI testing for Android applications
W Song, X Qian, J Huang
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
672017
Functional code clone detection with syntax and semantics fusion learning
C Fang, Z Liu, Y Shi, J Huang, Q Shi
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
562020
Maximal causality reduction for TSO and PSO
S Huang, J Huang
ACM SIGPLAN Notices 51 (10), 447-461, 2016
542016
GPredict: Generic predictive concurrency analysis
J Huang, Q Luo, G Rosu
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
382015
D4: fast concurrency debugging with parallel differential analysis
B Liu, J Huang
ACM SIGPLAN Notices 53 (4), 359-373, 2018
332018
Lean: Simplifying concurrency bug reproduction via replay-supported execution reduction
J Huang, C Zhang
Proceedings of the ACM international conference on Object oriented …, 2012
332012
ECHO: instantaneous in situ race detection in the IDE
S Zhan, J Huang
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
322016
Precise and maximal race detection from incomplete traces
J Huang, AK Rajagopalan
Acm Sigplan Notices 51 (10), 462-476, 2016
322016
An efficient static trace simplification technique for debugging concurrent programs
J Huang, C Zhang
International Static Analysis Symposium, 163-179, 2011
322011
Automated generation of event-oriented exploits in android hybrid apps
G Yang, J Huang
Proc. of the Network and Distributed System Security Symposium (NDSS'18), 2018
302018
Study and mitigation of origin stripping vulnerabilities in hybrid-postmessage enabled mobile applications
G Yang, J Huang, G Gu, A Mendoza
2018 IEEE Symposium on Security and Privacy (SP), 742-755, 2018
282018
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20