Elijah Brick

According to our database, Elijah Brick authored at least 3 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

On the persistent rumors of the programmer's imminent demise.

Hessam Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili

Softw. Syst. Model., December, 2023

Invariant Relations: A Bridge from Programs to Equations.

Wided Ghardallou, Hessamaldin Mohammadi, Elijah Brick, Ali Mili

CoRR, 2023

Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis.

Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023