User contributions
- 06:07, 18 August 2014 (diff | hist) . . (-2,733) . . Jeff Huang (Replaced content with "Jeff [http://www.jeffhuang.tk/ www.jeffhuang.tk] was a postdoc at FSL working with [http://fsl.cs.uiuc.edu/index.php/Grigore_Rosu Grigore Rosu] from 2013/03-2014/08. He th...") (top)
- 19:51, 23 June 2014 (diff | hist) . . (+86) . . News
- 19:49, 23 June 2014 (diff | hist) . . (-19) . . ROSRV: Runtime Verification for Robots (top)
- 23:38, 17 June 2014 (diff | hist) . . (-13) . . ROSRV: Runtime Verification for Robots
- 04:08, 28 March 2014 (diff | hist) . . (-11) . . Maximal Causal Models for Multithreaded Systems
- 14:58, 23 March 2014 (diff | hist) . . (-88) . . ROSRV
- 18:29, 1 March 2014 (diff | hist) . . (+146) . . N ROSRV: Runtime Verification for Robots (Created page with "<private><pubbib id='huang-moore-luo-erdogan-zhang-sundaresan-rosu-2014-cav-tool-submission' template='PubDefaultWithAbstractAndTitle'/></private>")
- 18:12, 1 March 2014 (diff | hist) . . (+119) . . News
- 18:38, 1 December 2013 (diff | hist) . . (+116) . . N Maximal Sound Predictive Race Detection with Control Flow Abstraction (Created page with "<private><pubbib id='huang-meredith-rosu-2014-pldi-submission' template='PubDefaultWithAbstractAndTitle'/></private>")
- 14:47, 1 October 2013 (diff | hist) . . (+111) . . N Generic Predictive Trace Analysis with Thread Local Traces (Created page with "<private><pubbib id='huang-luo-rosu-2014-icse-submission' template='PubDefaultWithAbstractAndTitle'/></private>") (top)
- 22:18, 12 July 2013 (diff | hist) . . (0) . . Maximal Dynamic Race Detection With Control Flow (top)
- 21:42, 12 July 2013 (diff | hist) . . (+116) . . N Maximal Dynamic Race Detection With Control Flow (Created page with "<private><pubbib id='huang-meredith-rosu-2013-popl-submission' template='PubDefaultWithAbstractAndTitle'/></private>")
- 19:38, 26 May 2013 (diff | hist) . . (0) . . Jeff Huang
- 14:24, 30 March 2013 (diff | hist) . . (-1) . . Jeff Huang
- 20:01, 29 March 2013 (diff | hist) . . (+3,021) . . Jeff Huang
- 20:00, 29 March 2013 (diff | hist) . . (+2,285) . . People
- 19:59, 29 March 2013 (diff | hist) . . (0) . . File:Jeffhuang.jpg (Jeffhuang uploaded a new version of "File:Jeffhuang.jpg") (top)
- 19:58, 29 March 2013 (diff | hist) . . (0) . . File:Jeffhuang.jpg (Jeffhuang uploaded a new version of "File:Jeffhuang.jpg")
- 19:54, 29 March 2013 (diff | hist) . . (0) . . File:Jeffhuang.jpg (Jeffhuang uploaded a new version of "File:Jeffhuang.jpg")
- 19:52, 29 March 2013 (diff | hist) . . (0) . . File:Jeffhuang.jpg (Jeffhuang uploaded a new version of "File:Jeffhuang.jpg")
- 19:50, 29 March 2013 (diff | hist) . . (0) . . N File:Jeffhuang.jpg
