ASE is the leading research forum in automated software engineering, and MATISSE has organized the 6th ASYDE workshop there! @MATISSE also presented the latest paper, “Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning Approach"
MATISSE EU Project’s Post
More Relevant Posts
-
👨💻 For the software engineering researchers in my network! 🔍 Inferring causal relationships between variables from observational data is a common goal in empirical software engineering ⚡ However, endogeneity due to confounding variables often makes such inferences difficult 💡 In our new article in TOSEM, Stefan Wagner and I introduce a method to clean up such confounding to the field of software engineering: instrumental variable regression 📜 Paper in open access here: https://lnkd.in/e-yiHzry 🙏 Thanks to Bogdan Vasilescu for being an exceptionally helpful Associate Editor on this paper!
To view or add a comment, sign in
-
[arXiv] "A survey paper titled 'From LLMs to LLM-based Agents for Software Engineering'" explores current practices and solutions for using LLM-based agents in software engineering. It addresses key areas such as requirements engineering, code generation, test generation, and autonomous decision-making, and includes benchmarks, metrics, and models used across various software engineering applications. https://lnkd.in/gTFNQbHt
To view or add a comment, sign in
-
[ 📢 Conference day] The LVP (Languages and Program Verification) working group of the GPL GdR of the CNRS will be holding its one-day conference on 𝐓𝐡𝐮𝐫𝐬𝐝𝐚𝐲 𝟏𝟒 𝐍𝐨𝐯𝐞𝐦𝐛𝐞𝐫 𝟐𝟎𝟐𝟒 𝐚𝐭 𝐈𝐑𝐈𝐅, 𝐟𝐫𝐨𝐦 𝟗𝐚𝐦 𝐭𝐨 𝟓.𝟒𝟎𝐩𝐦, 𝐢𝐧 𝐚𝐦𝐩𝐡𝐢 𝐓𝐮𝐫𝐢𝐧𝐠. Emilio Jesús Gallego Aria, Inria researcher at IRIF, Université Paris Cité, will be giving a talk on : ‘𝑭𝒍𝒆̀𝒄𝒉𝒆: 𝑰𝒏𝒄𝒓𝒆𝒎𝒆𝒏𝒕𝒂𝒍 𝑽𝒂𝒍𝒊𝒅𝒂𝒕𝒊𝒐𝒏 𝒇𝒐𝒓 𝑯𝒚𝒃𝒓𝒊𝒅 𝑭𝒐𝒓𝒎𝒂𝒍 𝑫𝒐𝒄𝒖𝒎𝒆𝒏𝒕𝒔’. "We present Flèche, an engine for the incremental validation of hybrid formal documents, containing intermixed markup and code. Flèche has been designed using a set of qualitative and quantitative observations from users and developers of interactive proof assistants, and in particular it targets key use cases on existing systems such as non-linear interactive document development, enabling Human-Computer-Interaction research, and providing a document validation interface that meets the needs of tools used by researchers in software engineering, HCI, and machine learning. [...]" 🔴 This event is free but registration is required. 🔗 All information can be found on the event page: https://lnkd.in/eb7eaUqC
To view or add a comment, sign in
-
I just completed Electronic Arts (EA) Software Engineering on Forage (urn:li:organization:68514998). In the simulation I: * Proposed a new feature for the Sims 4 and wrote a Feature Proposal describing it to other stakeholders. * Built a class diagram and created a header file in C++ with class definitions for each object. * Patched a bugfix and optimized the Sims 4 codebase by implementing an improved data structure. Check out the simulation here: https://lnkd.in/g4n3XQtx
To view or add a comment, sign in
-
According to Luciano Baresi, a Professor of Software Engineering at Politecnico di Milano, the recently-launched Proceedings of the ACM on Software Engineering (PACMSE) offers a new means to publish novel and top-level research timely in a high-quality journal. In this week's People of ACM profile, Baresi, the EiC of the journal, discusses his goals for PACMSE. He also delves into his research in distributed systems, service-based applications, and the different aspects of mobile, self-adaptive, and pervasive software systems. Read the full interview here: https://bit.ly/3Ulp0Up
To view or add a comment, sign in
-
Open House Session @Agra Interactive session where future engineers clear their doubt related to different domain of Computer Science.
To view or add a comment, sign in
-
I just completed Electronic Arts (EA)'s Software Engineering on Forage. In the simulation I: * Proposed a new feature for the Sims 4 and wrote a Feature Proposal describing it to other stakeholders. * Built a class diagram and created a header file in C++ with class definitions for each object. * Patched a bugfix and optimized the Sims 4 codebase by implementing an improved data structure. Check out the simulation here: https://lnkd.in/d_kGf2kS
To view or add a comment, sign in
-
I just completed Electronic Arts's Software Engineering on Forage In the simulation I: * Proposed a new feature for the Sims 4 and wrote a Feature Proposal describing it to other stakeholders. * Built a class diagram and created a header file in C++ with class definitions for each object. * Patched a bugfix and optimized the Sims 4 codebase by implementing an improved data structure. Check out the simulation here: https://lnkd.in/eEk-SH_2 The Simulation was really helpful to give me an insight into a simplified version of what a practical on an interview would look like!
To view or add a comment, sign in
-
🚀 Day 18 of the challenge with Turing Club of Programmers NITRR. Today's challenge : In an integer array, return the kth largest element in the array. Day: 18 Heap Resource: https://lnkd.in/dubXTCjg Question: https://lnkd.in/dTDGF2JH Turing Club of Programmers NITRR #30daysofcodewithTCP2024 #TCPNITRR2024 #codeutsavanitrr2024
To view or add a comment, sign in
-
I just completed Electronic Arts (EA) Software Engineering on Forage. In the simulation I: * Proposed a new feature for the Sims 4 and wrote a Feature Proposal describing it to other stakeholders. * Built a class diagram and created a header file in C++ with class definitions for each object. * Patched a bugfix and optimized the Sims 4 codebase by implementing an improved data structure.
To view or add a comment, sign in
158 followers