[logseq-plugin-git:commit] 2025-06-23T07:40:16.663Z
This commit is contained in:
@@ -2988,7 +2988,7 @@ This paper investigates the conceptual and technical feasibility of a new softwa
|
||||
\par
|
||||
9VTMURYV\{"readingTime":\{"page":9,"data":\{"3":10\}\}\}
|
||||
\par
|
||||
66AQQ5ZI\{"readingTime":\{"page":4,"data":\{"0":560,"1":730,"2":830,"3":500\}\}\}
|
||||
66AQQ5ZI\{"readingTime":\{"page":4,"data":\{"0":590,"1":730,"2":830,"3":500\}\}\}
|
||||
\par
|
||||
78JSCZMI\{"readingTime":\{"page":12,"data":\{"0":810,"1":1060,"2":440,"3":610,"4":430,"5":520,"6":760,"7":220,"8":430,"9":500,"10":200\}\}\}
|
||||
\par
|
||||
@@ -3048,6 +3048,8 @@ NT9K3QWI\{"readingTime":\{"page":22,"data":\{"3":10,"20":10\}\}\}
|
||||
\par
|
||||
PC66MPNE\{"readingTime":\{"page":494,"data":\{"0":10,"4":240,"5":130,"365":10,"368":10,"371":10,"376":10\}\}\}
|
||||
\par
|
||||
PHCY5TNK\{"readingTime":\{"page":5,"data":\{"0":10\}\}\}
|
||||
\par
|
||||
PLHRFXWP\{"readingTime":\{"page":12,"data":\{"0":550,"1":310,"2":460,"3":670,"4":620,"5":350,"6":100,"7":80,"8":80,"9":180\}\}\}
|
||||
\par
|
||||
PM5PCLML\{"readingTime":\{"page":5,"data":\{"0":1480,"1":1350,"2":1000,"3":130,"4":80\}\}\}
|
||||
@@ -3072,7 +3074,9 @@ VLTJ8SXY\{"readingTime":\{"page":9,"data":\{"0":10,"2":30,"5":30\}\}\}
|
||||
\par
|
||||
WLPPNLMM\{"readingTime":\{"page":15,"data":\{"0":10\}\}\}
|
||||
\par
|
||||
WTJQ6HKL\{"readingTime":\{"page":7,"data":\{"0":280,"1":260,"2":90,"3":120,"4":20,"5":40\}\}\}}
|
||||
WTJQ6HKL\{"readingTime":\{"page":7,"data":\{"0":280,"1":260,"2":90,"3":120,"4":20,"5":40\}\}\}
|
||||
\par
|
||||
YEVLCCWZ\{"readingTime":\{"page":5,"data":\{"0":350,"1":770,"2":830,"3":520,"4":20\}\}\}}
|
||||
}
|
||||
|
||||
@misc{AddressingOrganizationalTechnical,
|
||||
@@ -30446,6 +30450,10 @@ It is shown that a distribution of simulation effort over a larger sample of inp
|
||||
Dragonfly is described, a simulator of the behaviours of individual and collection of drones in various environments, involving random contextual variables and different environmental settings, which simulates adaptive behaviours of drones due to exceptional situations.}
|
||||
}
|
||||
|
||||
@misc{Main,
|
||||
title = {Main}
|
||||
}
|
||||
|
||||
@incollection{maiwaldWhatAreReal2019,
|
||||
title = {What {{Are Real JSON Schemas Like}}?: {{An Empirical Analysis}} of {{Structural Properties}}},
|
||||
shorttitle = {What {{Are Real JSON Schemas Like}}?},
|
||||
@@ -35470,6 +35478,14 @@ A model-driven deep neural network-based detector, namely OBMNet, is proposed wh
|
||||
langid = {english}
|
||||
}
|
||||
|
||||
@article{nguyenTeamworkMakesDream2025,
|
||||
title = {Teamwork Makes the Dream Work: {{LLMs-Based Agents}} for {{GitHub README}}.{{MD Summarization}}},
|
||||
author = {Nguyen, Duc S H and Truong, Bach G and Nguyen, Phuong T},
|
||||
date = {2025},
|
||||
abstract = {The proliferation of Large Language Models (LLMs) in recent years has realized many applications in various domains. Being trained with a huge of amount of data coming from various sources, LLMs can be deployed to solve different tasks, including those in Software Engineering (SE). Though they have been widely adopted, the potential of using LLMs cooperatively has not been thoroughly investigated.},
|
||||
langid = {english}
|
||||
}
|
||||
|
||||
@inproceedings{Nicolae2021,
|
||||
title = {Metamodel-Based Prediction of {{On Resistance}} for Microelectronic Power Switches},
|
||||
author = {Nicolae, G. and Buzo, A. and Feuerbaum, C. and Diaconu, C.V. and Cucu, H. and Pelz, G. and Burileanu, C.},
|
||||
|
||||
@@ -4,7 +4,10 @@ boox-notes:: 
|
||||
|
||||
- ### Tasks
|
||||
- [[Missione FSE 2025]]
|
||||
- ### Notes
|
||||
-
|
||||
+9
-8
@@ -8,32 +8,33 @@ title:: DESKTOP
|
||||
-
|
||||
- ### **WEEK FOCUS**
|
||||
- Per la settimana del [[09-06-2025]] il focus e' su queste macro attività
|
||||
- [[Preparazione Intervento PINKAMP]] #todoist-task #SERVICES/PINKAMP
|
||||
- DONE [[Preparazione Intervento PINKAMP]] #todoist-task #SERVICES/PINKAMP
|
||||
id:: 68584e9a-9403-4a2a-87b9-70d3260ead58
|
||||
- [[Linee guida afferenza Collegio dottorato ICT]] #[[todoist-task SERVICES/PHDICT]]
|
||||
- [[Aggiornamento uso fondi progetti]] #todoist-task #ADMIN #PROJECTS
|
||||
- [[Progettazione Offerta Formativa]] #SERVICES/PHDICT #todoist-task
|
||||
- [[PAPERS/MOSAICO-Technical-Report]] #[[PAPERS]] #[[todoist-task]]
|
||||
- Questo deve essere il main focus per le prossime settimane.
|
||||
- #.tabular
|
||||
- **TASKS**
|
||||
- ### **TASKS**
|
||||
collapsed:: true
|
||||
- {{embed [[Tasks]]}}
|
||||
- **BRAINSTORMING**
|
||||
- ### **BRAINSTORMING**
|
||||
collapsed:: true
|
||||
- {{embed [[BRAINSTORMING]]}}
|
||||
- **Inbox**
|
||||
- ### **Inbox**
|
||||
collapsed:: true
|
||||
- {{embed [[Inbox]]}}
|
||||
- **[[REVIEWS]] DOING**
|
||||
- ### **[[REVIEWS]] DOING**
|
||||
collapsed:: true
|
||||
- {{embed ((9c4a3fe4-9941-4bdd-a55b-b4c76c54d685))}}
|
||||
- **[[PAPERS]]**
|
||||
- ### **[[PAPERS]]**
|
||||
collapsed:: true
|
||||
- {{embed ((648b062b-c129-40a4-ace1-2364698a8736))}}
|
||||
- **Active [[PROJECTS]]**
|
||||
- ### **Active [[PROJECTS]]**
|
||||
collapsed:: true
|
||||
- {{embed ((65c8d46f-2067-4e99-9d92-e54d5f04180a))}}
|
||||
- **[[Ideas]]**
|
||||
- ### **[[Ideas]]**
|
||||
collapsed:: true
|
||||
- {{query (or [[Ideas]] (property :tags [[Ideas]]))}}
|
||||
query-table:: true
|
||||
|
||||
+2
-1
@@ -122,4 +122,5 @@ icon:: ✅
|
||||
- ✔️ [[20-06-2025]] *11:57* ((93ba52d0-ca92-4181-84c3-f85f7ad67810))
|
||||
- ✔️ [[20-06-2025]] *12:29* ((68553095-9110-4f54-a545-dd186fa92e2d))
|
||||
- ✔️ [[21-06-2025]] *11:11* ((68435168-0fca-49d3-b735-8363d04c92ff))
|
||||
- ✔️ [[21-06-2025]] *22:12* ((e7272b30-e96e-4b85-918e-20c89e27647b))
|
||||
- ✔️ [[21-06-2025]] *22:12* ((e7272b30-e96e-4b85-918e-20c89e27647b))
|
||||
- ✔️ [[22-06-2025]] *23:25* ((68584e9a-9403-4a2a-87b9-70d3260ead58))
|
||||
@@ -4,12 +4,36 @@ external-link:: [Program - FSE 2025](https://conf.researchr.org/program/fse-2025
|
||||
|
||||
- ### Tasks
|
||||
- DONE Preparazione slides per [[PAPERS/FSE2025-NIER]]
|
||||
id:: 68435168-0fca-49d3-b735-8363d04c92ff
|
||||
id:: 68435168-0fca-49d3-b735-8363d04c92ff
|
||||
:LOGBOOK:
|
||||
CLOCK: [2025-06-21 Sat 11:11:22]--[2025-06-21 Sat 11:11:23] => 00:00:01
|
||||
:END:
|
||||
- ### Notes
|
||||
- #### Slides preparation
|
||||
collapsed:: true
|
||||
- "Teamwork makes the dream work: LLMs-Based Agents for GitHub README.MD Summarization", has been accepted for presentation in the Ideas, Visions, and Reflections track at FSE 2025
|
||||
- Instructions to upload / send the slides ✉: [Web Link](https://outlook.office365.com/owa/?ItemID=AAMkADM1NGNiNjk0LTY0ZGUtNDgzOC04MDM5LWNhODNkYWNjNjU4YwBGAAAAAACT6qp78kRgRKuUMBdWEga%2FBwCOhWlC8F7PRKzlljZYZYQmAAAAAAEMAACOhWlC8F7PRKzlljZYZYQmAAgNERPBAAA%3D&exvsurl=1&viewmodel=ReadMessageItem)
|
||||
-
|
||||
- #### Day 1
|
||||
- **FSE Keynote: Mark Harman, Peter O’Hearn, and Shubho Sengupta****[Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: An Industrial Perspective and Open Research Challenge](https://conf.researchr.org/program/fse-2025/program-fse-2025/?date=Mon%2023%20Jun%202025%2BTue%2024%20Jun%202025%2BWed%2025%20Jun%202025%2BThu%2026%20Jun%202025%2BFri%2027%20Jun%202025&past=Show%20upcoming%20events%20only#)**
|
||||
- Abstract:
|
||||
collapsed:: true
|
||||
- Despite decades of research and practice in automated software testing, several fundamental concepts remain ill-defined and under explored, despite their enormous potential real world impact. We show that these concepts raise exciting new challenges in the context of Large Language Models for software code and test generation. More specifically, we normally define and investigate the properties of hardening and catching tests. A hardening test is one that seeks to protect a code change against future regressions, while a catching test is one that catches such a regression, or a fault in new functionality introduced by a change. Hardening tests can be generated at any time, and may become catching tests when a future revision is caught. We also define and motivate the Catching “Just in Time” (JiTTest) Challenge, in which tests are generated “just in time” to catch new faults before they land into production, showing that it can also be repurposed to catch latent faults in legacy code. We set these challenges in the context of the work we have been doing on automated test generation at Meta, reviewing how we came to where we are now, and why we believe these open challenges represent such exciting opportunities for researchers, due to the enormous potential real world impact.
|
||||
- **Bio:** Mark Harman is a Research Scientist at Meta London and a professor at University College London. He joined Meta following acquisition of his startup Majicke. He has published over 300 papers, with over 45,000 citations, and an H index of 105, making him the most highly cited scientist in the field of both Software Testing and of Program Analysis. His work has been deployed throughout Meta’s platforms for the past eight years, directly impacting over 3 billion people who rely on its product’s for social networking, community building and communication. His work has also directly impacted more than 200 million small companies that use Instagram, Facebook and WhatsApp to reach their customers and indirectly impacted many others that have deployed technology based on it, such as Microsoft, Google and Amazon. For his scientific work, Harman received the IEEE Harlan Mills Award and the ACM Outstanding Research Award in 2019. In 2020, he was elected a fellow of the Royal Academy of Engineering.
|
||||
- **Bio:** Peter O’Hearn is a researcher at Meta AI and a Professor at University College London. He has made significant contributions to programming languages, logic, and software verification. Peter developed Separation Logic and Incorrectness Logic, theories which have been used in various reasoning tools, including Infer, a program analyzer that has detected hundreds of thousands of bugs at Facebook and other companies. Prior to joining Meta, Peter co-founded Monoidics, a verification startup that developed Infer and was acquired by Facebook in 2013. Peter has received numerous awards for his work, including the Godel Prize and being elected a Fellow of the Royal Society and Fellow of the Royal Academy of Engineering.
|
||||
- **Bio:** Shubho Sengupta was a member of Meta’s FAIR organization for eight years. He has been working on GPUs for 20 years, developing the data parallel programming primitives that power most of compute workloads on GPUs today and authored the first standard library for GPUs (CUDPP). He has been working on AI for 10 years, first as a member of Baidu’s SVAIL and then as a member of FAIR. His AI journey started with speech to text and text to speech models with widely cited papers as DeepSpeech and DeepVoice. As part of these projects, he popularized the use of HPC techniques in AI and made synchronous training work at scale. Since then he has worked on large scale Reinforcement Learning (OpenGo), privacy and Machine Learning (CrypTen, Private ID) and more recently in generating software code from LLMs with assurances (Assured LLMSE and TestGen-LLM).
|
||||
- A probabilistic typrewriter meets a world full of rules
|
||||
- Should our tiiks be autonomous?
|
||||
- Collection of LLMs that take care of the different SE tasks including testing, fixing bugs, etc.
|
||||
- Autonomy is one direction and not the creation of the first line of codes
|
||||
- Rethinking of the nowdays used tools including IDEs even though rarely does a field gets a chance to reinvent itself completely
|
||||
- At what SE tasks are LLMs still not good?
|
||||
- LLMs can replace junionor programmers?
|
||||
- **How much oracle information do you need to weed out false positive test executions?**
|
||||
- How can we distinguish regression test fails from failure of new functionalities?
|
||||
- If a test doesn't even build a revision, can it still give useful signals?
|
||||
- Finding a bug for an LLM is still difficult
|
||||
- Ok, with LLMs we are generating code faster, but less buggy?
|
||||
- Automated test generation is more important than ever!!!
|
||||
- Testing vs Verification
|
||||
-
|
||||
-
|
||||
@@ -5,7 +5,7 @@ external-links:: [Online LaTeX Editor Overleaf](https://www.overleaf.com/project
|
||||
todoist:: https://app.todoist.com/showTask?id=7383858948
|
||||
year:: 2024
|
||||
date-start::
|
||||
status:: [[DOING]]
|
||||
status:: [[SUBMITTED]]
|
||||
venue:: [[IST]]
|
||||
priority:: [[P2]]
|
||||
leader:: [[people/juri]]
|
||||
@@ -32,7 +32,7 @@ progress:: {{renderer : todomaster}}
|
||||
-
|
||||
- ## TASKs
|
||||
- DONE Rivedere Introduction
|
||||
id:: 65c8d46f-f70f-4d0f-9fce-14c2ab11ab68
|
||||
id:: 65c8d46f-f70f-4d0f-9fce-14c2ab11ab68
|
||||
:LOGBOOK:
|
||||
CLOCK: [2025-05-26 Mon 22:23:00]--[2025-05-26 Mon 22:23:01] => 00:00:01
|
||||
:END:
|
||||
|
||||
@@ -293,6 +293,7 @@ progress:: {{renderer :todomaster}}
|
||||
- Circa 95'000 Euro incluso 10% per fondi di ricerca e 50% di maggiorazione per 6 mesi all'estero. Senza periodo all'estero siamo sui 65'000
|
||||
- Vedi Art 12 del [Regolamento](https://www.univaq.it/include/utilities/blob.php?table=regolamento&id=64&item=file)
|
||||
- ### **Incremento importi borse PNRR 38 e 39 Ciclo**
|
||||
collapsed:: true
|
||||
- 
|
||||
- ## 2025/2026 #XLI ciclo
|
||||
- CALENDARIO
|
||||
|
||||
+15
-11
@@ -24,7 +24,7 @@ progress:: {{renderer :todomaster}}
|
||||
- TODO [#A] [[Progettazione Offerta Formativa]]
|
||||
todoist-desc:: logseq://graph/Logseq?page=Progettazione%20Offerta%20Formativa
|
||||
todoist-id:: [9205819498](https://app.todoist.com/app/task/9205819498)
|
||||
SCHEDULED: <2025-06-23 Mon>
|
||||
SCHEDULED: <2025-06-25 Wed>
|
||||
- DONE [#A] [[Missione STAF 2025]]
|
||||
todoist-id:: [9135141990](https://app.todoist.com/app/task/9135141990)
|
||||
SCHEDULED: <2025-06-19 Thu>
|
||||
@@ -54,10 +54,13 @@ progress:: {{renderer :todomaster}}
|
||||
:LOGBOOK:
|
||||
CLOCK: [2025-06-14 Sat 11:21:37]--[2025-06-14 Sat 21:27:23] => 10:05:46
|
||||
:END:
|
||||
- TODO [#A] [[Missione FSE 2025]]
|
||||
- DOING [#A] [[Missione FSE 2025]]
|
||||
SCHEDULED: <2025-06-28 Sat>
|
||||
todoist-desc:: [FSE 2025](https://conf.researchr.org/home/fse-2025)
|
||||
todoist-id:: [9074935545](https://app.todoist.com/app/task/9074935545)
|
||||
SCHEDULED: <2025-06-22 Sun>
|
||||
:LOGBOOK:
|
||||
CLOCK: [2025-06-23 Mon 08:20:59]
|
||||
:END:
|
||||
- DOING [#B] [[PAPERS/MOSAICO-Technical-Report]]
|
||||
SCHEDULED: <2025-06-25 Wed>
|
||||
todoist-desc:: logseq://graph/Logseq?page=PAPERS%2FMOSAICO-Technical-Report
|
||||
@@ -72,7 +75,7 @@ progress:: {{renderer :todomaster}}
|
||||
SCHEDULED: <2025-06-19 Thu>
|
||||
- TODO [#B] [[Aggiornamento uso fondi progetti]]
|
||||
todoist-id:: [9143259271](https://app.todoist.com/app/task/9143259271)
|
||||
SCHEDULED: <2025-06-22 Sun>
|
||||
SCHEDULED: <2025-06-23 Mon>
|
||||
- TODO [#A] [[[mosaico-all] MOSAICO meetings in Rome July 2025]]
|
||||
todoist-desc:: From: zhanna.zhussupova@imt-atlantique.fr
|
||||
todoist-id:: [9224183665](https://app.todoist.com/app/task/9224183665)
|
||||
@@ -84,23 +87,24 @@ progress:: {{renderer :todomaster}}
|
||||
- TODO [#B] [[Missione Emeliot Salerno - Luglio 2025]]
|
||||
todoist-desc:: From: leonardo.mariani@unimib.it
|
||||
todoist-id:: [9161916557](https://app.todoist.com/app/task/9161916557)
|
||||
SCHEDULED: <2025-06-22 Sun>
|
||||
SCHEDULED: <2025-06-24 Tue>
|
||||
- TODO [#A] [[I: ELSEVIER IST: Your Submission - INFSOF-D-25-00112 - Major Revision]]
|
||||
todoist-desc:: From: [giordano.daloisio@univaq.it](mailto:giordano.daloisio@univaq.it)
|
||||
todoist-id:: [9223518427](https://app.todoist.com/app/task/9223518427)
|
||||
- TODO [#A] [[Linee guida afferenza Collegio dottorato ICT]]
|
||||
todoist-desc:: [Linee guida per la valutazione richieste afferenza dottorato ICT.docx](https://univaq-my.sharepoint.com/:w:/g/personal/davide_diruscio_univaq_it/EbLmq-bFlvZDpxTZLeHiQFgBBlAIxRR_3aoAZsNBUHFyXw?e=cXOsS3)
|
||||
todoist-id:: [8912715542](https://app.todoist.com/app/task/8912715542)
|
||||
SCHEDULED: <2025-06-22 Sun>
|
||||
SCHEDULED: <2025-06-24 Tue>
|
||||
:LOGBOOK:
|
||||
CLOCK: [2025-06-13 Fri 11:59:57]--[2025-06-14 Sat 09:56:22] => 21:56:25
|
||||
:END:
|
||||
- TODO [#A] [[Presentazione dei documenti di monitoraggio]]
|
||||
- DOING [#A] [[Presentazione dei documenti di monitoraggio]]
|
||||
SCHEDULED: <2025-06-24 Tue>
|
||||
todoist-desc:: From: [antonio.mecozzi@univaq.it](mailto:antonio.mecozzi@univaq.it)
|
||||
todoist-id:: [9223534564](https://app.todoist.com/app/task/9223534564)
|
||||
SCHEDULED: <2025-06-22 Sun>
|
||||
:LOGBOOK:
|
||||
CLOCK: [2025-06-19 Thu 19:33:26]--[2025-06-19 Thu 22:24:30] => 02:51:04
|
||||
CLOCK: [2025-06-23 Mon 08:21:32]
|
||||
:END:
|
||||
- DOING [#A] [[🗓 TIASSISTO24 - MEETING BANDO REGIONE ABRUZZO 1.1.1.2]]
|
||||
SCHEDULED: <2025-06-25 Wed 09:30>
|
||||
@@ -109,13 +113,13 @@ progress:: {{renderer :todomaster}}
|
||||
:LOGBOOK:
|
||||
CLOCK: [2025-06-20 Fri 16:29:44]
|
||||
:END:
|
||||
- TODO [#A] [[PRIN 2020 - scadenza rendicontazione finale]]
|
||||
- TODO [#B] [[PRIN 2020 - scadenza rendicontazione finale]]
|
||||
todoist-desc:: From: proget@strutture.univaq.it
|
||||
todoist-id:: [9134866367](https://app.todoist.com/app/task/9134866367)
|
||||
SCHEDULED: <2025-06-22 Sun>
|
||||
SCHEDULED: <2025-06-23 Mon>
|
||||
- TODO [#B] [[Missione ROMA Mosaico]]
|
||||
todoist-id:: [9204561368](https://app.todoist.com/app/task/9204561368)
|
||||
SCHEDULED: <2025-06-23 Mon>
|
||||
SCHEDULED: <2025-06-24 Tue>
|
||||
- DONE [#B] [[MODELS: 10 years most infuential paper selection committee]]
|
||||
todoist-desc:: From: manuel.wimmer@jku.at
|
||||
todoist-id:: [9153069465](https://app.todoist.com/app/task/9153069465)
|
||||
|
||||
Reference in New Issue
Block a user