Nima Joharizadeh

According to our database, Nima Joharizadeh authored at least 4 papers between 2015 and 2020.

Collaborative distances:

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

2020

Higher-Order Spreadsheets with Spilled Arrays.

Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar

Proceedings of the Programming Languages and Systems, 2020

Gridlets: Reusing Spreadsheet Grids.

Nima Joharizadeh, Advait Sarkar, Andrew D. Gordon, Jack Williams

Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

2015

Counting weak Heyting algebras on finite distributive lattices.

Majid Alizadeh, Nima Joharizadeh

Log. J. IGPL, 2015

Finding bugs in spreadsheets using reference counting.

Nima Joharizadeh

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015