working on ai section

Author: clegoues

_bibliography/publications.bib

@@ -13,6 +13,7 @@ @inproceedings{yang2024large
   year={2024},
   doi={10.1145/3597503.3623342},
   code={https://github.com/squaresLab/LLMAO},
+  project = {ai}
 }
 
 
@@ -30,15 +31,16 @@ @INPROCEEDINGS {Ye2023PreciseBugCollector
 address = {Los Alamitos, CA, USA},
 month = {sep},
 code = {https://github.com/SophieHYe/PreciseBugs},
-project = {benchmarks}
+project = {benchmarks,ai}
 }
 
 @article{debSyntaxAllYouNeed,
   title = {Syntax Is All You Need: A Universal-Language Approach to Mutant Generation},
   author = {Deb, Sourav and Jain, Kush and {van~Tonder}, Rijnard and {Le~Goues}, Claire and Groce, Alex},
   booktitle = {Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE)},
   series = {FSE 24},
-  year = {2024}
+  year = {2024},
+  project = {transform-testing}
 }
 
 @article{groceFuzzTheMutants,
@@ -83,7 +85,7 @@ @inproceedings{jainContextualPMT
 keywords = {test oracles, mutation analysis, code coverage},
 location = {<conf-loc>, <city>San Francisco</city>, <state>CA</state>, <country>USA</country>, </conf-loc>},
 series = {ESEC/FSE 2023},
-project = {transform-testing}
+project = {transform-testing,ai}
 
 }
 
@@ -102,7 +104,8 @@ @INPROCEEDINGS {raoCATLM
 publisher = {IEEE Computer Society},
 address = {Los Alamitos, CA, USA},
 data = {https://github.com/RaoNikitha/CAT-LM},
-month = {sep}
+month = {sep},
+project = {ai}
 }
 
 @INPROCEEDINGS {jainOracleGap,
@@ -134,7 +137,7 @@ @article{cruz22crayons
   year         = {2023},
   url          = {https://doi.org/10.1145/3548684},
   doi          = {10.1145/3548684},
-project = {repair,new-repair,static-repair}
+project = {repair,new-repair,static-repair,ai}
 }
 
 @article{motwani20tse,
@@ -199,7 +202,8 @@ @inproceedings{SOAR2021
   url          = {https://doi.org/10.1109/ICSE43902.2021.00023},
   doi          = {10.1109/ICSE43902.2021.00023},
   biburl       = {https://dblp.org/rec/conf/icse/NiRYLMMG21.bib},
-  series       = {ICSE '21}
+  series       = {ICSE '21},
+  project = {ai}
 }
 
 @inproceedings{RamosMLMMG23,
@@ -218,7 +222,8 @@ @inproceedings{RamosMLMMG23
   doi          = {10.1109/ASE56229.2023.00117},
   series       = {ASE '23},
   code = {https://github.com/squaresLab/MELT/},
-  data = {https://doi.org/10.5281/zenodo.8226234}
+  data = {https://doi.org/10.5281/zenodo.8226234},
+  project = {ai}
 }
 
 @article{batfix,
@@ -232,6 +237,7 @@ @article{batfix
   doi = {10.1145/3658668},
   journal = {ACM Transactions on Software Engineering and Methodology},
   month = {April},
+  project = {ai}
 }
 
 
@@ -270,7 +276,8 @@ @article{DramkoCDecompilerIssueTaxonomy
   author={Dramko, Luke and Lacomis, Jeremy and Schwartz, Edward J and Vasilescu, Bogdan and {Le~Goues}, Claire},
   booktitle={33rd USENIX Security Symposium},
   series={USENIX Security 24},
-  year={2024}
+  year={2024},
+project = {decomp}
 }
 
 @article{DramkoDIREData2022,
@@ -283,7 +290,7 @@ @article{DramkoDIREData2022
   year         = {2023},
   doi          = {10.1145/3546946},
   series = {TOSEM '22},
-  project = {ai-sbe},
+  project = {decomp,ai}
 }
 
 @inproceedings{ShypulaSuperoptimization2022,
@@ -292,7 +299,7 @@ @inproceedings{ShypulaSuperoptimization2022
   booktitle = {Deep Learning for Code Workshop},
   year = {2022},
   series = {DL4C '22},
-  project = {ai-sbe},
+  project = {decomp,ai},
 }
 
 @inproceedings{ChenVarCLR2022,
@@ -301,7 +308,7 @@ @inproceedings{ChenVarCLR2022
   booktitle = {International Conference on Software Engineering},
   year = {2022},
   series = {ICSE '22},
-  project = {ai-sbe},
+  project = {decomp,ai},
   code = {https://github.com/squaresLab/VarCLR}
 }
 
@@ -351,7 +358,7 @@ @inproceedings{ChenDIRTY2022
   booktitle = {USENIX Security Symposium},
   year = {2022},
   series = {Oakland '22},
-  project = {ai-sbe},
+  project = {decomp,ai},
   code = {https://github.com/CMUSTRUDEL/DIRTY},
    website = {https://dirtdirty.github.io/explorer.html},
 }
@@ -466,7 +473,7 @@ @inproceedings{KatzDetecting2020
   series    = {ICRA '20},
   year      = {2020},
   pages     = {9367--9373},
-  project   = {robots}
+  project   = {robots, ai}
 }
 
 @inproceedings{durieux20msr,
@@ -562,7 +569,8 @@ @inproceedings{msr19rvt
   doi = {10.1109/MSR.2019.00037},
   location = {Montreal, Canada},
   publisher = {{IEEE}/{ACM}},
-  url = {https://doi.org/10.1109/MSR.2019.00037}
+  url = {https://doi.org/10.1109/MSR.2019.00037},
+  project = {benchmarks}
 }
 
 @inproceedings{botse19,
@@ -575,7 +583,8 @@ @inproceedings{botse19
   pages = {43-47},
   keywords = {Syntactics;Maintenance engineering;Computer bugs;Tools;Semantics;Software;Automation;software bots;program transformation;automation;software quality;refactoring;automatic program repair},
   doi = {10.1109/BotSE.2019.00019},
-  issn = {}
+  issn = {},
+  project = {new-repair}
 }
 
 @article{AfzalSOSRepair19,
@@ -649,7 +658,7 @@ @InProceedings{LacomisDIRE2019
   year =         {2019},
   data =         {https://doi.org/10.5281/zenodo.3403077},
   series =       {ASE '19},
-  project = {ai-sbe},
+  project = {decomp,ai}
 }
 
 @ARTICLE{MARS2019,
@@ -694,7 +703,7 @@ @inproceedings{MorenoDART2019
  doi          = {10.1109/SEAMS.2019.00031},
  numpages = {7},
  publisher = {IEEE},
- project = {ai-sbe,robots}
+ project = {robots}
 }
 
 @inproceedings{WeintropCoBlox2018,
@@ -729,6 +738,22 @@ @inproceedings{KinneerDissimilarity2018
   project = {ai-sbe}
 }
 
+@article{sw18ebm,
+  author    = {Claire {Le~Goues} and
+               Ciera Jaspan and
+               Ipek Ozkaya and
+               Mary Shaw and
+               Kathryn T. Stolee},
+  title     = {Bridging the Gap: From Research to Practical Advice},
+  abbrv     = {IEEE SW},
+  journal   = {{IEEE} Software},
+  volume    = {35},
+  number    = {5},
+  pages     = {50--57},
+  year      = {2018},
+  doi       = {10.1109/MS.2018.3571235},
+}
+
 @inproceedings{vanTonderSCB2018,
   author =       {Rijnard {van~Tonder} and John Kotheimer and Claire {Le~Goues}},
   title =        {Semantic Crash Bucketing},
@@ -748,7 +773,7 @@ @InProceedings{JaffeDecompilerNames2018
   year =         2018,
   series =       {ICPC '18},
   pages =        {20--30},
-  project = {ai-sbe},
+  project = {decomp,ai},
 }
 
 @InProceedings{AfzalTuringTest2018,
@@ -772,7 +797,7 @@ @InProceedings{LacomisSMTRenaming2018
   year =         2018,
   month =        {February},
   pages =        {771--774},
-  project = {ai-sbe},
+  project = {decomp,ai}
 }
 
 @InProceedings{KinneerManaging2018,
@@ -1112,6 +1137,7 @@ @InProceedings{LeLikelyInvariants2016
   pages =        {177--188},
   numpages =     12,
   doi =          {10.1145/2931037.2931049},
+  project = {ai}
 }
 
 @InProceedings{TianRecommendation2016,
@@ -1126,7 +1152,7 @@ @InProceedings{TianRecommendation2016
   publisher =    {{IEEE} Computer Society},
   pages =        {1--10},
   doi =          {10.1109/ICPC.2016.7503715},
-  project = {develop}
+  project = {develop,ai}
 }
 
 @InProceedings{OliveiraCrossover2016,
@@ -1386,7 +1412,8 @@ @InProceedings{KatzRNN2018
   series =       {SANER '18},
   pages =        {346--356},
   location =     {Campobasso, Italy},
-  doi =          {10.1109/SANER.2018.8330222}
+  doi =          {10.1109/SANER.2018.8330222},
+  project = {decomp}
 }
 
 @inproceedings{KatzUnderstanding2017,

materials/sw18ebm.pdf

@@ -12,7 +12,7 @@ publications list, and consider contacting us directly or filing an issue with
 this page at
 [https://github.com/squaresLab/squaresLab.github.io](https://github.com/squaresLab/squaresLab.github.io).
 
-We try to be reasonably thorough, but note that this page does not attempt list every paper squaresLab has ever published; see [publications](/publications) for a complete list.
+We try to be reasonably thorough, but note that this page does not attempt to reference every paper squaresLab has ever published; see [publications](/publications) for a more complete list.
 
 ## Program Transformation and Repair
 
@@ -22,7 +22,7 @@ created and analyzed automatic program repair approaches to improve
 their performance and quality of created patches.  We also develop approaches to
 automate other types of transformation, including API updates and migration. This work has produced
 frameworks and toolsets for automatic program transformation and repair, as well
-as datasets for its evaluation. You might be looking for:
+as datasets for its evaluation. 
 
 {% capture transform_text %} 
 
@@ -54,8 +54,8 @@ and repair.
 * [S3 and JFix](https://xuanbachle.github.io/semanticsrepair/): semantics-based
     repair for Java programs.
 * [Static repair of framework directive violations](/publications/#coker21framefix)
-*  [SOSrepair](/publications/AfzalSOSRepair19) (and its predecessor, [SearchRepair](/publications/#KeSearchRepair2015)) SearchRepair and SOSRepair extend and use semantic code search over large repositories of candidate code bases to produce high-quality bug patches.
-* [Crayons](/publications/#cruz22crayons), statically repairing locking API violations in the Linux kernel.
+*  [SOSrepair](/publications/AfzalSOSRepair19) (and its predecessor, [SearchRepair](/publications/#KeSearchRepair2015)) SearchRepair and SOSRepair extend and use semantic code search over repositories of candidate code snippets to produce high-quality bug patches.
+* [Crayons](/publications/#cruz22crayons) statically repairs locking API violations in the Linux kernel.
 
 **Related Publications:**
 
@@ -92,7 +92,7 @@ covers most GenProg-related research, with links to the various GitHub
 repositories, results, and reproduction instructions, as well as a historical
 list of largely GenProg-specific papers (through about 2016).
 
-Papers specific to GP-based repair are listed under search-based softwre engineering, below
+Papers analyzing or evaluating specific components of GP-based repair are (additionally) listed under search-based software engineering.
 
 {% endcapture %}
 
@@ -209,7 +209,7 @@ For completeness, the following publications are those that either (a) overview
 {% endcapture %}
 
 
-Our interest in applying AI to software engineering started with search-based techniques.  Much of our work in this space has been repair-specific, though we have also looked at the application of GP and related search-based approaches for self-adaptive systems and knowledge reuse at the model level. Relevant publications (for both code and models/plans, excluding those that are proposing new APR approaches) include:
+Our interest in applying AI to software engineering started with search-based techniques.  Much of our work in this space has been repair-specific, though we have also looked at the application of GP and related search-based approaches for self-adaptive systems and knowledge reuse at the model level as well. Relevant publications (for both code and models/plans, excluding those that propose new APR approaches, with incidental contributions in SBSE algorithm design) include:
 
 
 <div id="sbseAccordian">
@@ -260,12 +260,61 @@ address via new testing and analysis techniques.
 
 </div>
 
+## Decompilation and reverse engineering
 
-## Tools for Humans
-**Related Publications:**
-- [A Study on the Use of IDE Features for Debugging](/publications/#AfzalMSRChallenge2018)
-- [A Deeper Look into Bug Fixes: Patterns, Replacements, Deletions, and Additions](/publications/#SotoMSRChallenge2016)
+{% capture decomp_papers %}
+
+{% bibliography --query @*[project~=decomp] %}
+
+{% endcapture %}
+
+Our work on improving developer experiences by integrating program analysis with AI includes a line of research on reverse engineering, specifically to improve decompilation and decompiler output.
+
+<div id="decompAccordian">
+
+  <div class="card">
+    <div class="card-header" id="headingDecomp">
+      <h5 class="mb-0">
+        <button class="btn btn-link" data-toggle="collapse" data-target="#collapseDecomp" aria-expanded="true" aria-controls="collapseDecomp">
+        Decompilation and reverse engineering 
+        </button>
+      </h5>
+    </div>
+    <div id="collapseDecomp" class="collapse" aria-labelledby="headingDecomp" data-parent="#decompAccordian">
+      <div class="card-body">{{ decomp_papers | markdownify }}</div>
+    </div>
+  </div>
+
+</div>
+
+## AI and LLMs
+
+{% capture ai_papers %}
+
+{% bibliography --query @*[project~=ai] %}
 
+{% endcapture %}
+
+
+Our work often leverages advances in AI to develop new development tools and QA approaches to improve testing and program transformation.  (This list excludes SBSE-specific work.)
+
+
+<div id="aiAccordian">
+
+  <div class="card">
+    <div class="card-header" id="headingAi">
+      <h5 class="mb-0">
+        <button class="btn btn-link" data-toggle="collapse" data-target="#collapseAi" aria-expanded="true" aria-controls="collapseAi">
+        AI and LLMs for SE
+        </button>
+      </h5>
+    </div>
+    <div id="collapseAi" class="collapse" aria-labelledby="headingAi" data-parent="#aiAccordian">
+      <div class="card-body">{{ ai_papers | markdownify }}</div>
+    </div>
+  </div>
+
+</div>
 
 ## Understanding Develop[ment/er] Practices
 
@@ -279,6 +328,13 @@ state of software quality and which factors affect software quality.
 
 #### Selected Developer Studies
 
+## Tools for Humans
+**Related Publications:**
+- [A Study on the Use of IDE Features for Debugging](/publications/#AfzalMSRChallenge2018)
+- [A Deeper Look into Bug Fixes: Patterns, Replacements, Deletions, and Additions](/publications/#SotoMSRChallenge2016)
+
+
+
 * [Framework Debugging](https://squareslab.github.io/materials/CokerQualitative2019.pdf): an investigation into the challenges of debugging framework application problems. One important finding was that in framework debugging, developers have a difficult time determining the correct way to implement a fix.
 * [Social Attributes on Commit Integration](https://squareslab.github.io/materials/AfzalMSRChallenge2018.pdf): a quick investigation on how the GitHub social attributes of developers can be used to predict if a commit will be accepted or not.
 *  [Prioritizing Exceptions with Behavior Metrics](https://squareslab.github.io/materials/CokerBehavior2017.pdf): a study performed in collaboration with [ABB Inc.](https://new.abb.com) that recommended which exception to fix based on the next actions that users took with the tool after an exception occurred.