Boris Feigin

Name:	Boris Feigin
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Thu May 05 16:19:13 +0000 2011

Public lists managed by Boris Feigin

Talks given by Boris Feigin

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• Optimizing Dynamically Updateable Programs
• Jones Optimality and Hardware Virtualization (A Report on Work in Progress)

Talks organised by Boris Feigin

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Boris Feigin actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• Adventures in XML updates
• Enhancing Verilog
• Designing Languages to Aid Verification
• Deriving efficient data movement from decoupled Access/Execute specifications
• Haskell is Not Not ML
• Limits of parallelism using Dynamic Dependency Graphs
• Work in progress on visual programming languages
• Logical Testing: Hoare-style Specification Meets Executable Validation