Parasol

Results: 173



#Item
21Speeding Up Maximal Causality Reduction with Static Dependency Analysis∗ Shiyou Huang1 and Jeff Huang2 1 Texas A&M University, College Station, USA

Speeding Up Maximal Causality Reduction with Static Dependency Analysis∗ Shiyou Huang1 and Jeff Huang2 1 Texas A&M University, College Station, USA

Add to Reading List

Source URL: parasol.tamu.edu

Language: English - Date: 2018-02-17 22:55:07
    22D4: Fast Concurrency Debugging with Parallel Differential Analysis Bozhen Liu Jeff Huang

    D4: Fast Concurrency Debugging with Parallel Differential Analysis Bozhen Liu Jeff Huang

    Add to Reading List

    Source URL: parasol.tamu.edu

    Language: English - Date: 2018-05-22 21:26:28
      23IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 42, NO. 3, MARCH 2016

      IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 42, NO. 3, MARCH 2016

      Add to Reading List

      Source URL: parasol.tamu.edu

      Language: English - Date: 2016-08-02 09:58:49
        24Automated Generation of Event-Oriented Exploits in Android Hybrid Apps Guangliang Yang, Jeff Huang, and Guofei Gu Texas A&M University {ygl, jeffhuang, guofei}@tamu.edu

        Automated Generation of Event-Oriented Exploits in Android Hybrid Apps Guangliang Yang, Jeff Huang, and Guofei Gu Texas A&M University {ygl, jeffhuang, guofei}@tamu.edu

        Add to Reading List

        Source URL: parasol.tamu.edu

        Language: English - Date: 2018-02-17 23:03:39
          25What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective∗ Jeff Huang1 and Arun K. Rajagopalan2 1

          What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective∗ Jeff Huang1 and Arun K. Rajagopalan2 1

          Add to Reading List

          Source URL: parasol.tamu.edu

          Language: English - Date: 2018-02-17 23:03:33
            26Stateless Model Checking Concurrent Programs with Maximal Causality Reduction Jeff Huang Texas A&M University, USA

            Stateless Model Checking Concurrent Programs with Maximal Causality Reduction Jeff Huang Texas A&M University, USA

            Add to Reading List

            Source URL: parasol.tamu.edu

            Language: English - Date: 2015-05-29 19:40:12
              27Lightweight Concurrency Crash Reproduction Without Logging Shared Memory Dependencies and Program States Jeff Huang Initially   x==y==0;

              Lightweight Concurrency Crash Reproduction Without Logging Shared Memory Dependencies and Program States Jeff Huang Initially   x==y==0;

              Add to Reading List

              Source URL: parasol.tamu.edu

              Language: English - Date: 2012-07-04 10:55:14
                28Scalable Thread Sharing Analysis Jeff Huang Parasol Laboratory Texas A&M University je↵@cse.tamu.edu

                Scalable Thread Sharing Analysis Jeff Huang Parasol Laboratory Texas A&M University je↵@cse.tamu.edu

                Add to Reading List

                Source URL: parasol.tamu.edu

                Language: English - Date: 2016-08-02 09:58:46
                  29Jennifer Lundelius Welch Regents Professor, Chevron Professor II Parasol Laboratory Department of Computer Science and Engineering office phone: (

                  Jennifer Lundelius Welch Regents Professor, Chevron Professor II Parasol Laboratory Department of Computer Science and Engineering office phone: (

                  Add to Reading List

                  Source URL: parasol.tamu.edu

                  Language: English - Date: 2015-09-14 15:51:45
                    30LEAN: Simplifying Concurrency Bug Reproduction via Replay-supported Execution Reduction Jeff Huang Charles Zhang

                    LEAN: Simplifying Concurrency Bug Reproduction via Replay-supported Execution Reduction Jeff Huang Charles Zhang

                    Add to Reading List

                    Source URL: parasol.tamu.edu

                    Language: English - Date: 2012-08-09 01:35:41