Michael Y. Levin

According to our database1, Michael Y. Levin authored at least 14 papers between 2000 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Turbine: Facebook's Service Management Platform for Stream Processing.
Proceedings of the 36th IEEE International Conference on Data Engineering, 2020

2012
SAGE: whitebox fuzzing for security testing.
Commun. ACM, 2012

2009
Precise pointer reasoning for dynamic test generation.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

2008
Automating Software Testing Using Program Analysis.
IEEE Softw., 2008

Grammar-based whitebox fuzzing.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Automated Whitebox Fuzz Testing.
Proceedings of the Network and Distributed System Security Symposium, 2008

Active property checking.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

2006
XTATIC.
Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

2005
Type-Based Optimization for Regular Patterns.
Proceedings of the Database Programming Languages, 10th International Symposium, 2005

XML Goes Native: Run-Time Representations for Xtatic.
Proceedings of the Compiler Construction, 14th International Conference, 2005

2003
TinkerType: a language for playing with formal systems.
J. Funct. Program., 2003

Compiling regular patterns.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002
Recursive subtyping revealed.
J. Funct. Program., 2002

2000
Recursive subtyping revealed: functional pearl.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000


  Loading...