Joel D. Galenson, Ph.D. - Publications

Affiliations: 
2014 Computer Science University of California, Berkeley, Berkeley, CA, United States 
Area:
Programming Systems (PS), Software Engineering, Programming Languages, and Formal Methods: Software Testing, Verification, Model Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic.; Security (SEC)

No matching publications found. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
Show low-probability matches.