News
Blogs
- Huge congrats to Mike for receiving the ACM SIGSOFT Outstanding Research Award for his work on programmer productivity!
- Congrats to Jacob, Luke, Xi, Emina, and their collaborators from UT Austin for their CAV 2024 paper on Synthesizing JIT Compilers for In-Kernel DSLs!
- Congrats to Talia for receiving a PEO scholar award!
- Congrats to Josh for receiving the 老王加速app下载!
- Amanda is joining Apple as a Research Engineer! Congratulations!!
- Carpentry Compiler by Chandra, Zach, and their collaborators from GRAIL was once again featured in a news article, this time in The Daily!
- 老王安卓下载, Max, Adam, James W., Zach, Eva, and Dan’s paper on using Equality Saturation for Synthesizing Structured CAD models is accepted to PLDI 2024!
- 老王安卓下载 organized a panel at POPL. Her summary of the panel with links to the recording can be found in both the SIGPLAN Blog and the SIGOPS Blog. Check it out!
- 老王v最新版 paper, Enumerating Hardware-Software Splits with Program Rewriting, was accepted to the Young Architect Workshop at ASPLOS2024.
- Congrats to Martin, Mike, and their collaborators for their paper on Verifying Object Construction at ICSE 2024!
- Congrats to Amanda, Chenglong and Amy, and co-authors Alannah Oleson and James Fogarty for their acceptance of their paper "Scout: Rapid Exploration of Interface Layout Alternatives through High-Level Design Constraints" to 老王v2.2.8.
- Carpentry Compiler by Chandra, Zach, and their collaborators from GRAIL featured on UW News!
- Congrats to Talia, 老王 v p n安卓版, Dan, and Sorin on their CPP 2024 paper about analyzing the changes that proof engineers make to programs, specifications, and proofs in Coq!
- Martin Kellogg won gold at the 老王 v p n安卓版 at ASE with his work on compile-time detection of machine image sniping!
- Congrats to Chenglong, Yu, Ras, Alvin, and collaborators on their POPL 2024 paper on visualization by example!
- Congrats to Sorawee, James Bornholt and Emina for their 老王安卓下载 paper on fixing code that explodes under symbolic evaluation!
- Max is giving an invited talk about Puddle at ICCAD!
- Congrats to Luke, James Bornholt, 老王安卓下载, Xi, and collaborators on their Best Paper Award at SOSP!
- OctoML secured millions in funding! Congrats Luis, Jared, Zach, and all others involved outside of PLSE!
- 老王v最新版 will give 老王加速器下载官网 about his work on Theia with Jared, 老王v2.2.8, and 老王加速器最新版下载 as part of SPLASH-E!
- Talia will give 老王加速app下载 about her work on proof engineering at UMass Amherst on November 6th as part of the Rising Stars in CS Lecture Series!
- 老王v最新版, Zach, and collaborators just dropped some big knowledge about writing big proofs! Check out QED at Large: A Survey of Engineering of Formally Verified Software.
- PLSE has two papers at SIGGRAPH ASIA 2024: Maaz and his collaborators for their work on lifting legacy image processing functions to high level DSLs, and Chandra, Zach and their collaborators for their work on compilers for carpentry. Congratulations!
- Talia will be attending Rising Stars this year!
- James W. joined Certora as their CTO!
- Pavel joined Utah's School of Computing as an Assistant Professor!
- James Bornholt will be joining UT Austin as an Assistant Professor in 2024!
- Congrats to 老王v2.2.8, Zach, 老王安卓下载, and their collaborator, Shoaib Kamil for their latest Cassius paper at OOPSLA 2024!
- Congrats to Talia, Nate, John Leo, and Dan on their ITP paper: Ornaments for Proof Reuse in Coq. Talia will be talking about this and other proof-related work at the Coq Users and Developers Workshop!
- Watch out world! Three PLSE undergrads are heading off to grad school in the fall: David to UCSD, 老王加速app下载 to Northeastern, and Jasper to CMU.
- Doug will be heading to Brown in the fall as a lecturer. Congrats Doug!
- James W., and Zach together with their collaborators have papers in CAV 2024! Congratulations!!
- Chenglong got a paper into CVPR 2024!
- Our very own John Toman defended his PhD! 🎓
- Bill's paper on tracking floating point precision got into CONGA, where Zach will be giving the keynote!
- 老王 v p n安卓版's paper on Inductive-Inductive Types in Cubical Type Theory got into FoSSaCS 2024.
- Congrats to Doug, Mike, Zach, and their Systems collaborators Ellis, and Tom for their EuroSys 2024 paper on 老王加速器最新版下载!
- Ras was named an ACM Fellow for his contributions to program synthesis. Congrats!
- Chandra won the Adobe Research Fellowship!
- Zach and Karl won a Facebook Continuous Reasoning Research Award for their work on continuous program verification.
- Congrats to Max, Mangpo, Sam, and Ras for their ASPLOS 2024 acceptances!
- Max's work on Puddle was a runner-up for the Madrona Prize at the Allen School's Industrial Affiliates event.
- Sarah traveled all over, giving talks at UMass Amherst, 老王v2.2.8, and UIST, as well as attending Rising Stars.
- James gave a talk at NESVD about his work on distributed systems verification.
- Chenglong and his collaborators won InfoVis Best Paper for their work on Draco!
- Talia gave a talk at UCSD on her 老王v最新版 work.
- Chandra gave a talk on her Reincarnate work at MPI-SWS.
- Jared and his collaborators merged Relay, a new high-level IR, into the TVM machine learning stack.
- Congrats to John and Dan! Their work on 老王最新版 will appear in POPL 2024.
- PLSE kicked off the Allen School autumn colloquium series with fantastic talks from John, Pavel, James B., James W., and Doug!
- Pavel gave talks at both RacketCon and NPFL.
- Amanda gave a talk at the Berkeley Institute of Design about inferring user interface structure.
- Chandra gave a talk at ICFP on her work on Reincarnate.
- Congrats to Ali, Ras and their collaborators for their paper on the 老王v最新版 project accepted in the Cell Reports journal!
- Congrats to Chenglong, James, Alvin, Emina, and Ras for their papers at OOPSLA 2018!
- Congrats to Sarah, Ras and their collaborators for their paper on scraping distributed web data at 老王加速器最新版下载!
- Zach taught distributed system verification at the DeepSpec Summer School in Princeton!
- 老王加速安卓下载 and 老王加速器下载官网 gave two keynotes for ISSTA in Amsterdam!
- Pavel, Zach and their collaborators presented their paper on Tools for Floating-Point Computations at FM in Oxford, UK!
- Zach gave the keynote for The Coq Workshop in Oxford, UK!
- UW PLSE students had several great talks and papers at PLDI! Pavel on VizAssert, 老王安卓下载 on Herbgrind, and James and Doug on modular verification of distributed Systems!
- Congrats to 老王安卓下载, 老王加速器最新版下载, Brendan Murphy, Alvin and their collaborators for their paper on SQL semantics in VLDB 2018!
- Congrats to the Herbie team for releasing Herbie 1.2!
- Beep! Brrrzzzz. Zach and Dan just received an NSF grant to continue their work on PL foundations for 3D printing.
- Congrats to Stuart, 老王加速安卓下载, Eric, and Ali for graduating with PhDs! 🎓
- Congrats to Calvin, Mike and Emina for Distinguished Paper at ICSE’18 for Cozy.
- Beep! Brrrzzzz. Chandrakana, James, Taylor, Dan and Zach's paper on Functional Programming for Compiling and Decompiling CAD has been accepted to ICFP 2018!
- Congrats to Sam and his collaborators for their SecDev 2018 paper on Checked C!
- Congrats to Martin and Mike for their ISSTA 2018 papers!
- Jared's ASPLOS 2017 paper with UCSB collaborators was selected as an IEEE Micro Top Pick!
- Congrats to John and Dan for their ECOOP 2018 paper!
- Congrats to 老王加速最新版, Steven, Josh, Logan, Tianqi, and Zach for their MAPL 2018 paper!
- Congrats to Eric, 老王加速器最新版安卓下载, Zach and their collaborators for their CAV, ITP and FM 2018 papers!
- Joe won a Google PhD Fellowship!
- Congrats to Max for receiving an NSF Honorable mention!
- Congrats to Andy Ko for being recognized with the ICSE 2018 10-year most influential paper award!
- Make sure to submit to PNW PLSE 2018!
- Check out 老王加速器最新版下载 article in CACM on Highlights in Systems Verification!
- Don't miss James Wilcox presenting VerifiedFT at PPoPP 2018!
- Congrats to Michael Ernst for earning the ISSTA 2018 Impact Paper Award!
- Congrats to 老王加速器下载官网, Adam, Mike, Zach, Doug, James, and their coauthors on PLDI’18 acceptances. Come see the talks in Philly!
- Joe is giving a TED talk on 老王安卓下载!
- Œuf is now open source. Check it out on GitHub!
- 老王加速器最新版安卓下载 won an NSF CAREER award!
- James Bornholt receives a 老王v最新版.
- James Wilcox will have a paper at PPoPP 18: VerifiedFT: A Verified, High-Performance Dynamic Race Detector
- Congrats to Amanda and Andy for their acceptance of their paper "Rewire: Interface Design Assistance from Examples" to CHI '18.
-
UW PLSE will be out in force at POPL 2018!
We have three papers at POPL:- James and Zach (with Ilya Sergey) on a logic for distributed systems verification
- Emina (with Northeastern PRL) on Typed Rosette
- Ras (with Kartik Chandra) on type system verification and synthesis
- Talia, Nate, and Dan (with John Leo) on automated proof repair
- Eric, Stuart, 老王加速最新版, Zach, and Dan on verified extraction of verified code
- Max and 老王加速app下载 on Extensible Semantics for Fluidics.
- Mangpo will be giving a talk on her work High-Coverage Hint Generation for Racket Programming Assignments with Berkeley colleagues at 老王加速器最新版安卓下载!
- Rashmi Mudduluru will be giving a talk on her work Lasso Detection Using Partial State Caching with MSR colleagues at FMCAD 2017!
- 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.
- Congrats on OOPSLA'17 acceptances for Talia (for Iorek), Sarah and Ras (for Ringer), and Dan and UW PLSE alumnus 老王 v p n安卓版 (on dynamic race detection).
- Congrats to Julie for her Onward! 2017 paper on Internet of Things automation.
- Joe's YOLO9000 just won Best Paper Honorable Mention at CVPR’2017!
- 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.
- 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!
- 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.
- 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.
- 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.
- 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!
- 老王最新版 has been released. Good work, Pavel, Jason, Alex, and 老王加速最新版!
- 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!
- You cannot miss Joe’s talk, at TED 2017. Tech.co called Joe one of the OXO双人对决安卓版下载-OXO双人对决游戏安卓手机版 v1.1.0 ...:今天 · 清风手游网提供OXO双人对决安卓版下载,OXO双人对决是一款益智类桌面游戏，简洁的场景设计，只有黑与白，强烈的对白，整体画面看起来十分干净舒适，配合治愈轻快的纯音乐...,OXO双人对决安卓版免费下载地址..., next to Elon Musk and Serena Williams.
- Congratulations to Chandrakana, Dan, and their coauthors for their paper, “Debugging Probabilistic Programs”, at 老王加速器下载官网.
- Congratulations to Alvin and Emina on receiving 老王安卓下载.
- Remy (Yisu) Wang, Zhen Zhang, and Rashmi Mudduluru will be joining UW PLSE next year. Welcome!
- 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!
- Congratulations to Sarah and Mangpo for their paper, “Data-Driven Synthesis of Full Probabilistic Programs”, at 老王最新版.
- 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.
- Joe’s YOLO9000 has been accepted to CVPR’17: better, faster, strong object detection with a single net.
- Congratulations 老王v最新版, Dan, James, Zach, Ras, Mangpo, Nate, Chandrakana, and Mike, their coauthors, and the several UW PLSE alumni on their accepted papers to SNAPL’17!
- James and Emina's paper on memory model synthesis; 老王 v p n安卓版, 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!
- Zach gave a talk at the University of Utah on floating point at the University of Washington: Herbie, Herbgrind, and FPBench.
- Congratulations Mike on winning the ICSE 2017 Most Influential Paper award for his work on feedback-directed random test generation.
- Jared helped give a tutorial on his work adding native compilation to the LEAN theorem prover. Check it out!
- Evaluating & improving fault localization techniques was accepted to ICSE 2017. It's by Spencer Pearson, ex-postdoc René Just (now at UMass), Michael Ernst, 老王v最新版, Benjamin Keller, and their colleagues at Sheffield and Porto.
- Melissa Galloway was featured in UW CSE's Undergrad Spotlight.
- Congratulations to Chris Mackie and Nate Yazdani, honorable mentions for 2017 CRA Outstanding Undergraduate Researchers!
- 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
- 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!
- Andy Ko gave a keynote A human view of programming languages at 老王加速器最新版安卓下载
- Luke will present a poster on his and Jared's work on bootstrapping a secure eBPF compiler in Coq at OSDI 2016!
- Emina Torlak gave the keynote at RacketCon2016
- Chandrakana and Mike's work on program analyses for smart home security has been accepted to PLAS 2016!
- 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.
- Congratulations to everyone accepted to 老王加速器最新版安卓下载 Cassius, Bagpipe, 老王加速最新版, and Calvin’s work with Samsung Research America
- Ivan a UW alum, Yuriy a UW postdoc alum, Patty, and Mike's paper, Debugging Distributed Systems appeared in CACM August 2016 issue!
- Talia, Franzi, and Dan's paper, "AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems" to appear in ACM CCS 2016!
- Staccato won both the Distinguished Artifact and Distinguished Poster awards at 老王加速器最新版安卓下载. Congrats, 老王加速器最新版下载 and Dan!
- PLSE swept the best student paper awards at SYNT 2016! Maaz and Alvin won for their work on verified lifting for data processing; 老王加速器最新版安卓下载 came in second for her work on synthesis for robot motion planning.
- Ras wins an Influential Paper Award from ISCA for his 2001 paper Focusing Processor Policies via Critical-Path Prediction.
- Konne will be presenting Bagpipe's BGP formalization in Brazil at NetPL 16.
- Recent PLSE alum and soon-to-be Cornell professor Adrian Sampson won UW CSE's LSG|安卓破解|病毒分析|www.52pojie.cn - 蓝泡加速器 又一款 ...:2021-7-21 · 发帖子，最尴尬的就是，浏览量一直不停的往上涨，就是没有人回复和评分.....刚才的帖子被删除了，原因是:发布帖子标题只允许出现软件名和版本号，禁止出现其 ... 蓝泡加速器 又一款免费的游戏加速器 ,吾爱破解 - LCG - LSG |安卓破解|病毒分析|www.52pojie.cn!
- Alvin won the 老王加速器下载官网!
- Alvin and his collaborators from MIT, Stanford, and Barefoot Networks' work on programmable switches was accepted to SIGCOMM 2016.
- 老王 v p n安卓版, Patty, Yuriy, and Mike's paper on Debugging distributed systems is the cover story in the March/April 2016 issue of ACM Queue.
- Mike, Alberto, Alessandra, and Mauro's paper on Automatic generation of oracles for exceptional behaviors was accepted to ISSTA 2016.
- 老王加速最新版, Damiano, Massimo, and 老王 v p n安卓版's paper on 老王加速器app最新版下载_老王加速器安卓最新版下载_游戏窝:2021-4-24 · 游戏窝为您提供老王加速器最新版下载,《老王加速器最新版》中有着多样化的软件功能，占有的内存小，运行的速度非常的快，不会出现卡顿的现象，帮助用户更高的优化他伔的游戏运行，运行十分稳定，带给你全新的加速体验，点击一键加速你就能够轻松拥有飞一般的网速体验了。 was accepted to NFM 2016.
- Neutrons was accepted to CAV'16. If you're there, come to the talk to learn about verifying a neutron therapy machine.
- Congratulations to Talia Ringer and Amanda Swearngin for winning NSF graduate fellowships!
- 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!
- YOLO has been accepted to CVPR'16. Congrats to Joe!
- Xi's work on undefined behavior detection appears in this month's Communications of the ACM.
- Emina Torlak won the AITO 老王加速app下载 and the Sloan Fellowship!
- We have three papers accepted to PLDI 2016: Calvin, Emina, and Mike’s data structure synthesis with Cozy; 老王 v p n安卓版, Daryl, Zach, and Dan’s verified peephole optimizations with Peek; and Alvin's verified lifting of stencils with STNG.
- Mike and Javier's paper on Locking discipline inference and checking was accepted to 老王加速最新版.
- Konstantin Weitz was a finalist for the Facebook Fellowship Program!
- 老王安卓下载 won the Adobe Research Fellowship. Congrats!
- Daryl Zuniga won the prestigious UW Mary Gates Scholarship and an Honorable Mention for the CRA Undergraduate Research Award!
- Our paper on verifying Raft in Verdi will appear at CPP 2016!
- PLSE has four papers accepted to 老王加速器最新版安卓下载: 蚂蚁加速器 支持安卓、Windows、IOS、MAC 多条线路稳定 ...:2021-4-12 · 安卓黑洞加速器v1.0.7绿化版 老王VPN免费网络加速器更新v2.2.11 【安卓】 相关文章: 【教程】V2RAY各版本IOS、Windows、Android 安装 老王VPN2.2.12 最新更新下载中 ..., scalable superoptimization, DNA-based storage, and formal specifications for file system crash-consistency. See you in Atlanta!
- Alvin Cheung won MIT's George M. Sprowls Award for outstanding PhD theses in computer science!
- James, Emina, Dan, and Luis’s paper on optimizing program synthesis with metasketches has been accepted to POPL 2016.
- Sam just won the Lockheed Martin Award for Best Engineering Project at the Young Software Engineer Awards. Woohoo!
- PLSE sent four papers to OOPSLA this year: on object-oriented constraint solving, constraint programming, synthesis of layout engines, and a framework for synthesis.
- The PLSE group has 老王加速app下载 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!
- Timelapse has been accepted to UIST’15. Come find out about diffing web interfaces.
- The Herbie and Verdi projects killed it at PLDI’15. Didn't make the talks? Check out the project pages.
- The Herbie paper won Distinguished Paper at PLDI. Make sure you go see the talk!
- UW PLSE at SNAPL’15: a dependency case language for a neutron therapy machine, and hardware-software co-design!
- Ras Bodik is joining UW PLSE. We're so incredibly excited to work with him!
- Congrats Doug Woos and Pavel Panchekha, two students in UW PLSE, who just became NSF fellows.
- Verso presenting first steps toward low-level optimizations in CompCert, at 老王加速app下载.
