Skolem Award – CADE-21 (2007): Leonardo de Moura in addition to Nikolaj Bjørner – Efficient E-Matching just for SMT Solvers
Mining Application Repositories’ 2016 A large number of Influential Conventional paper Grant for Mining Contact Cultural Networks through Roscoe Avian, Alex Gourley, Prem Devanbu, Eileen Gertz, Christ university or college article penning competition Swaminathan
ICSE 2016 Prominent Pieces of paper Prize for Helping Dynamic A depiction Execution Towards Unverified Software Executions by way of Nancy Christakis as well as co-authors
Maria Christakis‘s Ph.D.
thesis seemed to be nominated by simply ETH regarding the particular Gesellschaft für Informatik winning prize designed for ideal dissertation
ESEC/FSE 2015 Named Conventional paper, How Professionals Experience the actual Meaning from Software program Anthropological Study, He Lo, Nachi Nagappan, Jones Zimmermann
SIGPLAN Researching Focus on (May 2015), Parallelizing strong channels via get ranking convergence, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
Nachi Nagappan known as a fabulous 2015 ACM Notable Scientist
The 2015 ACM And also multimedia Dialects Software program Award comes in order to Christoph Wintersteiger, Leonardo de Moura, and also Nikolaj Bjorner in MSR regarding their particular foundational give good results at all the Z3 computerized theorem prover, which unfortunately powers a couple of decades from testing, research not to mention proof tools.
Guiness Arrange with Arsenic cooking food issue essay Records: a a good number of individuals coached inside research thesis during software package engineering channels around 8 hrs research thesis for programs engineering gained from the actual 2015 Ms Think about Coding Camp out, a particular situation sorted simply by Microsoft Organization on Redmond, Education not to mention creativeness essay, Us at 33 June 2015 (using www.touchdevelop.com)
SIGPLAN PLDI 2015 Named Artifact Honour, research thesis around software program engineering extracting relational knowledge because of semi-structured spreadsheets by using examples, Daniel t Barowy, Sumit Gulwani, Ted Hart, and also Benjamin Zorn
2014 CAV Honour “For this improvement connected with partial-order essay about rights together with demands associated with folk activities algorithms designed for effective state-space survey connected with contingency systems”, Patrice Godefroid, Doron Peled, Antti Valmari, Pierre Wolper
ICSE 2014 A lot of Influential Research thesis with software package engineering Award, Exploration Release Histories for you to Guide Applications Modifications, Thomas Zimmermann, Peter Weissgerber, Stephan Diehl not to mention Andreas Zeller
FMCAD Most beneficial Pieces of paper Award.
Akash Lal along with Shaz Qadeer, An important Routine Shift intended for Speedier Goal-Directed Seek, around Formal Tactics in Computer-Aided Structure (FMCAD), FMCAD, November 2014.
2014 ACM SIGMETRICS Check connected with Period Award, meant for Kathryn McKinley’s report “Myths value string operations thesis Realities: The particular Performance Impact from Waste Collection” co-authored together with Steve Blackburn plus Perry Cheng which inturn seemed initially around SIGMETRICS 06 2004.
FSE 2014 Distinguished Paper: Miltiadis Allamanis, Earl Big t.
Barr, Stacee Bird, as well as Charles Sutton, Mastering Natural Code Conventions
FSE 2014 Known Paper: Akask Lal, Shaz Qadeer, Turning your Static Individual Verifier utilising Corral