Adam Chen

Orcid: 0000-0002-5159-6532

According to our database1, Adam Chen authored at least 4 papers between 2016 and 2024.

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

Timeline

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

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Polymorphism with Typed Holes.
Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024

2023
Better Predicates and Heuristics for Improved Commutativity Synthesis.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2022
Veracity: declarative multicore programming with commutativity.
Proc. ACM Program. Lang., 2022

2016
Is there any new technology for optical datacenter interconnection?
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2016


  Loading...