UW PLSE

UW CSE’s Programming Languages and Software Engineering group advances fundamental research and practical applications (GitHub) in programming environments, program analysis, language design, synthesis, compilers, testing, verification, and security. We have strong ties to the Sampa group, Cray, Microsoft Research, NVIDIA, AT&T, and others.

News Blogs

  1. UW PLSE will be out in force at POPL 2018!
    We have three papers at POPL: We also have two papers at CPP: See you in Los Angeles!
  2. Mangpo will be giving a talk on her work High-Coverage Hint Generation for Racket Programming Assignments with Berkeley colleagues at RacketCon 2017!
  3. Rashmi Mudduluru will be giving a talk on her work Lasso Detection Using Partial State Caching with MSR colleagues at FMCAD 2017!
  4. Andy just received a grant to investigate different programming strategies together with Thomas LaToza. Congrats, Andy and Thomas, and we're excited to see the results of the work.
  5. Congrats on OOPSLA'17 acceptances for Talia (for Iorek), Sarah and Ras (for Ringer), and Dan and UW PLSE alumnus Ben Wood (on dynamic race detection).
  6. Congrats to Julie for her Onward! 2017 paper on Internet of Things automation.
  7. Joe's YOLO9000 just won Best Paper Honorable Mention at CVPR’2017!
  8. Cosette, by UW PLSE members Shumo, Konstantin, Chenglong, and Alvin, has just been released! Check out this automatic way to check whether SQL queries are equivalent.
  9. At this year's ICSE, Mike won the Most Influential Paper Award, along with coauthors Carlos Pacheco, Shuvendu K. Lahiri, and Thomas Ball, for Feedback-Directed Random Test Generation, published ten years ago. Congratulations, Mike!
  10. Martin and Calvin were grand finalists in the ACM's 2017 Student Research Competition—Martin took 3rd in the undergrad category and Calvin 3rd in the graduate category. Congrats to both of them, and to Mike, who advises both of them.
  11. Congratulations to Max and Vincent for winning a 2017 Qualcomm Innovation Fellowship for their project on domain-specific reconfigurable accelerators! This is Vincent's second QIF win.
  12. Congratulations Alex, who just defended his Ph.D! Alex will graduate at the end of the quarter and begin working on combining program synthesis with deep learning to improve programming productivity and AI capabilities.
  13. UW PLSE has two papers in ICFP 2017! Congratulations to Jared and his collaborators for their paper on Lean, and to Konstantin, Steven, Emina, Mike, Zach, and their collaborator Stefan for their paper on SpaceSearch!
  14. Herbie 1.1 has been released. Good work, Pavel, Jason, Alex, and Zach!
  15. Mike is giving an invited talk at ETAPS 2017, discussing his work on using natural langauge processessing to understand non-semantic portions of code. Do not miss it!
  16. You cannot miss Joe’s talk, at TED 2017. Tech.co called Joe one of the five most notable TED speakers this year, next to Elon Musk and Serena Williams.
  17. Congratulations to Chandrakana, Dan, and their coauthors for their paper, “Debugging Probabilistic Programs”, at MAPL 2017.
  18. Congratulations to Alvin and Emina on receiving CAREER awards from the NSF.
  19. Remy (Yisu) Wang, Zhen Zhang, and Rashmi Mudduluru will be joining UW PLSE next year. Welcome!
  20. Congrats to Ryan and Luke, who have chosen graduate schools where they will pursue their PhDs. Ryan's going to Cornell, while Luke is staying here at UW!
  21. Congratulations to Sarah and Mangpo for their paper, “Data-Driven Synthesis of Full Probabilistic Programs”, at CAV 2017.
  22. Congratulations to Konstantin on passing his Ph.D. Defense! Konstantin will graduate at the end of the quarter and move on to applying his research on verifying network configuration at the Google networking team.
  23. Joe’s YOLO9000 has been accepted to CVPR’17: better, faster, strong object detection with a single net.
  24. Congratulations John, Dan, James, Zach, Ras, Mangpo, Nate, Chandrakana, and Mike, their coauthors, and the several UW PLSE alumni on their accepted papers to SNAPL’17!
  25. James and Emina's paper on memory model synthesis; Shumo, Konstantin, and Alvin's paper on HoTTSQL; Chenglong, Alvin, and Ras's paper on SQL query synthesis; and Grigory, Maaz, and Ras's work on static parallelization have all been accepted to PLDI 17! Congratulations!
  26. Zach gave a talk at the University of Utah on floating point at the University of Washington: Herbie, Herbgrind, and FPBench.
  27. Congratulations Mike on winning the ICSE 2017 Most Influential Paper award for his work on feedback-directed random test generation.
  28. Jared helped give a tutorial on his work adding native compilation to the LEAN theorem prover. Check it out!
  29. Sam's boat Bravo Zulu was named a Top 10 sailboat for 2016 by 48° North magazine. Congratulations! Did you know Seattle's one of the few places in the US where you can sail year-round?
  30. Evaluating & improving fault localization techniques was accepted to ICSE 2017. It's by Spencer Pearson, ex-postdoc René Just (now at UMass), Michael Ernst, Deric Pang, Benjamin Keller, and their colleagues at Sheffield and Porto.
  31. Melissa Galloway was featured in UW CSE's Undergrad Spotlight.
  32. Congratulations to Chris Mackie and Nate Yazdani, honorable mentions for 2017 CRA Outstanding Undergraduate Researchers!
  33. Calvin Loncaric and Spencer Pearson were 1st- and 3rd-place graduate students, and Martin Kellogg and Chris Mackie were 1st- and 3rd-place undergraduate students, in the FSE student research competition
  34. Congratulations to Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, and Xi Wang for winning best paper "Push-Button Verification of File Systems via Crash Refinement" at OSDI 2016!
  35. Andy Ko gave a keynote A human view of programming languages at SPLASH 2016
  36. Luke will present a poster on his and Jared's work on bootstrapping a secure eBPF compiler in Coq at OSDI 2016!
  37. Emina Torlak gave the keynote at RacketCon2016
  38. Chandrakana and Mike's work on program analyses for smart home security has been accepted to PLAS 2016!
  39. UW had eight (!) papers accepted to the FSE 2016 Student Research Competition. Congratulations to Waylon Huang, Wing Lam, Calvin Loncaric, Martin Kellogg, Chris Mackie, Chandrakana Nandi, Spencer Pearson, Joe Santino. Their advisor is Michael Ernst.
  40. Congratulations to everyone accepted to OOPLSA 2016! Cassius, Bagpipe, Ringer, and Calvin’s work with Samsung Research America
  41. Ivan a UW alum, Yuriy a UW postdoc alum, Patty, and Mike's paper, Debugging Distributed Systems appeared in CACM August 2016 issue!
  42. Talia, Franzi, and Dan's paper, "AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems" to appear in ACM CCS 2016!
  43. Staccato won both the Distinguished Artifact and Distinguished Poster awards at ECOOP 2016. Congrats, John and Dan!
  44. PLSE swept the best student paper awards at SYNT 2016! Maaz and Alvin won for their work on verified lifting for data processing; Julie came in second for her work on synthesis for robot motion planning.
  45. Ras wins an Influential Paper Award from ISCA for his 2001 paper Focusing Processor Policies via Critical-Path Prediction.
  46. Konne will be presenting Bagpipe's BGP formalization in Brazil at NetPL 16.
  47. Recent PLSE alum and soon-to-be Cornell professor Adrian Sampson won UW CSE's William Chan Memorial Dissertation Award!
  48. Alvin won the DoE Early Career Award!
  49. Alvin and his collaborators from MIT, Stanford, and Barefoot Networks' work on programmable switches was accepted to SIGCOMM 2016.
  50. Ivan, Patty, Yuriy, and Mike's paper on Debugging distributed systems is the cover story in the March/April 2016 issue of ACM Queue.
  51. Mike, Alberto, Alessandra, and Mauro's paper on Automatic generation of oracles for exceptional behaviors was accepted to ISSTA 2016.
  52. Mike, Damiano, Massimo, and Fausto's paper on Semantics for locking specifications was accepted to NFM 2016.
  53. Neutrons was accepted to CAV'16. If you're there, come to the talk to learn about verifying a neutron therapy machine.
  54. Congratulations to Talia Ringer and Amanda Swearngin for winning NSF graduate fellowships!
  55. John and Dan's paper on Staccato, a bug finder for dynamic configuration updates, and Chenglong's paper on API adaptation will appear at ECOOP 2016!
  56. YOLO has been accepted to CVPR'16. Congrats to Joe!
  57. Xi's work on undefined behavior detection appears in this month's Communications of the ACM.
  58. Emina Torlak won the AITO Dahl-Nygaard prize and the Sloan Fellowship!
  59. We have three papers accepted to PLDI 2016: Calvin, Emina, and Mike’s data structure synthesis with Cozy; Eric, Daryl, Zach, and Dan’s verified peephole optimizations with Peek; and Alvin's verified lifting of stencils with STNG.
  60. Mike and Javier's paper on Locking discipline inference and checking was accepted to ICSE 2016.
  61. Konstantin Weitz was a finalist for the Facebook Fellowship Program!
  62. Pavel Panchekha won the Adobe Research Fellowship. Congrats!
  63. Daryl Zuniga won the prestigious UW Mary Gates Scholarship and an Honorable Mention for the CRA Undergraduate Research Award!
  64. Our paper on verifying Raft in Verdi will appear at CPP 2016!
  65. PLSE has four papers accepted to ASPLOS’16: approximate image and video storage, scalable superoptimization, DNA-based storage, and formal specifications for file system crash-consistency. See you in Atlanta!
  66. Alvin Cheung won MIT's George M. Sprowls Award for outstanding PhD theses in computer science!
  67. James, Emina, Dan, and Luis’s paper on optimizing program synthesis with metasketches has been accepted to POPL 2016.
  68. Sam just won the Lockheed Martin Award for Best Engineering Project at the Young Software Engineer Awards. Woohoo!
  69. PLSE sent four papers to OOPSLA this year: on object-oriented constraint solving, constraint programming, synthesis of layout engines, and a framework for synthesis.
  70. The PLSE group has five papers accepted to ASE’15: evaluating test generation, handling reflection in static analysis, Crust, history granularity transformations, and dynamic race detection. Don’t miss it!
  71. Timelapse has been accepted to UIST’15. Come find out about diffing web interfaces.
  72. The Herbie and Verdi projects killed it at PLDI’15. Didn't make the talks? Check out the project pages.
  73. The Herbie paper won Distinguished Paper at PLDI. Make sure you go see the talk!
  74. UW PLSE at SNAPL’15: a dependency case language for a neutron therapy machine, and hardware-software co-design!
  75. Ras Bodik is joining UW PLSE. We're so incredibly excited to work with him!
  76. Congrats Doug Woos and Pavel Panchekha, two students in UW PLSE, who just became NSF fellows.
  77. Verso presenting first steps toward low-level optimizations in CompCert, at CoqPL’15.

Projects More

Faculty

Grad students

Staff

Undergraduates

Ph.D. Alumni