Devin Coughlin

According to our database1, Devin Coughlin authored at least 6 papers between 2009 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Extracting and Visualizing Wildlife Trafficking Events from Wildlife Trafficking Reports.
Proceedings of the IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2022

2015
Synthesizing Short-Circuiting Validation of Data Structure Invariants.
CoRR, 2015

2014
Fissile type analysis: modular checking of almost everywhere invariants.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2012
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

2009
Inferred call path profiling.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Program Metamorphosis.
Proceedings of the ECOOP 2009, 2009


  Loading...