49 search results - page 1 / 10 » Invited Talks |
Presentation
Invited Talk, Xerox Research Center Europe, Grenoble. August 12, 2010.
Presentation
Invited Talk, Xerox Research Center Europe, Grenoble. August 10, 2010.
Presentation
Cryptography: An Art and Science: Invited talk, Delivered at Air Force Technical College, Jalahalli, Bangalore. (Sepember 2007)
ENTCS
2007
13 years 4 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
PEPM
2009
ACM
14 years 1 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...