Updated publications

UpdatePublications.py

@@ -67,7 +67,10 @@ def main():
         # Get the bib
         if uri is not None:
             print("Processing: " + first_name + " " + last_name)
-
+
+            if len(uri) <= 0:
+                continue
+
             # Get all the entries for the person
             resp = requests.get(uri)
             bib_database = bibtexparser.loads(resp.text)

_publications/Anh_ZiprA.md

@@ -0,0 +1,7 @@
+---
+title: "Zipr: A High-Impact, Robust, Open-Source, Multi-Platform, Static Binary Rewriter"
+date: 2023-01-01
+venue: ""
+paperurl: https://doi.org/10.48550/ARXIV.2312.00714
+authors: "Jason D Hiser, Anh NguyenTuong and Jack W Davidson"
+---

_publications/Lu_IntroductionTo.md

@@ -0,0 +1,7 @@
+---
+title: "Introduction To The Special Issue On Runtime Verification"
+date: 2023-01-01
+venue: ""
+paperurl: https://doi.org/10.1007/S10009-023-00722-1
+authors: "Lu Feng and Dana Fisman"
+---

_publications/Mary Lou_Cit4DnnGenerating.md

@@ -0,0 +1,7 @@
+---
+title: "Cit4Dnn: Generating Diverse And Rare Inputs For Neural Networks Using Latent Space Combinatorial Testing"
+date: 2024-01-01
+venue: "Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024"
+paperurl: https://doi.org/10.1145/3597503.3639106
+authors: "Swaroopa Dola, Rory McDaniel, Matthew B Dwyer and Mary Lou Soffa"
+---

_publications/Matthew_HarnessingNeuron.md

@@ -0,0 +1,7 @@
+---
+title: "Harnessing Neuron Stability To Improve Dnn Verification"
+date: 2024-01-01
+venue: ""
+paperurl: https://doi.org/10.48550/ARXIV.2401.14412
+authors: "Hai Duong, Dong Xu, ThanhVu Nguyen and Matthew B Dwyer"
+---

_publications/Matthew_MeasuringFeature.md

@@ -0,0 +1,7 @@
+---
+title: "Measuring Feature Dependency Of Neural Networks By Collapsing Feature Dimensions In The Data Manifold"
+date: 2024-01-01
+venue: ""
+paperurl: https://doi.org/10.48550/ARXIV.2404.12341
+authors: "Yinzhu Jin, Matthew B Dwyer and P Thomas Fletcher"
+---

_publications/Matthew_TrainingFor.md

@@ -0,0 +1,7 @@
+---
+title: "Training For Verification: Increasing Neuron Stability To Scale Dnn Verification"
+date: 2024-01-01
+venue: "Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III"
+paperurl: https://doi.org/10.1007/978-3-031-57256-2_2
+authors: "Dong Xu, Nusrat Jahan Mozumder, Hai Duong and Matthew B Dwyer"
+---

_publications/Sebastian_DeeperNotions.md

@@ -0,0 +1,7 @@
+---
+title: "Deeper Notions Of Correctness In Image-Based Dnns: Lifting Properties From Pixel To Entities"
+date: 2023-01-01
+venue: "Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023"
+paperurl: https://doi.org/10.1145/3611643.3613079
+authors: "Felipe Toledo, David Shriver, Sebastian G Elbaum and Matthew B Dwyer"
+---

_publications/Sebastian_InvestigatingController.md

@@ -3,5 +3,5 @@ title: "Investigating Controller Evolution And Divergence Through Mining And Mut
 date: 2020-01-01
 venue: "11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020"
 paperurl: https://doi.org/10.1109/ICCPS48487.2020.00022
-authors: "Balaji Balasubramaniam, Hamid Bagheri, Sebastian G Elbaum and Justin Bradley"
+authors: "Balaji Balasubramaniam, Hamid Bagheri, Sebastian G Elbaum and Justin M Bradley"
 ---

_publications/Sebastian_S3CSpatial.md

@@ -0,0 +1,7 @@
+---
+title: "S3C: Spatial Semantic Scene Coverage For Autonomous Vehicles"
+date: 2024-01-01
+venue: "Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024"
+paperurl: https://doi.org/10.1145/3597503.3639178
+authors: "Trey Woodlief, Felipe Toledo, Sebastian G Elbaum and Matthew B Dwyer"
+---

_publications/Sebastian_SoftwareEngineering.md

@@ -0,0 +1,7 @@
+---
+title: "Software Engineering For Robotics: Future Research Directions; Report From The 2023 Workshop On Software Engineering For Robotics"
+date: 2024-01-01
+venue: ""
+paperurl: https://doi.org/10.48550/ARXIV.2401.12317
+authors: "Claire Le Goues, Sebastian G Elbaum, David J Anthony, Z Berkay Celik, Mauricio CastilloEffen, Nikolaus Correll, Pooyan Jamshidi, Morgan Quigley, Trenton Tabor and Qi Zhu"
+---

_publications/Soneya Binta_ADeep.md

@@ -0,0 +1,7 @@
+---
+title: "A Deep Dive Into Large Language Models For Automated Bug Localization And Repair"
+date: 2024-01-01
+venue: ""
+paperurl: https://doi.org/10.48550/ARXIV.2404.11595
+authors: "Soneya Binta Hossain, Nan Jiang, Qiang Zhou, Xiaopeng Li, WenHao Chiang, Yingjun Lyu, Hoan Nguyen and Omer Tripp"
+---

_publications/Soneya Binta_EnsuringCritical.md

@@ -0,0 +1,7 @@
+---
+title: "Ensuring Critical Properties Of Test Oracles For Effective Bug Detection"
+date: 2024-01-01
+venue: "Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024"
+paperurl: https://doi.org/10.1145/3639478.3639791
+authors: "Soneya Binta Hossain"
+---

_publications/Will_AlgorithmSelection.md

@@ -0,0 +1,7 @@
+---
+title: "Algorithm Selection For Software Verification Using Graph Neural Networks"
+date: 2024-01-01
+venue: ""
+paperurl: https://doi.org/10.1145/3637225
+authors: "Will Leeson and Matthew B Dwyer"
+---