Jenna DiVincenzo

Orcid: 0000-0003-3029-2617

Affiliations:
  • Purdue University, West Lafayette, IN, USA
  • Carnegie Mellon University, Pittsburgh, USA (former)


According to our database1, Jenna DiVincenzo authored at least 14 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
3
1
1
1
2
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Sound Gradual Verification with Symbolic Execution.
Proc. ACM Program. Lang., January, 2024

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification.
CoRR, 2024

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast.
CoRR, 2024

2023
Gradual Verification for Smart Contracts.
CoRR, 2023

2022
Gradual C0: Symbolic Execution for Efficient Gradual Verification.
CoRR, 2022

2021
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design.
ACM Trans. Comput. Hum. Interact., 2021

Gradual Program Analysis for Null Pointers.
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020
Penrose: from mathematical notation to beautiful diagrams.
ACM Trans. Graph., 2020

Gradual verification of recursive heap data structures.
Proc. ACM Program. Lang., 2020

2019
User-Centered Programming Language Design in the Obsidian Smart Contract Language.
CoRR, 2019

2018
Performance of Graph Analytics Applications on Many-Core Processors.
Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018

2016
Tracking Developers' Eyes in the IDE.
IEEE Softw., 2016

Towards an emotionally aware development environment: invited talk.
Proceedings of the 1st International Workshop on Emotion Awareness in Software Engineering, 2016

2015
iTrace: enabling eye tracking on software artifacts within the IDE to support software engineering tasks.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015


  Loading...