Tristan Ravitch

According to our database, Tristan Ravitch authored at least 4 papers between 2009 and 2019.

Collaborative distances:

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

2019

Dependently typed Haskell in industry (experience report).

David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch

Proc. ACM Program. Lang., 2019

2014

Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion.

Tristan Ravitch, E. Rogan Creswick, Aaron Tomb, Adam Foltzer, Trevor Elliott, Ledah Casburn

Proceedings of the 4th Program Protection and Reverse Engineering Workshop, 2014

2013

Analyzing memory ownership patterns in C libraries.

Tristan Ravitch, Ben Liblit

Proceedings of the International Symposium on Memory Management, 2013

2009

Automatic generation of library bindings using static analysis.

Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009