Showing 1 - 16 results of 16 for search 'Shen, Jiasi', query time: 0.04s Refine Results
  1. 1
    RIFL : a language with filtered iterators

    RIFL : a language with filtered iterators by Shen, Jiasi

    Published 2016
    Get full text
    Thesis
  2. 2
    Program Inference and Regeneration via Active Learning

    Program Inference and Regeneration via Active Learning by Shen, Jiasi

    Published 2023
    Get full text
    Thesis
  3. 3
    Filtered Iterators For Safe and Robust Programs in RIFL

    Filtered Iterators For Safe and Robust Programs in RIFL by Shen, Jiasi, Rinard, Martin

    Published 2015
    Get full text
  4. 4
    Inference and Regeneration of Programs that Store and Retrieve Data

    Inference and Regeneration of Programs that Store and Retrieve Data by Rinard, Martin, Shen, Jiasi

    Published 2017
    Get full text
  5. 5
    Inference and Regeneration of Programs that Manipulate Relational Databases

    Inference and Regeneration of Programs that Manipulate Relational Databases by Shen, Jiasi, Rinard, Martin

    Published 2017
    Get full text
  6. 6
    Using Active Learning to Synthesize Models of Applications That Access Databases

    Using Active Learning to Synthesize Models of Applications That Access Databases by Shen, Jiasi, Rinard, Martin

    Published 2018
    Get full text
    Article
  7. 7
    Using Dynamic Monitoring to Synthesize Models of Applications That Access Databases

    Using Dynamic Monitoring to Synthesize Models of Applications That Access Databases by Shen, Jiasi, Rinard, MArtin

    Published 2018
    Get full text
    Article
  8. 8
    Active Loop Detection for Applications that Access Databases

    Active Loop Detection for Applications that Access Databases by Shen, Jiasi, Rinard, Martin

    Published 2021
    Get full text
    Technical Report
  9. 9
    Active Loop Detection for Applications that Access Databases

    Active Loop Detection for Applications that Access Databases by Shen, Jiasi, Rinard, Martin

    Published 2021
    Get full text
    Technical Report
  10. 10
    An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks

    An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks by Cito, Jürgen, Shen, Jiasi, Rinard, Martin

    Published 2021
    Get full text
    Article
  11. 11
    Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat

    Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat by Shen, Jiasi, Rinard, Martin, Vasilakis, Nikos

    Published 2022
    Get full text
    Article
  12. 12
    Active learning for inference and regeneration of computer programs that store and retrieve data

    Active learning for inference and regeneration of computer programs that store and retrieve data by Rinard, Martin C, Shen, Jiasi, Mangalick, Varun

    Published 2020
    Get full text
    Article
  13. 13
    An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks

    An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks by Cito, Jürgen, Shen, Jiasi, Rinard, Martin C

    Published 2021
    Get full text
    Article
  14. 14
    Characterizing Developer Use of Automatically Generated Patches

    Characterizing Developer Use of Automatically Generated Patches by Cambronero, Jose Pablo, Shen, Jiasi, Cito, Jurgen, Glassman, Elena, Rinard, Martin

    Published 2021
    Get full text
    Article
  15. 15
    Supply-Chain Vulnerability Elimination via Active Learning and Regeneration

    Supply-Chain Vulnerability Elimination via Active Learning and Regeneration by Vasilakis, Nikos, Benetopoulos, Achilles, Handa, Shivam, Schoen, Alizee, Shen, Jiasi, Rinard, Martin

    Published 2022
    Get full text
    Article
  16. 16
    Active learning for software engineering

    Active learning for software engineering by Cambronero, José P., Dang, Thurston H. Y., Vasilakis, Nikos, Shen, Jiasi, Wu, Jerry, Rinard, Martin C.

    Published 2021
    Get full text
    Article

Search Tools: