Aspire Lab – UC Berkeley

Main menu

Skip to content
  • About
  • People
  • Publications
  • Projects
  • Sponsors
  • Agile HW Design Center
  • Open Source
  • Contact
  • Login




Error: Unable to create directory wp-content/uploads/2025/07. Is its parent directory writable by the server?

Michael Pradel

Alumnus

http://mp.binaervarianz.de/
michael@binaervarianz.de

Publications

  • JITProf: Pinpointing JIT-Unfriendly JavaScript Code
  • DLint: Dynamically Checking Bad Coding Practices in JavaScript
  • TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript
  • EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation
  • Performance Regression Testing of Concurrent Classes
  • Director
  • Faculty
  • Visiting Researchers
  • Postdocs
  • Graduate Students
  • Undergraduates
  • Staff
  • Alumni

  • Directions
  • Contact




  • Home
  • About
  • People
  • Publications
  • Projects
  • Sponsors
  • Open Source Software
  • Agile HW Design Center
  • Blog
  • Wiki
  • Internal
Copyright © 2025 Aspire