Cynthia Disenfeld

Header picture: first bug reported

[Cynthia Disenfeld @cynrd]

A* (A-star) search algorithm to solve a sokoban puzzle (planning problem) https://t.co/aRmI3OlM0S

[Cynthia Disenfeld @cynrd]

Describing a sokoban level using PDDL https://t.co/uyWjDxWlsY

[Cynthia Disenfeld @cynrd]

Using BitVector Theory to find the overflow bug in Binary Search https://t.co/xDkHsiDqtz

[Cynthia Disenfeld @cynrd]

Finding integer overflows with CBMC https://t.co/l4JWNiNhnz

[Cynthia Disenfeld @cynrd]

@goodreads Yesterday I stayed up late finishing The Henna Artist by Alka Joshi.

[Kotlin by JetBrains @kotlin]

Want to split a collection into a list of lists with custom size? Use the "chunked" function: https://t.co/KzxOw6x3s1
Need a list of sliding window snapshots with overlap (and custom step size)? Use "windowed": https://t.co/mQ59SmshHB
They can also apply transformations directly!

[Peter O'Hearn @PeterOHearn12]

We're running the FB Testing and Verification Symposium virtually this year, Dec 1-3. Bringing together academia and industry. Registration free at this link.

https://t.co/NSPlnA76GP

[Shurui Zhou @shuishuiblue]

Please RT!
I am looking for MASc and PhD students to join my group at @eceuoft starting Fall 2021! Work with us to help distributed and interdisciplinary teams better collaborate and build better software systems! #SoftwareEngineering #SEAI #AISE #Collaboration #OpenSource

[Cynthia Disenfeld @cynrd]

Finding the infamous binary search overflow bug with CBMC https://t.co/cZXacQJlbc

[ECOOP’26 Conference @ECOOPconf]

The #ECOOP20 proceedings are now available!

➡️ https://t.co/vwYuvKE4MH

[Davide Faconti @facontidavide]

would static analysis find the bug?

[Cynthia Disenfeld @cynrd]

Automated Planning – PDDL (Planning Domain Definition Language) https://t.co/Wim5b5flsi

[Erik Post @erikagain]

And let's not forget about Petri nets! https://t.co/unLHT6Qvtn

[Cynthia Disenfeld @cynrd]

Using KLEE to generate tests for binary search https://t.co/qbHNmLdzkh

[Cynthia Disenfeld @cynrd]

How to generate tests automatically? https://t.co/F5kNYHxKGl

[Cynthia Disenfeld @cynrd]

Solving sudoku with MiniZinc (CSP – Constraint Satisfaction Problem) https://t.co/NcFSyoPuct

[CP2025 @cp_conf]

Registration is open and FREE! See https://t.co/Xg13ParPVZ for more details :)

[Cynthia Disenfeld @cynrd]

Bisimulation for CCS processes – Using game theory https://t.co/1urCWgeLIL

[Cynthia Disenfeld @cynrd]

Bisimulation for CCS processes https://t.co/KeAJAD4wZu

[Cynthia Disenfeld @cynrd]

git bisect – finding the problematic commit https://t.co/cTgk0aIKmp