Pascal Poizat's Avatar

Pascal Poizat

@pascalpoizat.bsky.social

Professor at Université Paris Nanterre and LIP6 (Sorbonne Université). Software Engineering. Business Processes. Applied Formal Methods.

78 Followers  |  57 Following  |  68 Posts  |  Joined: 17.11.2024  |  2.362

Latest posts by pascalpoizat.bsky.social on Bluesky

People that do not use the correct branch (not main) to test the tool associated with a paper (the correct branch is given in the paper) …

10.08.2025 11:32 — 👍 0    🔁 0    💬 0    📌 0
Preview
GitHub - uutils/sed: Rewrite of sed in Rust Rewrite of sed in Rust. Contribute to uutils/sed development by creating an account on GitHub.

What are the challenges and gains when porting legacy systems software written in C into #Rust? Here's my own experience porting the BSD Unix / macOS stream editor sed into Rust as part of #uutils.
IEEE Software article: doi.org/10.1109/MS.2...
Source code: github.com/uutils/sed/

08.08.2025 13:13 — 👍 16    🔁 6    💬 0    📌 1
Preview
Gilles Dowek, informaticien engagé et vulgarisateur, est mort Passionné par la dimension éthique de sa discipline, le chercheur de l’Inria et professeur attaché à l’ENS Paris-Saclay, est décédé lundi 21 juillet, à l’âge de 58 ans.

Gilles Dowek, informaticien engagé et vulgarisateur, est mort

21.07.2025 16:05 — 👍 25    🔁 20    💬 0    📌 6

With so many reviewers (unfortunately) just asking an LLM to review your paper, do it yourself first so that you can foresee what type of comments you're going to get and act accordingly before the submission.

17.07.2025 17:33 — 👍 1    🔁 1    💬 1    📌 0

(Only applies for papers, not for software wrt malicious use detection) :-)

17.07.2025 19:35 — 👍 1    🔁 0    💬 0    📌 0

I have mixed feeling about pre testing wrt wrong conducts. Feels a bit like « put your picture on a « roast me » forum so that you’ll know what the bullies at school will hurt you for / or change your self not to be bullied ».

17.07.2025 19:32 — 👍 0    🔁 0    💬 1    📌 0

Could be used to inject elements (not « accept the paper » but « put these three words in three subsequent sentences of the review » ) and then pass the file to the PC chairs for misconduct and publicise on social networks :-)

17.07.2025 19:30 — 👍 1    🔁 0    💬 1    📌 0
Post image

My LLM coding interactions taught me that their benchmark results vastly overstate their capabilities. The paper by M. Mancoridis et al. “Potemkin Understanding in LLMs” explains and formalizes my feeling. Benchmarks derived from human tests are unsuitable for LLM assessment. doi.org/10.48550/arX...

27.06.2025 18:12 — 👍 12    🔁 2    💬 0    📌 2
Preview
False authorship: an explorative case study around an AI-generated article published under my name - Research Integrity and Peer Review Background The proliferation of generative artificial intelligence (AI) has facilitated the creation and publication of fraudulent scientific articles, often in predatory journals. This study investig...

Predatory journals should not mess with Diomidis Spinellis (@coolsweng.bsky.social)
doi.org/10.1186/s410...

N.B.this journal, full of AI-generated crap has DOIs and is listed in Crossref, but not DOAJ.

19.06.2025 12:17 — 👍 15    🔁 8    💬 0    📌 0

Will Science (in general) be erased by AI? Another example. The future will tell.

13.06.2025 17:07 — 👍 1    🔁 0    💬 0    📌 0
The Third Bit: A Base Case for Empirical Software Engineering Research

"I’ve been saying for years that programmers ought to pay more attention to empirical studies of software engineering and base their practices on evidence rather than strong opinion."
third-bit.com/2018/03/13/b...

07.06.2025 18:37 — 👍 4    🔁 1    💬 0    📌 1
Today: programmer feeding the AI (a snake)
Tomorrow: the snake eats the programmer

Today: programmer feeding the AI (a snake) Tomorrow: the snake eats the programmer

Someone wrote this in a group of people who like AI:

"Exactly. AI companies are acting like drug dealers. They're getting everyone addicted by giving it away for free. At some point, a lot of things or a lot of people won't be able to do without AI. Then they'll charge whatever they want!"

06.06.2025 12:54 — 👍 19    🔁 3    💬 4    📌 1
Preview
ASE 2025 Welcome to the website of the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025. The ASE conference is the premier research forum for Automated Software Engineering. E...

🎉 HUGE NEWS! 🎉

#ASE2025 has received a record-breaking 1,190 submissions – the most EVER for a single-cycle top SE conference! 🤯

Massive thanks to all authors who submitted. Looking forward to what promises to be an unforgettable conference with an incredible program 🔥!

03.06.2025 14:57 — 👍 17    🔁 7    💬 0    📌 1
Post image

Reportando desde el trópico: el libro de @emilymbender.bsky.social y @alexhanna.bsky.social es una lectura imperdible. Espero que en algún momento esté disponible en español. Material didáctico escrito en un lenguaje sumamente accesible para el público.

29.05.2025 14:16 — 👍 21    🔁 4    💬 3    📌 0
Preview
ChatGPT Heard About Eagles Fans Your gender, ethnicity, and fandom can invisibly influence your chatbot interactions.

So apparently some LLMs can be jailbroken by saying you're an eagles fan www.dbreunig.com/2025/05/21/c...

28.05.2025 16:17 — 👍 24    🔁 3    💬 0    📌 2
AI Hallucination Cases Damien Charlotin maintains this database of cases around the world where a legal decision has been made that confirms hallucinated content from generative AI was presented by a lawyer. That's …

When lawyers first started getting yelled at by judges for citing hallucinated case law 2 years ago I naively assumed word would get around and they would all learn not to

This new DB has 116 cases from 12 countries where this happened, 20 from just this month!

simonwillison.net/2025/May/25/...

25.05.2025 17:05 — 👍 151    🔁 49    💬 6    📌 6
Post image

Elixir expressions in Markdown? Now possible with MDEx v0.7

hexdocs.pm/mdex/MDEx.Si...

#MyElixirStatus #WeBeamTogether

22.05.2025 00:09 — 👍 40    🔁 8    💬 1    📌 1

Oui, c’est plus large que le cadre des ERC. Collaborations internationales.

21.05.2025 18:57 — 👍 0    🔁 0    💬 0    📌 0

Mais « rien » faire semble plus trop tenable. D’où des revirements ou réveils.

21.05.2025 18:27 — 👍 0    🔁 0    💬 0    📌 0

On peut (devrait) rajouter les EU dans le groupe « à réfléchir ». Avec le même questionnement, quid de la différence avis collègues (pénalisés) vs politique pays. (Imagine le rôle inversé, avis collègues ici vs politique du pays)

21.05.2025 18:26 — 👍 0    🔁 0    💬 2    📌 0

Pays vs habitants (et ici les collègues dans les universités) je dirais.
Mais ce qui peut interroger c’est la différence avec la Russie ou Chine (qui partagent certaines choses mais d’autres pas, nuance du trigger).

21.05.2025 18:24 — 👍 1    🔁 0    💬 1    📌 0

A new left-pad incident.

21.05.2025 16:02 — 👍 0    🔁 0    💬 0    📌 0

An example of an hypocritical side-effect law is one that restricts the freedom of demonstration for some very precise context but ends up (no surprise) used to forbid in practice demonstration in any case (unless one is fan of tear gases and rubber bullets).

21.05.2025 12:20 — 👍 0    🔁 0    💬 0    📌 0

Too many managers getting in executive positions do not know basics of law. This is an issue also in France. Solution: the law should punish unlawful actions of politicians too (not with an electronic wristband), and also their tentatives to propose unconstitutional / side-effectful laws.

21.05.2025 12:17 — 👍 1    🔁 0    💬 1    📌 0

I read the chapter.
Very nice! Thanks for it.
Lots of ideas (including the parts on evaluation with ANS, adaptation to students, the LOi objectives). Had 1 paper on my stack, now 3 6 14 16 27 44 48 51 52 53 63 :-) (already read some)

19.05.2025 19:04 — 👍 1    🔁 0    💬 0    📌 0

Ready for Pizze & Eurovision.

17.05.2025 18:36 — 👍 1    🔁 0    💬 0    📌 0

A nice place to visit with children (not only). You can play « what is your top 3 » with them. Here is one of mine (I do not give the other 2, so many nice ones to select from).

16.05.2025 15:46 — 👍 1    🔁 0    💬 0    📌 0

Just read a very nice chapter on literature survey in SE with … the name a a philosopher from my university (also positivism vs constructivism). Would not have thought. The world is small.

16.05.2025 15:42 — 👍 1    🔁 0    💬 0    📌 0

Le piège de l’approche à base de primes … plus pour certains et moins pour l’ensemble (et encore, on parle ici d’un ensemble déjà sélectionné). C’était tristement prévisible. Faudrait refuser de rentrer dans le jeu de dupes de la RIPEC C3.
Mais le collectif meurt là où l’individualisme croît. :-(

15.05.2025 13:43 — 👍 2    🔁 0    💬 0    📌 0

I think I’ll also move a bit (I have to read one of the chapters on littérature review in the book) due to the time/effort on SMS/SLR in the old (?) way (especially for 1st year Master students) vs focusing on some focused set + snowballing (which I also explain to the students).

13.05.2025 17:16 — 👍 2    🔁 0    💬 0    📌 0

@pascalpoizat is following 20 prominent accounts