<style type="text/css"> .row.vertical-divider { overflow: hidden; } .row.vertical-divider > div[class^="col-"] { padding-bottom: 100px; margin-bottom: -100px; border-left: 1px solid #F2F7F9; border-right: 1px solid #F2F7F9; } .row.vertical-divider div[class^="col-"]:first-child { border-left: none; } .row.vertical-divider div[class^="col-"]:last-child { border-right: none; } </style> <script src="//ajax.googleapis.com/ajax/libs/jquery/1.9.1/jquery.min.js"></script> <div class="container"> <nav class="navbar navbar-inverse navbar-default"> <div class="container-fluid"> <div> <ul id="ks-menu" class="nav navbar-nav"> <li><a href="#!ks-side=news.md&ks-body=about.html">Home</a></li> <li><a href="#!ks-side=news.md&ks-body=teaching.wiki">Teaching</a></li> <li><a href="#!ks-side=news.md&ks-body=projects.wiki">Projects</a></li> <li><a href="#!ks-side=news.md&ks-body=publications.html">Publications</a></li> <li><a href="#!ks-side=news.md&ks-body=service.wiki">Service</a></li> <li><a href="#!ks-side=news.md&ks-body=faq.wiki">F.A.Q.</a></li> <li><a href="#!ks-side=news.md&ks-body=TG.html">TG</a></li> </ul> </div> </div> </nav> <div class="row vertical-divider"> <div id="ks-side" class="col-md-4 kms-location" style="padding-left: 1em;" data-content="news"></div> <div id="ks-body" class="col-md-8 kms-location" style="padding-right: 1em;" data-content="about"></div> </div> <div class="navbar navbar-inverse navbar-default" style="bottom: 0; height: 2em; padding-left: 2em; padding-top: 1em;"> <p style="color: #8f8f8f;">© 2015 <a href="https://www.cs.berkeley.edu/~ksen/">Koushik Sen</a></p> </div> <script type="text/javascript"> $('.navbar li').click(function(e) { $('.navbar li.active').removeClass('active'); var $this = $(this); if (!$this.hasClass('active')) { $this.addClass('active'); } return true; }); </script> </div> ### Updates * [Slides](slides/CuteImpact19.pdf) on concolic testing from my ACM SIGSOFT Impact Award Keynote at ESEC/FSE 2019, Tallinn, Estonia. * [Slides](slides/sen-sefm-2019.pdf) on smart fuzzing from my keynote, colloquium, distinguished lecture, and invited talk at SEFM, UT Austin, MPI SWS, and Uber Science Symposium, respectively. * Congratulations to Caroline and Rohan for ACM SIGSOFT Distinguished Paper Award for the [PerfFuzz](papers/perffuzz.pdf) paper. * Efficient sampling of millions of solutions from SAT/SMT constraints. [QuickSampler](papers/quicksampler.pdf) [ICSE'18] and SMTSampler [ICCAD'18] can sample 100X-1000X faster than existing techniques. * [ISSTA 2017 Website](http://conf.researchr.org/home/issta-2017) * A [video](http://youtu.be/zbyuHnrOpfo) of my talk on "MultiSE: Multi-Path Symbolic Execution using Value Summaries" at UIUC 2014. Here is a link to the [paper](papers/multise.pdf) and associated [slides](slides/multise.pdf). _Winner of an ACM SIGSOFT Distinguished Paper Award_ at ESEC/FSE 2015. * Recently gave an invited [talk](slides/jalangi-soap15.pdf) on [Jalangi2](https://github.com/Samsung/jalangi2) at [SOAP 2015](http://www.sable.mcgill.ca/soap/), a PLDI workshop. * [SJS](http://www.eecs.berkeley.edu/Pubs/TechRpts/2015/EECS-2015-13.html), a typed subset of JavaScript, got accepted at SAS 2015. SJS is like asm.js, but supports objects, prototypes, higher-order functions. * Redesigned webpage with [KMS](https://github.com/ksen007/homepage-builder), a minimal single-page single-file content management system that I wrote in my spare time. * [Jalangi2](https://github.com/Samsung/jalangi2) is now available. Liang Gong and Michael Pradel built [DLint](https://github.com/ksen007/jalangi2analyses) (a dynamic bad-coding-practice checker for JavaScript) and [JITProf](https://github.com/ksen007/jalangi2analyses) (a JIT-unfriendly code snippet detector) on top of Jalangi. [MemInsight](https://github.com/Samsung/meminsight) (a memory-profiler for JavaScript and HTML5) is built on top of Jalangi2. * Checkout [Jalangi](https://github.com/SRA-SiliconValley/jalangi) for JavaScript. I have incorporated some of the best ideas that I developed in the original DART, CUTE, and CalFuzzer tools. Development of Jalangi is supported by Samsung Research America. * Here is a [video](http://youtu.be/b8SeZTgwXEY) of my talk on our work on “DART: Directed Automated Random Testing”, PLDI’05 and “CUTE: A Concolic Unit Testing Engine for C”, FSE’05. <div class="row"> <div class="col-md-6"> <img src="ksen.jpeg" class="img-responsive center-block" alt="Koushik Sen"> </div> <div class="col-md-6"> <h3>Koushik Sen</h3><br> Professor,<br> <a href="http://www.eecs.berkeley.edu/">Computer Sciences Division</a>,<br> <a href="http://www.berkeley.edu/">University of California, Berkeley</a>.<br> </div> </div> <br> <h3>Contact Information</h3><br> (Please read <a href="#!ks-side=news.md&ks-body=faq.wiki">this</a> before you contact me.)<br> <address> 735 Soda Hall<br> MC 1776 <br> Berkeley, CA 94720-1776 <br> <u>Phone:</u> (510) 289-3391 <br> <u>Fax:</u> (510) 643-1534 <br> <u>Email:</u> ksen (at) cs.berkeley.edu<br> <u>Assistant:</u> Tamille Chouteau, tamille at berkeley.edu <br> </address> <div id="ks-aboutmd" class="kms-location" data-content="about2" data-type=".md"></div> === Teaching === * Fall 2021 ** CS 264: Implementations of Programming Languages. * Fall 2019 ** [[https://sites.google.com/site/cs164fall2019/calendar-and-slides|CS 164: Programming Languages and Compilers]] **(based on a compiler for a subset of Python, called ChocoPy)**]] * Spring 2019 ** [[https://sites.google.com/berkeley.edu/cs263sp19/|CS 263: Design and Analysis of Programming Languages]] * Fall 2018 ** [[https://sites.google.com/site/cs164fall2018/|CS 164: Programming Languages and Compilers]] **(based on a compiler for a subset of Python, called ChocoPy)** ** [[https://sites.google.com/view/program-synthesis/|CS 294-157: Deep Learning and Program Synthesis]] * Spring 2018 ** [[https://sites.google.com/view/mlplse-sp18/|CS 294-147: Seminars on Applications of Deep Learning in Software Engineering and Programming Languages]] * Fall 2017 ** [[https://sites.google.com/site/cs164fall2017/|CS 164: Programming Languages and Compilers]] * Spring 2016 ** CS 164: Programming Languages and Compilers **(with focus on DSLs)** * Fall 2016 ** CS 294-15: [[https://people.eecs.berkeley.edu/~ksen/cs29415fall16.html|Advanced Topics in Testing, Debugging, and Program Analysis]] * Spring 2016 ** CS 164: [[https://sites.google.com/site/cs164Spring2016/|Programming Languages and Compilers]] * Fall 2015 ** CS 164: [[https://sites.google.com/site/cs164fall2015/|Programming Languages and Compilers]] * Spring 2015: None (on sabbatical) * Fall 2014: None (on sabbatical) * Spring 2014 ** CS 164: [[https://sites.google.com/site/cs164spring2014/|Programming Languages and Compilers]] * Fall 2013 ** CS 172: [[https://sites.google.com/site/fall2013cs172/|Computability and Complexity]] * Spring 2012: ** CS 172: [[https://sites.google.com/site/cs172spring2012/|Computability and Complexity]] ** CS 169: [[http://goo.gl/zwM6K|Software Engineering]] (with Armando Fox and David A Patterson) * Fall 2011: ** CS 294-70: [[http://fa11.pbworks.com/|Automated Bug Finding and Debugging]] * Spring 2011: ** CS 172: [[https://sites.google.com/site/cs172spring2011/|Computability and Complexity]] * Spring 2010: ** CS 169: [[http://inst.eecs.berkeley.edu/~cs169/sp10/|Software Engineering]] * Fall 2009: ** CS 265: [[http://fa09.pbwiki.com/|Dynamic Program Analysis, Testing, and Debugging]] * Spring 2009: ** CS 294: [[http://sp09.pbwiki.com/|Dynamic Program Analysis, Testing, and Debugging]] (with several guest lectures from leading PL and SE researchers.) ** CS 294-33: [[http://parlang.pbwiki.com/|Towards Highly-Productive Parallel Programming Languages]] (co-taught with Prof. Krste Asanovic and Prof. Dave Patterson) * Fall 2008: ** CS169: [[http://inst.eecs.berkeley.edu/~cs169/fa08/|Software Engineering]] * Spring 2008: None * Fall 2007: ** CS169: [[http://inst.eecs.berkeley.edu/~cs169/fa07/|Software Engineering]] ** CS 294-25. [[http://play.cs.berkeley.edu/wiki/cs294/fa07/index.php/Main_Page|Current Berkeley Research in Programming System]] * Spring 2007: [[http://srl.cs.berkeley.edu/~ksen/wiki/index.php/Main_Page|CS294-5]]: Dynamic Program Analysis, Testing, and Debugging [<a href="https://scholar.google.com/citations?user=Vn3L_ioAAAAJ&hl=en&oi=ao">Google Scholar</a>] [<a href="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sen:Koushik.html">DBLP</a>] [<a href="https://www.semanticscholar.org/author/Koushik-Sen/145741786">SemanticScholar</a>]<br><br> <script type="text/javascript"> KMS.setPlugin('.bib',undefined, function(text, content) { var prefix = '<textarea id="bibtex_input" style="display: none;">'; var suffix = '&lt;/textarea>\ <div id="bibtex_display"></div>\ <div class="bibtex_template" style="display:none;">\ <dt> [\ <span class="if myconfurl">\ <a class="myconfurl"><span class="myconfname"></span></a>\ </span>\ <span class="if pdf">\ | <a class="pdf"> pdf </a>\ </span>\ <span class="if ps">\ |<a class="ps"> ps </a>\ </span>\ <span class="if slides">\ |<a class="slides"> ppt </a>\ </span>\ <span class="if tr">\ |<a class="tr"> tr </a>\ </span>\ ]\ </dt>\ <dd style="margin-left: 20px">\ <span class="if author">\ <span class="author"></span>,\ </span>\ "<span class="title"></span>,"\ <span class="if booktitle" style="font-style: italic;">\ in <span class="booktitle" style="font-style: italic;"></span>,\ </span>\ <span class="if journal" style="font-style: italic;">\ <span class="journal"></span>,\ </span>\ <span class="if publisher">\ <span class="publisher"></span>,\ </span>\ <span class="if school">\ <span class="school"></span>,\ </span>\ <span class="if volume">\ <span class="volume"></span>\ <span class="if number">\ (<span class="number"></span>)\ </span>,\ </span>\ <span class="if pages">\ pages <span class="pages"></span>,\ </span>\ <span class="if year">\ <span class="year"></span>\ </span>.\ <span class="if note">\ <b><span class="note"></span>.</b>\ </span>\ </dd>\ </div>\ \x3Cscript type="text/javascript">\ bibtex_js_draw();\ \x3C/script>'; return prefix + text + suffix; }); </script> <div class="kms-location" data-content="ksen" data-type=".bib"> </div> === Questions from Prospective Students and Postdocs === * **Graduate and Undergraduate Students:** If you are **not** enrolled at UC Berkeley, please click [[http://www.eecs.berkeley.edu/Gradadm/|here]]. Please note that I usually do **not** take on undergraduate summer interns. If you're interested in my [[http://srl.cs.berkeley.edu/~ksen/sen-stmt.pdf|work]] and you are already at or admitted to Berkeley, please e-mail me or drop by my office to discuss research opportunities. * **Postdocs:** If you are interested in a post doc position in my group, please e-mail me your CV and a description of research interests and experience. === Questions concerning Consulting === * **Consulting, Startups, Industry Collaboration, or Work as an Expert Witness:** contact me via email === Cool Projects === ==== Current ==== * Efficient sampling of SAT/SMT constraints. [see our ICSE 2018 and ICCAD 2018 papers] * Smart Fuzzing (FairFuzz, RFUZZ, PerfFuzz, JQF). [see our ISSTA 2018, ICCAD 18, and ASE 2018 papers] * Machine learning for finding bugs and for improving programmer productivity. [see our DeepBugs OOPLSA 2018 paper, NCS MAPL'18 paper, and the Context2Name paper] * Software stack for Quantum Computers * [[https://github.com/wtchoi/SwiftHand|SwiftHand]]: An automated GUI testing tool for Android apps. * [[https://github.com/ksen007/janala2|CATG (A new Java Concolic Testing Tool)]], [[http://crest.googlecode.com/|CREST]], [[http://osl.cs.illinois.edu/software/jcute/|jCUTE]], CUTE and DART: Combining concrete and symbolic analysis to test sequential and parallel C and Java programs. See our PLDI 05, FSE 05, FASE 06, HVC 06, CAV 06, ISSTA 07, ICSE 07, ASE 08 papers. ==== Past ==== * [[http://crd.lbl.gov/groups-depts/ftg/projects/current-projects/corvette/|CORVETTE]]: Correctness, Verification, and Testing of Parallel Programs * TreeRegex (coming soon) * [[https://github.com/SRA-SiliconValley/jalangi|Jalangi]]: A concolic testing, symbolic execution, record-replay, and dynamic analysis framework for JavaScript * [[http://parlab.eecs.berkeley.edu/|Par Lab]] Parallel Computing Laboratory. [[http://www.nytimes.com/2008/03/19/technology/19compute.html|Press 1]] [[http://www.webwire.com/ViewPressRel.asp?aId=61492|Press 2]] [[http://www.bizjournals.com/wichita/stories/2008/03/17/daily26.html|Press 3]] [[http://news.moneycentral.msn.com/ticker/article.aspx?Feed=ACBJ&Date=20080318&ID=8359659&Symbol=MSFT|Press 4]] * [[http://srl.cs.berkeley.edu/~ksen/calfuzzer/|CalFuzzer]]: An active random testing tool for multi-threaded Java. See our ASE 07, PLDI 08, FSE 08, PLDI 09, CAV 09, FSE 09, FSE 10, ISSTA 11, SC'11, ICS'13 papers. * [[http://www.cs.berkeley.edu/~joel/codehint/|CodeHint]]: CodeHint is a smart auto-completion and code synthesis tool. * [[http://osl.cs.uiuc.edu/~ksen/eagle/|Eagle]], [[http://osl.cs.uiuc.edu/~ksen/jmpax/web/|JMPaX]], and [[http://fsl.cs.uiuc.edu/diana/|DIANA]]: Runtime Monitoring Techniques and Tools for Sequential, Concurrent, and Distributed Systems. * [[http://osl.cs.uiuc.edu/~ksen/vesta2/|VESTA]]: Statistical and Probabilistic Model Checker and Analyzer for Probabilistic Systems. * [[http://osl.cs.uiuc.edu/~vardhan/lever.html|LEVER]]: Learning to Verify --- Application of machine learning to automatically verify infinite state systems. ### Students and Post-docs ### #### Current Students #### * [Naman Jain](https://naman-ntc.github.io/) * [Kevin Laeufer](https://kevinlaeufer.com/) * [Manish Shetty](https://manishs.org/) * [Chaofan Shou](https://scf.so/) * [Shangyin Tan](https://shangyit.me/) #### Former Students #### * Aayan Kumar * [Rohan Bavishi](https://rbavishi.github.io/) (Adept.ai) * Griffin Prechter (co-advised with Raluca Ada Popa) * [Caroline Lemieux](https://people.eecs.berkeley.edu/~clemieux/) (Faculty at UBC starting 2022) * [Rohan Padhye](https://people.eecs.berkeley.edu/~rohanpadhye/) (Faculty at CMU) * Rafael Dutra (Post-doc at CISPA Helmholtz Center for Information Security) * Ed Younis (Computer Systems Engineer, LBL) * [Liang Gong](http://jacksongl.github.io/) (Research Scientist at Facebook) * Philip Wontae Choi (PhD) [Google] * Joel Galenson (PhD) [Qualcomm Research -> Google] * Chang-Seo Park]] (PhD) [Google-> Corporate VP and Head of Software Engineering Research at Samsung Electronics DS] * Jacob Burnim] (PhD) [Startup, Sift Science -> Google] * Pallavi Joshi (PhD) [NEC Labs America-> Cloudera -> Google] * Christos Stergiou (PhD) [Post Doc at UPenn -> Google] * Benjamin Mehne (MS) [Facebook.com] * Cuong Nguyen (MS) [Facebook.com] * Nicholas Jalbert (MS) [Startup, Captricity] * [Sudeep Juvekar](http://www.sudeep-juvekar.com/)(MS) * Yamini Kannan (MS) * [David Eitan Poll](http://www.depoll.com/) (MS) [Microsoft] * [Mark Shlimovich](http://www.shlim.net/) (MS) [Microsoft] #### Post Docs #### ##### Former postdocs ##### * Emmanuelle Saillard [Tenured Research Scientist at Inria Bordeaux - Sud-Ouest] * Xuehai Qian [Faculty at USC] * Cindy Rubio-González (jointly with James Demmel and Costin Iancu) [Faculty at UC Davis] * [Michael Pradel](http://mp.binaervarianz.de/) [Faculty at TU Darmstadt] * Tayfun Elmas (jointly with George Necula) [Now at Google] * [Guillaume Revy](http://perso.univ-perp.fr/guillaume.revy/index.php?page=home|) (jointly with James Demmel) [Faculty at Université de Perpignan Via Domitia] ### CV and Research Statement * [CV (last updated on 8/19/2016)](sen-cv-2016.pdf) * [Research statement from 2016-2019 (last updated on 11/01/2019)](sen-stmt-2016.pdf) * [Research statment from 2011-2016 (last updated on 8/19/2016)](sen-stmt-2011.pdf) * [Research statement from 2006-2011](sen-stmt-2006.pdf) ### Research Interests Software Engineering, Formal Methods, and Programming Languages (with an emphasis on Software Reliability): Dynamic Program Analysis, Software Testing, Debugging, Verification, Model-Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic. ### Biography Koushik Sen is a professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research interest lies in Software Engineering, Programming Languages, and Formal methods. He is interested in developing software tools and methodologies that improve programmer productivity and software quality. He is best known for his work on “DART: Directed Automated Random Testing” and concolic testing. He has received a NSF CAREER Award in 2008, a Haifa Verification Conference (HVC) Award in 2009, a IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice in 2010, a Sloan Foundation Fellowship in 2011, a Professor R. Narasimhan Lecture Award in 2014, an Okawa Foundation Research Grant in 2015, and an ACM SIGSOFT Impact Paper Award in 2019. He has won several ACM SIGSOFT Distinguished Paper Awards. He received the C.L. and Jane W-S. Liu Award in 2004, the C. W. Gear Outstanding Graduate Award in 2005, and the David J. Kuck Outstanding Ph.D. Thesis Award in 2007, and a Distinguished Alumni Educator Award in 2014 from the UIUC Department of Computer Science. He holds a B.Tech from Indian Institute of Technology, Kanpur, and M.S. and Ph.D. in CS from University of Illinois at Urbana-Champaign. ### Concolic Testing Homework [CUTE Homework for Java](http://fa11.pbworks.com/w/page/45241717/CUTE%20Homework), [CUTE Homework for C](http://sp09.pbwiki.com/CUTE-Homework) ### Active Testing Homework [RaceFuzzer Homework](http://sp09.pbwiki.com/RaceFuzzer-Homework) === Students === ==== Current Students ==== * Abdus Salam Azad * [[https://rbavishi.github.io/|Rohan Bavishi]] * Rafael Dutra * Kevin Laeufer (co-advised with Jonathan Bachrach) * [[https://people.eecs.berkeley.edu/~clemieux/|Caroline Lemieux]] * [[https://people.eecs.berkeley.edu/~rohanpadhye/|Rohan Padhye]] * Ed Younis ==== Former Students ==== * [[http://jacksongl.github.io/|Liang Gong]] (PhD Facebook) * [[http://www.eecs.berkeley.edu/~wtchoi/|Philip Wontae Choi]] (PhD) [Google] * [[http://www.eecs.berkeley.edu/~joel/|Joel Galenson]] (PhD) [Qualcomm Research -> Google] * [[http://www.cs.berkeley.edu/~parkcs/|Chang-Seo Park]] (PhD) [Google] * [[http://www.eecs.berkeley.edu/~jburnim/ |Jacob Burnim]] (PhD) [Startup, Sift Science] * [[http://www.cs.berkeley.edu/~pallavi/|Pallavi Joshi]] (PhD) [NEC Labs America-> Cloudera -> Google] * Christos Stergiou (PhD) [Post Doc at UPenn -> Google] * Benjamin Mehne (MS) [Facebook.com] * Cuong Nguyen (MS) [Facebook.com] * [[http://www.eecs.berkeley.edu/~jalbert/|Nicholas Jalbert]] (MS) [Startup, Captricity] * [[http://www.sudeep-juvekar.com/|Sudeep Juvekar]] (MS) * Yamini Kannan (MS) * [[http://www.depoll.com/|David Eitan Poll]] (MS) [Microsoft] * [[http://www.shlim.net/|Mark Shlimovich]] (MS) [Microsoft] ==== Post Docs ==== ==== Former postdocs ==== * Emmanuelle Saillard * [[http://www.eecs.berkeley.edu/~xuehaiq/|Xuehai Qian]] [Now at USC] * [[http://www.eecs.berkeley.edu/~rubio/|Cindy Rubio-González]] (jointly with James Demmel and Costin Iancu) [Now at UC Davis] * [[http://mp.binaervarianz.de|Michael Pradel]] [Now at TU Darmstadt] * Tayfun Elmas (jointly with George Necula) [Now at Google] * [[http://perso.univ-perp.fr/guillaume.revy/index.php?page=home|Guillaume Revy]] (jointly with James Demmel) [Now at Université de Perpignan Via Domitia] === Program Committees === * ICSE 2019 (Board), CAV 2019 (Area chair) * ASPLOS 2018 (ERC), PLDI 2018(ERC), CAV 2018, ASE 2018 * [[http://conf.researchr.org/home/issta-2017|ISSTA 2017 (PC Chair)]], PLDI 2017 (EPC) * ASPLOS 2016, ISSTA 2016, POPL 2016 (ERC) * CAV 2015, ISSTA 2015, RV 2015, PLDI 2015 (ERC) * PLDI 2014, CAV 2014, ISEC 2014 (co-chair), PPoPP 2014 (ERC) * PLDI 2013 (ERC), OOPSLA 2013, ESEC/FSE 2013 Tool Demonstrations, PSTI 2013 * FSE 2012, HotPar 2012, WoDeT 2012, RV 2012, OOPSLA 2012 (ERC) * ISSTA 2011, SPIN 2011, [[http://rv2011.eecs.berkeley.edu/|RV 2011 (co-chair)]], OOPSLA 2011 (ERC), NFM 2011, TMC 2011 * OOPSLA 2010, [[http://ispass.org/ispass2010/|ISPASS 2010]], [[|ICSE NIER 2010]], NFM 2010, RV 2010, PSTI 2010, SAVCBS 2010, LFX 2010 (co-chair) * [[http://bitterroot.vancouver.wsu.edu/icst2009/|ICST 2009]], [[http://www.cse.ohio-state.edu/icdcs2009/|ICDCS 2009]], [[http://www.cs.york.ac.uk/etaps09/Conf/conf.html#fase|FASE 2009]], [[http://www.iiit.ac.in/ICDCN09/|ICDCN 2009]], [[http://ti.arc.nasa.gov/event/spin09/|SPIN 2009]], [[http://ti.arc.nasa.gov/event/nfm09/|NFM 2009]], [[http://research.microsoft.com/en-us/events/defects2009/|DEFECTS 2009]], [[http://www.eecs.ucf.edu/SAVCBS/2009/index.shtml|SAVCBS 2009]] * [[http://www.princeton.edu/cav2008/|CAV 2008]], [[http://www.di.univaq.it/ase2008/|ASE 2008]], [[http://research.microsoft.com/~grama/APLAS2008/|APLAS 2008]], [[http://www.qest.org/|QEST 2008]], [[http://compilers.cs.ucla.edu/spin08/|SPIN 2008]], [[http://fm.csl.sri.com/AFM08/|AFM 2008]], STEP 2008, ICST Student Track 2008. * [[http://www.cav2007.org/|CAV 2007]], [[http://www.oopsla.org/oopsla2007/|OOPSLA 2007]], [[http://www.mathematik.uni-ulm.de/sai/mayer/rt07/|RT 2007]], [[http://samate.nist.gov/index.php/SASII|SAS II 2007]] @inproceedings{UAI22, author = {Martin Gubri and Maxime Cordy and Mike Papadakis and Yves Le Traon and Koushik Sen}, editor = {James Cussens and Kun Zhang}, title = {Efficient and transferable adversarial examples from bayesian neural networks}, booktitle = {Uncertainty in Artificial Intelligence, Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, {UAI} 2022, 1-5 August 2022, Eindhoven, The Netherlands}, series = {Proceedings of Machine Learning Research}, volume = {180}, pages = {738--748}, publisher = {{PMLR}}, year = {2022}, url = {https://proceedings.mlr.press/v180/gubri22a.html}, myconfname={UAI'22}, myconfurl={https://www.auai.org/uai2022/}, } @inproceedings{EMNLP22a, author = {Da Shen and Xinyun Chen and Chenguang Wang and Koushik Sen and Dawn Song}, title = {Benchmarking Language Models for Code Syntax Understanding}, booktitle = {The 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP'22)}, year = {2022}, myconfname = {EMNLP'22}, myconfurl = {https://2022.emnlp.org/}, } @inproceedings{EMNLP22b, title = {PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion}, author = {Jianhao Shen and Chenguang Wang and Ye Yuan and Jiawei Han and Heng Ji and Koushik Sen and Ming Zhang and Dawn Song}, booktitle = {In Proc. 2022 Conf. on Empirical Methods on Natural Language Processing (EMNLP 2022)}, year = {2022}, myconfname = {EMNLP'22}, myconfurl = {https://2022.emnlp.org/}, } @article{BLSSoopsla21, author = {Bavishi, Rohan and Lemieux, Caroline and Sen, Koushik and Stoica, Ion}, title = {Gauss: Program Synthesis by Reasoning over Graphs}, year = {2021}, issue_date = {October 2021}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {5}, number = {OOPSLA}, url = {https://doi.org/10.1145/3485511}, doi = {10.1145/3485511}, journal = {Proc. ACM Program. Lang.}, month = {oct}, articleno = {134}, numpages = {29}, myconfname={OOPSLA'21}, myconfurl={https://2021.splashcon.org/track/splash-2021-oopsla}, pdf = {https://rbavishi.github.io/docs/oopsla2021-gauss.pdf}, } @article{LSsttt21, author = {Caroline Lemieux and Koushik Sen}, title = {FairFuzz-TC: a fuzzer targeting rare branches}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {6}, pages = {863--866}, year = {2021}, url = {https://doi.org/10.1007/s10009-020-00569-w}, doi = {10.1007/s10009-020-00569-w}, timestamp = {Mon, 03 Jan 2022 22:07:35 +0100}, biburl = {https://dblp.org/rec/journals/sttt/LemieuxS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, myconfname={STTT'21}, myconfurl={https://www.springer.com/journal/10009}, pdf = {https://link.springer.com/content/pdf/10.1007/s10009-020-00569-w.pdf}, } @inproceedings{Base21, title = {{VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks}}, author = {Rohan Bavishi and Shadaj Laddad and Hiroaki Yoshida and Mukul R. Prasad and Koushik Sen}, booktitle={Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2021}, myconfname={ASE'21}, myconfurl={https://conf.researchr.org/home/ase-2021}, pdf = {https://rbavishi.github.io/docs/ase2021-vizsmith.pdf}, } @inproceedings{YSYIqce21, author = {Ed Younis and Koushik Sen and Katherine A. Yelick and Costin Iancu}, editor = {Hausi A. M{\"{u}}ller and Greg Byrd and Candace Culhane and Travis Humble}, title = {{QFAST:} Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis}, booktitle = {{IEEE} International Conference on Quantum Computing and Engineering, {QCE} 2021, Broomfield, CO, USA, October 17-22, 2021}, pages = {232--243}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/QCE52317.2021.00041}, doi = {10.1109/QCE52317.2021.00041}, timestamp = {Tue, 30 Nov 2021 17:31:17 +0100}, biburl = {https://dblp.org/rec/conf/qce/YounisSYI21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, myconfname={QCE'21}, myconfurl={https://qce.quantum.ieee.org/}, pdf = {https://arxiv.org/pdf/2103.07093}, note = {Best Paper Award}, } @inproceedings{VPSicse2021, author = {Vasudev Vikram and Rohan Padhye and Koushik Sen}, title = {Growing {A} Test Corpus with Bonsai Fuzzing}, booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2021, Madrid, Spain, 22-30 May 2021}, pages = {723--735}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICSE43902.2021.00072}, doi = {10.1109/ICSE43902.2021.00072}, timestamp = {Mon, 07 Jun 2021 16:39:41 +0200}, biburl = {https://dblp.org/rec/conf/icse/VikramPS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, myconfname={ICSE'21}, myconfurl={https://conf.researchr.org/home/icse-2021}, pdf={https://arxiv.org/pdf/2103.04388}, } @inproceedings {SonUsenix21, author = {Jeongseok Son and Griffin Prechter and Rishabh Poddar and Raluca Ada Popa and Koushik Sen}, title = {ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State}, booktitle = {30th {USENIX} Security Symposium ({USENIX} Security 21)}, year = {2021}, url = {https://www.usenix.org/conference/usenixsecurity21/presentation/son}, publisher = {{USENIX} Association}, month = aug, myconfname={Usenix Security'21}, myconfurl={https://www.usenix.org/conference/usenixsecurity21/}, pdf={https://www.usenix.org/system/files/sec21fall-son.pdf}, } @article{GarciaVLDB20, author = {Rolando Garcia and Eric Liu and Vikram Sreekanti and Bobby Yan and Anusha Dandamudi and Joseph Gonzalez and Joseph M. Hellerstein and Koushik Sen}, title = {Hindsight Logging for Model Training}, journal = {Proc. {VLDB} Endow.}, volume = {14}, number = {4}, pages = {682--693}, year = {2020}, url = {http://www.vldb.org/pvldb/vol14/p682-garcia.pdf}, doi = {10.14778/3436905.3436925}, timestamp = {Tue, 23 Mar 2021 16:03:22 +0100}, biburl = {https://dblp.org/rec/journals/pvldb/GarciaLSYD0HS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, myconfname={PVLDB'20}, myconfurl={https://dl.acm.org/journal/pvldb}, pdf={http://www.vldb.org/pvldb/vol14/p682-garcia.pdf}, } @inproceedings{Harrison20, author = {Lee Harrison and Hayawardh Vjayakumar and Rohan Padhye and Koushik Sen and Michael Grace}, title = {PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation}, booktitle = {29th {USENIX} Security Symposium ({USENIX} Security '20)}, year = {2020}, publisher = {{USENIX} Association}, myconfname={USENIX Security'20}, myconfurl={https://www.usenix.org/conference/usenixsecurity20/}, pdf={papers/partemu.pdf}, } @inproceedings{Dqce20, author = {Marc Davis and Ethan Smith and Ana Tudor and Koushik Sen and Irfan Siddiqi and Costin Iancu}, booktitle = {IEEE International Conference on Quantum Computing and Engineering (QCE20). Track: Quantum Computing}, title = {Towards Depth Optimal, Topology Aware Quantum Circuit Synthesis}, note = {Best Paper Award}, myconfname={QCE'20}, myconfurl={https://qce.quantum.ieee.org/}, pdf={papers/qsynth.pdf}, } @inproceedings{Yiwqc20, title = {QFAST: Quantum Synthesis Using a Hierarchical Continuous Circuit Space}, author = {Ed Younis and Koushik Sen and Katherine Yelick and Costin Iancu}, booktitle = {4th International Workshop on Quantum Compilation (IWQC'20)}, year = {2020}, myconfname = {IWQC'20}, myconfurl={https://quantumweek2020.cambridgequantum.com/iwqc20.html}, pdf={papers/qfast.pdf}, } @inproceedings{Bfse20, title = {Exempla Gratis (E.G.): Code Examples for Free}, author= {Celeste Barnaby and Koushik Sen and Tianyi Zhang and Elena Glassman and Satish Chandra}, booktitle = {28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Industry Track (ESEC/FSE 2020 Industry) site.}, publisher = {ACM}, year = {2020}, myconfname={ESEC/FSE'20}, myconfurl={https://2020.esec-fse.org/track/esecfse-2020-industry-papers}, pdf={papers/example.pdf}, } @inproceedings{Zosdi20, author = {Lianmin Zheng and Chengfan Jia and Minmin Sun and Zhao Wu and Cody Hao Yu and Ameer Haj{-}Ali and Yida Wang and Jun Yang and Danyang Zhuo and Koushik Sen and Joseph E. Gonzalez and Ion Stoica}, title = {Ansor : Generating High-Performance Tensor Programs for Deep Learning}, booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018.}, publisher = {USENIX Association}, year = {2020}, myconfname={OSDI'20}, myconfurl={https://www.usenix.org/conference/osdi20}, pdf={papers/ansor.pdf}, } @inproceedings{RLPSicse20, author = {Sameer Reddy and Caroline Lemieux and Rohan Padhye and Koushik Sen}, editor = {Gregg Rothermel and Doo{-}Hwan Bae}, title = {Quickly generating diverse valid test inputs with reinforcement learning}, booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020}, pages = {1410--1421}, publisher = {{ACM}}, year = {2020}, myconfname={ICSE'20}, myconfurl={https://conf.researchr.org/home/icse-2020}, pdf={papers/rlcheck.pdf}, } @inproceedings{LSscala20, title={ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs}, author = {Shadaj Laddad and Koushik Sen}, booktitle = {11th ACM SIGPLAN Scala Symposium (Scala'20)}, myconfname = {Scala'20}, myconfurl = {https://2020.ecoop.org/home/scala-2020}, pdf = {papers/scalapy.pdf} } @inproceedings{LSgpce20, title = {Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types}, author = {Shadaj Laddad and Koushik Sen}, booktitle = {19th International Conference on Generative Programming: Concepts & Experiences (GPCE'20)}, myconfname = {GPCE'20}, myconfurl = {https://conf.researchr.org/home/gpce-2020?track=GPCE}, pdf = {papers/fluidquotes.pdf} } @inproceedings{Ccc20, author = {Nariyoshi Chida and Yuhei Kawakoya and Dai Ikarashi and Kenji Takahashi and Koushik Sen}, editor = {Louis{-}No{\"{e}}l Pouchet and Alexandra Jimborean}, title = {Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms}, booktitle = {{CC} '20: 29th International Conference on Compiler Construction, San Diego, CA, USA, February 22-23, 2020}, pages = {155--166}, publisher = {{ACM}}, year = {2020}, myconfname={CC'20}, myconfurl={https://conf.researchr.org/home/CC-2020}, pdf={papers/packrat.pdf}, } @article{Cemse20, author = {Thierry Titcheu Chekam and Mike Papadakis and Tegawend{\'{e}} F. Bissyand{\'{e}} and Yves Le Traon and Koushik Sen}, title = {Selecting fault revealing mutants}, journal = {Empir. Softw. Eng.}, volume = {25}, number = {1}, pages = {434--487}, year = {2020}, myconfname={EMSE'20}, myconfurl={https://link.springer.com/journal/10664}, pdf={papers/emse19.pdf}, } @inproceedings{DBSfmcad19, author = {Rafael Dutra and Jonathan Bachrach and Koushik Sen}, title = { GuidedSampler: Coverage-guided Sampling of SMT Solutions}, booktitle = {Formal Methods in Computer Aided Design (FMCAD'2019)}, year = {2019}, myconfname={FMCAD'19}, myconfurl={https://fmcad.forsyte.at/FMCAD19/}, pdf={papers/guidedsampler.pdf}, } @article{Padhye19-fuzzfactory, author = {Rohan Padhye and Caroline Lemieux and Koushik Sen and Laurent Simon and Hayawardh Vijayakumar}, title = {FuzzFactory: Domain-Specific Fuzzing with Waypoints}, journal = {ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (OOPSLA'19)}, volume = {3}, number = {OOPSLA}, month = oct, year = {2019}, pages = {174:1--174:29}, articleno = {174}, numpages = {29}, location = {Athens, Greece}, publisher = {ACM}, myconfname={OOPSLA'19}, myconfurl={https://2019.splashcon.org/track/splash-2019-oopsla}, pdf={papers/fuzzfactory.pdf}, } @article{B19autopandas, author = {Rohan Bavishi and Caroline Lemieux and Roy Fox and Koushik Sen and Ion Stoica}, title = {{AutoPandas: Neural-Backed Generators for Program Synthesis}}, journal = {ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (OOPSLA'19)}, volume = {3}, number = {OOPSLA}, month = oct, year = {2019}, myconfname={OOPSLA'19}, myconfurl={https://2019.splashcon.org/track/splash-2019-oopsla}, pdf={papers/autopandas2.pdf}, } @article{L19aroma, author = {Sifei Luan and Di Yang and Celeste Barnaby and Koushik Sen and Satish Chandra}, title = {{Aroma: Code Recommendation via Structural Code Search}}, journal = {ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (OOPSLA'19)}, volume = {3}, number = {OOPSLA}, month = oct, year = {2019}, myconfname={OOPSLA'19}, myconfurl={https://2019.splashcon.org/track/splash-2019-oopsla}, pdf={papers/aroma.pdf}, note = {ACM SIGPLAN Distinguished Paper Award}, } @inproceedings{Yiwqc19, title = {Analyzing the Impact of Errors in Quantum Program Components}, author = {Ed Younis and Koushik Sen and Jan Balewski and Costin Iancu}, booktitle = {3rd International Workshop on Quantum Compilation (IWQC'19)}, year = {2019}, myconfname = {IWQC'19}, myconfurl={https://msoeken.github.io/iwqc19.html}, pdf={papers/qerror.pdf}, } @inproceedings{eiger19, title={EIGER: Automated IOC Generation for Accurate and Interpretable Endpoint Malware Detection}, author={Yuma Kurogome and Yuto Otsuki and Yuhei Kawakoya and Makoto Iwamura and Syogo Hayashi and Tatsuya Mori and Koushik Sen}, booktitle={Annual Computer Security Applications Conference (ACSAC'19)}, myconfname={ACSAC'19}, myconfurl={https://www.acsac.org/}, pdf={papers/eiger.pdf}, } @inproceedings{Padhye2019-chocopy, author = {Rohan Padhye and Koushik Sen and Paul N. Hilfinger}, title = {ChocoPy: A Programming Language for Compilers Courses}, booktitle = {Proceedings of the 2019 ACM SIGPLAN SPLASH-E Symposium}, series = {SPLASH-E 2019}, year = {2019}, location = {Athens, Greece}, url = {https://doi.org/10.1145/3358711.3361627}, doi = {10.1145/3358711.3361627}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {Compilers courses, Python, RISC-V}, myconfname={SPLASH-E'19}, myconfurl={https://2018.splashcon.org/track/splash-2018-SPLASH-E?track=SPLASH%20-E}, pdf={papers/chocopy.pdf}, } @inproceedings{Padhye2019-failfast, author = {Rohan Padhye and Koushik Sen}, title = {Efficient Fail-Fast Dynamic Subtype Checking}, booktitle = {Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages}, series = {VMIL 2019}, year = {2019}, location = {Athens, Greece}, url = {http://doi.acm.org/10.1145/3281287.3281291}, doi = {10.1145/3281287.3281291}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {object-oriented programming, dynamic casts, multiple inheritance, bloom filters}, myconfname={VMIL'19}, myconfurl={https://2019.splashcon.org/home/vmil-2019}, pdf={papers/failfast.pdf}, } @inproceedings{Ljpf19, author = {Dinh Xuan Bach Le, Corina Pasareanu, Rohan Padhye, Willem Visser, Koushik Sen, and David Lo}, title = {SAFFRON: Adaptive Grammar-based Fuzzing for Worst-Case Analysis}, booktitle = {Java Pathfinder Workshop at 34th IEEE/ACM International Conference on Automated Software Engineering (JPF'19)}, myconfname={JPF'19}, myconfurl={https://2019.ase-conferences.org/home/jpf-2019}, pdf={papers/saffron.pdf}, } @inproceedings{Pissta19zest, author = {Rohan Padhye and Caroline Lemieux and Koushik Sen and Mike Papadakis and Yves Le Traon}, title = {Semantic Fuzzing with {Zest}}, booktitle = {Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis}, series = {ISSTA'19}, year = {2019}, location = {Beijing, China}, myconfname={ISSTA'19}, myconfurl={https://conf.researchr.org/home/issta-2019}, pdf={papers/zest.pdf}, url = {https://doi.org/10.1145/3293882.3330576}, doi = {10.1145/3293882.3330576}, note = {ACM SIGSOFT Distinguished Artifact Award}, } @inproceedings{Pissta19jqf, author = {Rohan Padhye and Caroline Lemieux and Koushik Sen}, title = {{JQF}: Coverage-guided Property-based Testing in {Java}}, booktitle = {Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis}, series = {ISSTA '19}, year = {2019}, location = {Beijing, China}, myconfname={ISSTA'19}, myconfurl={https://conf.researchr.org/home/issta-2019}, pdf={papers/jqf.pdf}, url = {https://doi.acm.org/10.1145/3293882.3339002}, doi = {10.1145/3293882.3339002}, note = {ACM SIGSOFT Tool Demonstration Award}, } @inproceedings{Cfse19, TITLE = {When Deep Learning Met Code Search}, AUTHOR = {Jose Cambronero and Hongyu Li and Seohyun Kim and Koushik Sen and Satish Chandra}, BOOKTITLE = {Industry Track of 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'19)}, publisher = {ACM}, pages = {964--974}, year = 2019, myconfname={ESEC/FSE'19}, pdf={papers/ncscomp.pdf}, myconfurl={https://esec-fse19.ut.ee/}, } @article{Ljpf19, author = {Xuan{-}Bach D. Le and Corina S. Pasareanu and Rohan Padhye and David Lo and Willem Visser and Koushik Sen}, title = {Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {44}, number = {4}, pages = {14}, year = {2019}, myconfname={JPF'19}, myconfurl={https://2019.ase-conferences.org/home/jpf-2019}, pdf={papers/saffron.pdf}, } @article{Ktse18, author = {Karim, Rezwana and Tip, Frank and Sochurkova, Alena and Sen, Koushik}, year = {2018}, month = {10}, pages = {1-1}, title = {Platform-Independent Dynamic Taint Analysis for JavaScript}, volume = {PP}, journal = {IEEE Transactions on Software Engineering}, myconfname={TSE}, myconfurl={https://ieeexplore.ieee.org/document/8511058}, pdf={papers/jtaint.pdf}, } @inproceedings{Picse19, author = {Rohan Padhye and Caroline Lemieux and Koushik Sen and Mike Papadakis and Yves Le Traon}, title = {Validity fuzzing and parametric generators for effective random testing (Poster paper)}, booktitle = {Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019.}, pages = {266--267}, year = {2019}, myconfname={ICSE'19}, myconfurl={https://2019.icse-conferences.org/}, pdf={papers/validity.pdf}, crossref = {DBLP:conf/icse/2019c}, url = {https://dl.acm.org/citation.cfm?id=3339777}, timestamp = {Fri, 07 Jun 2019 11:20:01 +0200}, biburl = {https://dblp.org/rec/bib/conf/icse/PadhyeLSPT19}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{Bmlsys18, TITLE = {Neural Inference of API Functions from Input–Output Examples}, AUTHOR= {Rohan Bavishi and Caroline Lemieux and Neel Kant and Roy Fox and Koushik Sen and Ion Stoica}, BOOKTITLE={Workshop on ML for Systems at NeurIPS}, year = 2018, pdf={papers/autopandas.pdf}, myconfname={MLforSystems'18}, myconfurl={http://mlforsystems.org/} } @incollection{GShmc18, author = {Patrice Godefroid and Koushik Sen}, title = {Combining Model Checking and Testing}, booktitle = {Handbook of Model Checking.}, pages = {613--649}, year = {2018}, crossref = {DBLP:reference/mc/2018}, url = {https://doi.org/10.1007/978-3-319-10575-8_19}, doi = {10.1007/978-3-319-10575-8_19}, timestamp = {Tue, 29 May 2018 12:30:27 +0200}, biburl = {https://dblp.org/rec/bib/reference/mc/GodefroidS18}, bibsource = {dblp computer science bibliography, https://dblp.org}, myconfname={HBMC}, myconfurl={https://www.springer.com/us/book/9783319105741} } @inproceedings{PSoopsla18, TITLE = {DeepBugs: A Learning Approach to Name-based Bug Detection}, AUTHOR= {Michael Pradel and Koushik Sen}, BOOKTITLE={ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (OOPSLA'18)}, year = 2018, myconfname={OOPSLA'18}, myconfurl={https://conf.researchr.org/track/splash-2018/splash-2018-OOPSLA}, pdf={papers/deepbugs.pdf} } @inproceedings{LSase18, TITLE = {FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage}, AUTHOR= {Caroline Lemieux and Koushik Sen}, BOOKTITLE={33rd IEEE/ACM International Conference on Automated Software Engineering}, year = 2018, myconfname={ASE'18}, myconfurl={http://www.ase2018.com/}, pdf={papers/fairfuzz.pdf} } @inproceedings{Liccad18, TITLE = {RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs}, AUTHOR= {Kevin Laeufer and Jack Koenig and Donggyu Kim and Jonathan Bachrach and Koushik Sen}, BOOKTITLE={International Conference On Computer Aided Design}, year = 2018, myconfname={ICCAD'18}, myconfurl={https://iccad.com/2018_call_for_papers}, pdf={papers/rfuzz.pdf} } @inproceedings{DBSiccad18, TITLE = {SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints}, AUTHOR= {Rafael Dutra and Jonathan Bachrach and Koushik Sen}, BOOKTITLE={International Conference On Computer Aided Design}, year = 2018, myconfname={ICCAD'18}, myconfurl={https://iccad.com/2018_call_for_papers}, pdf={papers/smtsampler.pdf} } @inproceedings{mapl18, TITLE = {Retrieval on source code: a neural code search}, AUTHOR = {Saksham Sachdev and Hongyu Li and Sifei Luan and Seohyun Kim and Koushik Sen and Satish Chandra}, BOOKTITLE = {ACM SIGPLAN Workshop on Machine Learning and Programming Languages (MAPL'18)}, year = 2018, myconfname={MAPL'18}, myconfurl={https://pldi18.sigplan.org/track/mapl-2018-papers}, pdf={papers/ncs.pdf} } @inproceedings{LPSSissta18, TITLE = {PerfFuzz: Automatically Generating Pathological Inputs}, AUTHOR = {Caroline Lemieux and Rohan Padhye and Koushik Sen and Dawn Song}, BOOKTITLE = {ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18)}, publisher={ACM}, year = 2018, myconfname={ISSTA'18}, myconfurl={https://conf.researchr.org/home/issta-2018}, pdf={papers/perffuzz.pdf}, note = {ACM SIGSOFT Distinguished Paper Award}, } @inproceedings{DLBSicse18, TITLE = {Efficient Sampling of SAT Solutions for Testing}, AUTHOR = {Rafael Dutra and Kevin Laeufer and Jonathan Bachrach and Koushik Sen}, BOOKTITLE = {40th International Conference on Software Engineering (ICSE'18)}, publisher={IEEE}, year = 2018, myconfname={ICSE'18}, myconfurl={https://www.icse2018.org/}, pdf={papers/quicksampler.pdf} } @inproceedings{CSNWicse18, TITLE = {Minimizing Android GUI Test Suites for Regression Testing}, AUTHOR = {Wontae Choi and Koushik Sen and George Necula and Wenyu Wang}, BOOKTITLE = {40th International Conference on Software Engineering (ICSE'18)}, publisher={IEEE}, year = 2018, myconfname={ICSE'18}, myconfurl={https://www.icse2018.org/}, pdf={papers/detreduce.pdf} } @inproceedings{MYPSGKicst18, author= {Benjamin Mehne and Hiroaki Yoshida and Mukul Prasad and Koushik Sen and Divya Gopinath and Sarfraz Khurshid}, title= {Accelerating Search-based Program Repair}, booktitle={11th IEEE Conference on Software Testing, Validation and Verification}, year = {2018}, myconfname={ICST'18}, myconfurl={http://www.es.mdh.se/icst2018/}, pdf={papers/repair.pdf} } @inproceedings{SSLIhpcasia18, author = {Emmanuelle Saillard and Koushik Sen and Wim Lavrijsen and Costin Iancu}, title = {Maximizing Communication Overlap with Dynamic Program Analysis}, booktitle = {Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region, {HPC} Asia 2018, Chiyoda, Tokyo, Japan, January 28-31, 2018}, pages = {1--11}, year = {2018}, myconfname={HPCAsia'18}, myconfurl={http://sighpc.ipsj.or.jp/HPCAsia2018/}, pdf={papers/overlap.pdf}, note = {Best Paper Finalist}, } @article{jssurvey17, author = {Esben Andreasen and Liang Gong and Anders Moller and Michael Pradel and Marija Selakovic and Koushik Sen and Cristian-Alexandru Staicu}, title = {A Survey of Dynamic Analysis and Test Generation for JavaScript}, journal = {{ACM} Comput. Surv.}, volume = {50}, number = {5}, pages = {66:1--66:36}, year = {2017}, myconfname={ACM CSUR}, myconfurl={http://csur.acm.org/}, pdf={papers/jsda_survey_2017.pdf} } @inproceedings{PSicse17, TITLE = {TRAVIOLI: A Dynamic Analysis for Detecting Data-Structure Traversals}, AUTHOR = {Rohan Padhye and Koushik Sen}, BOOKTITLE = {39th International Conference on Software Engineering (ICSE'17)}, publisher={IEEE}, year = 2017, myconfname={ICSE'17}, myconfurl={http://icse2017.gatech.edu/}, pdf={papers/travioli.pdf}, } @inproceedings{Aicse17, TITLE = {Repairing Event Race Errors by Controlling Nondeterminism}, AUTHOR = {Christoffer Quist Adamsen and Anders Møller and Rezwana Karim and Manu Sridharan and Frank Tip and Koushik Sen}, BOOKTITLE = {39th International Conference on Software Engineering (ICSE'17)}, publisher={IEEE}, year = 2017, myconfname={ICSE'17}, myconfurl={http://icse2017.gatech.edu/}, pdf={papers/repairrace.pdf}, } @Article{Scacm16, author = {Koushik Sen}, title = {Technical Perspective: Veritesting tackles Path-explosion Problem}, year = {2016}, volume = {59}, number = {6}, month = {June}, journal = {Communications of the ACM}, publisher = {ACM Press}, myconfname={CACM}, myconfurl={http://cacm.acm.org/magazines/2016/6/202649} } @inproceedings{Aecoop16, TITLE = {Trace Typing: An Approach for Evaluating Retrofitted Type Systems}, AUTHOR = {Esben Andreasen and Colin S. Gordon and Satish Chandra and Manu Sridharan and Frank Tip and Koushik Sen}, BOOKTITLE = {European Conference on Object-Oriented Programming (ECOOP'16)}, year = 2016, myconfname={ECOOP'16}, myconfurl={http://2016.ecoop.org/}, pdf={papers/tracetyping.pdf}, } @inproceedings{Qics16, TITLE = {SReplay: Deterministic Group Replay for One-Sided Communication}, AUTHOR = {Xuehai Qian and Koushik Sen and Paul Hargrove and Costin Iancu}, BOOKTITLE = {30th International Conference on Supercomputing (ICS'16)}, year = 2016, publisher={ACM}, myconfname={ICS'16}, myconfurl={http://ics16.bilkent.edu.tr/}, pdf={papers/sreplay.pdf} } @inproceedings{MTASMicse16, TITLE = {Feedback-Directed Instrumentation for Deployed JavaScript Applications}, AUTHOR = {Magnus Madsen and Frank Tip and Esben Andreasen and Koushik Sen and Anders Møller}, BOOKTITLE = {38th International Conference on Software Engineering (ICSE'16)}, publisher={IEEE}, year = 2016, myconfname={ICSE'16}, myconfurl={http://2016.icse.cs.txstate.edu/}, pdf={papers/crowdie.pdf}, note = {ACM SIGSOFT Distinguished Paper Award}} @inproceedings{Gicse16, TITLE = {Floating-Point Precision Tuning Using Blame Analysis}, AUTHOR = {Cindy Rubio-Gonzalez and Cuong Nguyen and Benjamin Mehne and Koushik Sen and James Demmel and William Kahan and Costin Iancu and Wim Lavrijsen and David H. Bailey and David Hough}, BOOKTITLE = {38th International Conference on Software Engineering (ICSE'16)}, publisher={IEEE}, year = 2016, myconfname={ICSE'16}, myconfurl={http://2016.icse.cs.txstate.edu/}, pdf={papers/blame.pdf}, } @inproceedings{QSHIppopp16, TITLE = {OPR: Deterministic Group Replay for One-Sided Communication}, AUTHOR = {Xuehai Qian and Koushik Sen and Paul Hargrove and Costin Iancu}, BOOKTITLE = {21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}, year = 2016, publisher={ACM}, note={Poster Paper}, myconfname={PPoPP'16}, myconfurl={http://conf.researchr.org/home/ppopp-2016}, pdf={papers/opr.pdf} } @inproceedings{CCNSsas15, TITLE = {SJS: A Type System for JavaScript with Fixed Object Layout}, AUTHOR = {Wontae Choi and Satish Chandra and George Necula and Koushik Sen}, BOOKTITLE = {22nd International Static Analysis Symposium (SAS'15)}, publisher = {LNCS}, year = 2015, myconfname={SAS'15}, pdf={papers/sjs.pdf}, myconfurl={http://sas2015.inria.fr/}, } @inproceedings{GPSfse15, TITLE = {JITProf: Pinpointing JIT-unfriendly JavaScript Code}, AUTHOR = {Liang Gong and Michael Pradel and Koushik Sen}, BOOKTITLE = {10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'15)}, publisher = {ACM}, year = 2015, myconfname={ESEC/FSE'15}, pdf={papers/jitprof.pdf}, myconfurl={http://esec-fse15.dei.polimi.it/}, } @inproceedings{SNGCfse15, TITLE = {MultiSE: Multi-Path Symbolic Execution using Value Summaries}, AUTHOR = {Koushik Sen and George Necula and Liang Gong and Wontae Choi}, BOOKTITLE = {10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'15)}, publisher = {ACM}, year = 2015, myconfname={ESEC/FSE'15}, pdf={papers/multise.pdf}, myconfurl={http://esec-fse15.dei.polimi.it/}, note = {ACM SIGSOFT Distinguished Paper Award} } @inproceedings{JSSCfse15, TITLE = {MemInsight: Platform-Independent Memory Debugging for JavaScript}, AUTHOR = {Simon Jensen and Manu Sridharan and Koushik Sen and Satish Chandra}, BOOKTITLE = {10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'15)}, publisher = {ACM}, year = 2015, myconfname={ESEC/FSE'15}, pdf={papers/meminsight.pdf}, myconfurl={http://esec-fse15.dei.polimi.it/}, } @inproceedings{GPSSissta15, TITLE = {DLint: Dynamically Checking Bad Coding Practices in JavaScript}, AUTHOR = {Liang Gong and Michael Pradel and Manu Sridharan and Koushik Sen}, BOOKTITLE = {International Symposium on Software Testing and Analysis (ISSTA'15)}, publisher = {ACM}, year = 2015, myconfname={ISSTA'15}, pdf={papers/dlint.pdf}, myconfurl={http://issta2015.cs.uoregon.edu/}, } @inproceedings{PSecoop15, TITLE = {The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript}, AUTHOR = {Michael Pradel and Koushik Sen}, BOOKTITLE = {European Conference on Object-Oriented Programming (ECOOP'15)}, year = 2015, myconfname={ECOOP'15}, myconfurl={http://2015.ecoop.org/}, pdf={papers/implicit.pdf}, } @inproceedings{PSSicse15, TITLE = {TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript}, AUTHOR = {Michael Pradel and Parker Schuh and Koushik Sen}, BOOKTITLE = {37th International Conference on Software Engineering (ICSE'15)}, publisher={IEEE}, year = 2015, myconfname={ICSE'15}, myconfurl={http://2015.icse-conferences.org/}, pdf={papers/typedevil.pdf}, } @inproceedings{THZSicse15, TITLE = {TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications}, AUTHOR = {Haruto Tanno and Xiaojing Zhang and Hoshino Takashi and Koushik Sen}, BOOKTITLE = {37th International Conference on Software Engineering Demonstration Track (ICSE'15)}, publisher={IEEE}, year = 2015, myconfname={ICSE'15}, myconfurl={http://2015.icse-conferences.org/}, pdf={papers/tesma.pdf}, } @inproceedings{Nicst15, TITLE={Generating Succinct Test Cases using Don’t Care Analysis}, AUTHOR = {Cuong Nguyen and Hiroaki Yoshida and Mukul Prasad and Indradeep Ghosh and Koushik Sen}, BOOKTITLE={IEEE International Conference on Software Testing, Verification and Validation (ICST'15)}, year=2015, publisher = {IEEE}, myconfname={ICST'15}, myconfurl={http://icst2015.ist.tu-graz.ac.at/}, pdf={papers/dontcare.pdf}, } @inproceedings{Cppopp15, TITLE = {Barrier Elision for Production Parallel Programs}, AUTHOR = {Milind Chabbi and Wim Lavrijsen and Wibe de Jong and Koushik Sen and John Mellor-Crummey and Costin Iancu}, BOOKTITLE = {20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}, year = 2015, publisher={ACM}, myconfname={PPoPP'15}, myconfurl={https://ppopp15.soe.ucsc.edu/}, pdf={papers/nwbar.pdf} } @inproceedings{PSNSoopsla14, TITLE = {EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation}, AUTHOR = {Michael Pradel and Parker Schuh and George Necula and Koushik Sen}, BOOKTITLE = {Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'14)}, year = 2014, publisher={ACM}, myconfname={OOPSLA'14}, myconfurl={http://2014.splashcon.org/track/oopsla2014}, pdf={papers/eventbreak.pdf} } @inproceedings{Gicse14, TITLE = {CodeHint: Dynamic and Interactive Synthesis of Code Snippets}, AUTHOR = {Joel Galenson and Philip Reames and Rastislav Bodik and Bjoern Hartmann and Koushik Sen}, BOOKTITLE = {36th International Conference on Software Engineering (ICSE'14)}, publisher={IEEE}, year = 2014, pages = {653--663}, myconfname={ICSE'14}, myconfurl={http://2014.icse-conferences.org/}, pdf={papers/codehint.pdf}, } @Article{CScacm13, author = {Cristian Cadar and Koushik Sen}, title = {Symbolic Execution for Software Testing: Three Decades Later}, year = {2013}, volume = {56}, number = {2}, pages = {82--90}, month = {February}, journal = {Communications of the ACM}, publisher = {ACM Press}, myconfname={CACM}, myconfurl={http://cacm.acm.org/magazines/2013/2}, pdf={papers/cacm13.pdf} } @inproceedings{SKBGfse13, author={Koushik Sen and Swaroop Kalasapur and Tasneem Brutch and Simon Gibbs}, title={Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript}, booktitle={9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13)}, year= 2013, publisher={ACM}, myconfname={FSE'13}, myconfurl={http://esec-fse.inf.ethz.ch/}, pdf={papers/jalangi.pdf}, } @inproceedings{CNSoopsla13, TITLE = {Guided GUI Testing of Android Applications with Minimal Restart and Approximate Learning}, AUTHOR = {Wontae Choi and George Necula and Koushik Sen}, BOOKTITLE = {Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'13)}, year = 2013, pages={623--640}, publisher={ACM}, myconfname={OOPSLA'13}, myconfurl={http://splashcon.org/2013/}, pdf={papers/swifthand.pdf} } @inproceedings{Gsc13, TITLE = {Precimonius: Tuning Assistant for Floating-Point Precision}, AUTHOR = {Cindy Rubio-Gonzalez and Cuong Nguyen and Hong Diep Nguyen and James Demmel and William Kahan and Koushik Sen and David H. Bailey and Costin Iancu and David Hough}, BOOKTITLE = {International Conference for High Performance Computing, Networking, Storage and Analysis (SC'13)}, publisher={ACM}, year = 2013, myconfname = {SC'13}, myconfurl={http://sc13.supercomputing.org/}, pdf={papers/precimonious.pdf} } @inproceedings{SKBGfsetool13, author={Koushik Sen and Swaroop Kalasapur and Tasneem Brutch and Simon Gibbs}, title={Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript}, booktitle={9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13)}, year= 2013, publisher={ACM}, myconfname={FSE'13}, myconfurl={http://esec-fse.inf.ethz.ch/}, pdf={papers/jalangi-tool.pdf}, note = "(Tool Paper)" } @inproceedings{BENSpldi13, TITLE = {CONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs}, AUTHOR = {Tayfun Elmas and Jacob Burnim and George Necula and Koushik Sen}, BOOKTITLE = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'13)}, publisher={ACM}, year = 2013, myconfname={PLDI'13}, myconfurl={http://pldi2013.ucombinator.org/}, pdf={papers/concurrit.pdf}, } @inproceedings{PSIics13, TITLE = {Scaling Data Race Detection for Partitioned Global Address Space Programs}, AUTHOR = {Chang-Seo Park and Koushik Sen and Costin Iancu}, BOOKTITLE = {27th International Conference on Supercomputing (ICS'13)}, year = 2013, pages = {47-58}, publisher={ACM}, myconfname={ICS'13}, myconfurl={http://www.ics-conference.org/}, pdf={papers/thrille-exp.pdf} } @inproceedings{PSIppopp13, TITLE = {Scaling Data Race Detection for Partitioned Global Address Space Programs (short paper)}, AUTHOR = {Chang-Seo Park and Koushik Sen and Costin Iancu}, BOOKTITLE = {18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}, year = 2013, pages={305--306}, publisher={ACM}, myconfname={PPoPP'13}, myconfurl={http://ppopp2013.ics.uci.edu/}, } @inproceedings{BENShotpar12, TITLE = {CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration}, AUTHOR = {Jacob Burnim and Tayfun Elmas and George Necula and Koushik Sen}, BOOKTITLE = {4th USENIX Workshop on Hot Topics in Parallelism (HotPar'12)}, year = 2012, myconfname={HotPar'12}, myconfurl={https://www.usenix.org/conference/hotpar12/}, pdf={papers/concurrith.pdf} } @inproceedings{BENSppopp12, author = {Jacob Burnim and Tayfun Elmas and George C. Necula and Koushik Sen}, title = {NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness (short paper)}, booktitle = {17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'12)}, year = {2012}, pages = {329--330}, publisher={ACM}, myconfname={PPOPP'12}, myconfurl={http://dynopt.org/ppopp-2012/}, pdf={papers/ndetermin.pdf} } @inproceedings{PSppopp12, author = {Chang-Seo Park and Koushik Sen}, title = {Concurrent Breakpoints (short paper)}, pages = {331--332}, booktitle = {17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'12)}, year = {2012}, publisher={ACM}, myconfname={PPOPP'12}, myconfurl={http://dynopt.org/ppopp-2012/}, pdf={papers/cbreak.pdf} } @inproceedings{JGSoopsla11, TITLE = {PREFAIL: A Programmable Failure-Injection Framework}, AUTHOR = {Pallavi Joshi and Haryadi S. Gunawi and Koushik Sen}, BOOKTITLE = {Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'11)}, year = 2011, pages = {171--188}, publisher={ACM}, myconfname={OOPSLA'11}, myconfurl={http://splashcon.org/2011/cfp/due-april-08-2011/100-oopsla-research-papers}, pdf={papers/prefail.pdf} } @inproceedings{PHISsc11, TITLE = {Efficient Data Race Detection for Distributed Memory Parallel Programs}, AUTHOR = {Chang-Seo Park and Koushik Sen and Paul Hargrove and Costin Iancu}, BOOKTITLE = {International Conference for High Performance Computing, Networking, Storage and Analysis (SC'11)}, pages = {51}, publisher={ACM}, year = 2011, myconfname = {SC'11}, myconfurl={http://sc11.supercomputing.org/}, pdf={papers/upcthrille.pdf} } @inproceedings{Ssat11, TITLE = {Concolic Testing and Constraint Satisfaction}, AUTHOR = {Koushik Sen}, BOOKTITLE = {14th International Conference on Theory and Applications of Satisfiability Testing (SAT'11)}, year = 2011, note = "Invited Talk", myconfname={SAT'11}, myconfurl={http://www.lri.fr/SAT2011/}, } @inproceedings{JPPShotpar11, TITLE = {RADBench: A Concurrency Bug Benchmark Suite}, AUTHOR = {Nicholas Jalbert and Cristiano Pereira and Gilles Pokam and Koushik Sen}, BOOKTITLE = {3rd USENIX Workshop on Hot Topics in Parallelism (HotPar'11)}, year = 2011, myconfname={HotPar'11}, myconfurl={http://www.usenix.org/event/hotpar11/}, pdf={papers/radbench.pdf} } @inproceedings{BENSpldi11, TITLE = {NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness}, AUTHOR = {Jacob Burnim and Tayfun Elmas and George Necula and Koushik Sen}, BOOKTITLE = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'11)}, publisher={ACM}, pages = "401--414", year = 2011, myconfname={PLDI'11}, myconfurl={http://pldi11.cs.utah.edu/}, pdf={papers/ndseq-lang.pdf}, } @inproceedings{Cicse11, TITLE = {Symbolic Execution for Software Testing in Practice -- Preliminary Assessment}, AUTHOR = {Cristian Cadar and Patrice Godefroid and Sarfraz Khurshid and Corina Pasareanu and Koushik Sen and Nikolai Tillmann and Willem Visser}, BOOKTITLE = {Impact Project Focus Area in 33rd International Conference on Software Engineering (ICSE'11)}, publisher={IEEE}, pages = "1066--1071", year = 2011, myconfname={IFA-ICSE'11}, myconfurl={http://2011.icse-conferences.org/content/impact-project-call}, pdf={papers/symbolic-impact.pdf}, } @inproceedings{BNSasplos11, TITLE = {Specifying and Checking Semantic Atomicity for Multithreaded Programs}, AUTHOR = {Jacob Burnim and George Necula and Koushik Sen}, BOOKTITLE = {16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'11)}, year = 2011, publisher={ACM}, pages = {79--90}, myconfname={ASPLOS'11}, myconfurl={http://asplos11.cs.ucr.edu/}, pdf={papers/semantic-atomicity.pdf}, } @inproceedings{Gnsdi11, TITLE = {FATE and DESTINI: A Framework for Cloud Recovery Testing}, AUTHOR = {Haryadi S. Gunawi and Thanh Do and Pallavi Joshi and Peter Alvaro and Joseph M. Hellerstein and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau and Koushik Sen and Dhruba Borthakur}, BOOKTITLE = {8th USENIX Symposium on Networked Systems Design and Implementation (NSDI'11)}, year = 2011, myconfname={NSDI'11}, myconfurl={http://www.usenix.org/events/nsdi11/index.html}, pdf={papers/fate-destini.pdf}, } @inproceedings{BSStacas11, author={Jacob Burnim and Koushik Sen and Christos Stergiou}, title={Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models}, booktitle={International Conference on Tools and Algorithms for the Construction ana Analysis of Systems (TACAS'11)}, year= 2011, pages = {11--25}, myconfname={TACAS'11}, myconfurl={http://research.microsoft.com/en-us/um/people/leino/tacas2011/}, pdf={papers/memmon.pdf}, } @inproceedings{BSSissta11, TITLE = {Testing Concurrent Programs on Relaxed Memory Models}, AUTHOR = {Jacob Burnim and Koushik Sen Christos Stergiou}, BOOKTITLE = {International Symposium on Software Testing and Analysis (ISSTA'11)}, publisher = {ACM}, year = 2011, myconfname={ISSTA'11}, pdf={papers/memtest.pdf}, myconfurl={http://issta11.unl.edu/}, } @inproceedings{JGSfastwip11, TITLE = {PreFail: Programmable and Efficient Failure Testing Framework}, AUTHOR = {Pallavi Joshi and Haryadi S. Gunawi and Koushik Sen}, BOOKTITLE = {Poster Sessions and Work-in-Progress Reports in 9th USENIX Conference on File and Storage Technologies (FAST/WIP'11)}, year = 2011, myconfname={FAST'11/WiP}, myconfurl={http://www.usenix.org/events/fast11/activities.html}, } @inproceedings{CDSYicst11, TITLE={Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems}, AUTHOR = {Ajay Chander and Dinakar Dhurjati and Koushik Sen and Dachaun Yu}, BOOKTITLE={IEEE International Conference on Software Testing, Verification and Validation (ICST'11)}, year=2011, pages = "140--149", publisher = {IEEE}, myconfname={ICST'11}, myconfurl={http://sites.google.com/site/icst2011/}, pdf={papers/optseq.pdf}, } @Article{BScacm10, author = {Jacob Burnim and Koushik Sen}, title = {Asserting and Checking Determinism for Multithreaded Programs}, year = {2010}, volume = {53}, number = {6}, pages = {97--105}, month = {June}, journal = {Communications of the ACM}, publisher = {ACM Press}, myconfname={CACM}, myconfurl={http://cacm.acm.org/magazines/2010/6}, } @inproceedings{BSicse10, TITLE = {DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs}, AUTHOR = {Jacob Burnim and Koushik Sen}, BOOKTITLE = {32nd International Conference on Software Engineering (ICSE'10)}, publisher={IEEE}, year = 2010, myconfname={ICSE'10}, myconfurl={http://www.sbs.co.za/ICSE2010/}, pdf={papers/detinfer.pdf}, note="IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice" } @inproceedings{JNSGfse10, author={Pallavi Joshi and Mayur Naik and Koushik Sen and David Gay}, title={An Effective Dynamic Analysis for Detecting Generalized Deadlocks}, booktitle={ACM SIGSOFT Eighteenth Symposium on the Foundations of Software Engineering (FSE'10)}, year= 2010, publisher={ACM}, myconfname={FSE'10}, myconfurl={http://fse18.cse.wustl.edu/}, pdf={papers/waitnotifyFseCameraReady.pdf}, } @inproceedings{JSfse10, author={Nicholas Jalbert and Koushik Sen}, title={A Trace Simplification Technique for Effective Debugging of Concurrent Programs}, booktitle={ACM SIGSOFT Eighteenth Symposium on the Foundations of Software Engineering (FSE'10)}, year= 2010, publisher={ACM}, myconfname={FSE'10}, myconfurl={http://fse18.cse.wustl.edu/}, pdf={papers/thrille.pdf}, } @inproceedings{BNShotpar10, TITLE = {Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications}, AUTHOR = {Jacob Burnim and George Necula and and Koushik Sen}, BOOKTITLE = {2nd USENIX Workshop on Hot Topics in Parallelism (HotPar'10)}, year = 2010, myconfname={HotPar'10}, myconfurl={http://www.usenix.org/events/hotpar10/}, pdf={papers/ndseq.pdf} } @inproceedings{Ghotdep10, TITLE = {Towards Automatically Checking Thousands of Failures with Micro-specifications}, AUTHOR = {Haryadi S. Gunawi and Thanh Do and Pallavi Joshi and Joseph M. Hellerstein and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau and Koushik Sen}, BOOKTITLE = {6th USENIX Workshop on Hot Topics in System Dependability (HotDep'10)}, year = 2010, myconfname={HotDep'10}, myconfurl={http://www.usenix.org/events/hotdep10/}, } @article{cacm09, author = {Krste Asanovic and Rastislav Bod\'{\i}k and James Demmel and Tony Keaveny and Kurt Keutzer and John Kubiatowicz and Nelson Morgan and David A. Patterson and Koushik Sen and John Wawrzynek and David Wessel and Katherine A. Yelick}, title = {A view of the parallel computing landscape}, journal = {Communications of ACM}, volume = {52}, number = {10}, year = {2009}, pages = {56-67}, myconfname={CACM}, myconfurl={http://cacm.acm.org/magazines/2009/10}, ee = {http://doi.acm.org/10.1145/1562764.1562783}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{BSfse09, author={Jacob Burnim and Koushik Sen}, title={Asserting and Checking Determinism for Multithreaded Programs}, booktitle={7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'09)}, year= 2009, pages="3--12", publisher={ACM}, myconfname={FSE'09}, myconfurl={http://www.esec-fse-2009.ewi.tudelft.nl/}, pdf={papers/detcheck.pdf}, note = "ACM SIGSOFT Distinguished Paper Award. Invited to CACM Research Highlights.", } @inproceedings{JNPScav09, author = {Pallavi Joshi and Mayur Naik and Chang-Seo Park and Koushik Sen}, title = {An Extensible Active Testing Framework for Concurrent Programs}, booktitle = {21st International Conference on Computer Aided Verification (CAV'09)}, year = 2009, pages = {675--681}, volume = {5643}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, myconfname={CAV'09}, myconfurl={http://www-cav2009.imag.fr/}, pdf={papers/activetool.pdf}, URL = {http://srl.cs.berkeley.edu/~ksen/calfuzzer/}, } @inproceedings{JPSNpldi09, TITLE = {A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks}, AUTHOR = {Pallavi Joshi and Chang-Seo Park and Koushik Sen and Mayur Naik}, BOOKTITLE = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'09)}, publisher={ACM}, pages = {110--120}, year = 2009, myconfname={PLDI'09}, myconfurl={http://www-plan.cs.colorado.edu/~pldi09/}, pdf = {papers/deadlock.pdf}, ps = {papers/deadlock.ps}, } @inproceedings{NPSGicse09, TITLE = {Effective Static Deadlock Detection}, AUTHOR = {Mayur Naik and Chang-Seo Park and Koushik Sen and David Gay}, BOOKTITLE = {31st International Conference on Software Engineering (ICSE'09)}, publisher={IEEE}, pages = {386--396}, year = 2009, myconfname={ICSE'09}, myconfurl={http://www.cs.uoregon.edu/events/icse2009/home/}, pdf={papers/staticdeadlock.pdf}, note = "ACM SIGSOFT Distinguished Paper Award" } @inproceedings{BJSicse09, TITLE = {WISE: Automated Test Generation for Worst-Case Complexity}, AUTHOR = {Jacob Burnim and Sudeep Juvekar and Koushik Sen}, BOOKTITLE = {31st International Conference on Software Engineering (ICSE'09)}, publisher={IEEE}, pages = {463--473}, year = 2009, myconfname={ICSE'09}, myconfurl={http://www.cs.uoregon.edu/events/icse2009/home/}, pdf={papers/perftest.pdf} } @inproceedings{BJSSase09, author={Jacob Burnim and Nicholas Jalbert and Christos Stergiou and Koushik Sen}, title={Looper: Lightweight Detection of Infinite Loops at Runtime}, booktitle={24th IEEE/ACM nternational Conference on Automated Software Engineering (ASE'09) }, year= 2009, publisher={IEEE}, myconfname={ASE'09}, myconfurl={https://www.se.auckland.ac.nz/conferences/ase09/}, pdf={papers/nonterm.pdf}, ps={papers/nonterm.ps}, } @inproceedings{CJSfase09, TITLE = {SNIFF: A Search Engine for Java using Free-Form Queries}, AUTHOR = {Shaunak Chatterjee and Sudeep Juvekar and Koushik Sen}, BOOKTITLE = {Fundamental Approaches to Software Engineering (FASE'09)}, volume = {5503}, pages = {385--400}, year = 2009, myconfname={FASE'09}, myconfurl={http://www.pst.ifi.lmu.de/fase2009/}, pdf={papers/sniff.pdf}, } @inproceedings{PSfse08, author={Chang-Seo Park and Koushik Sen}, title={Randomized Active Atomicity Violation Detection in Concurrent Programs}, booktitle={16th International Symposium on Foundations of Software Engineering (FSE'08)}, year= 2008, pages = {135--145}, publisher={ACM}, myconfname={FSE'08}, myconfurl={http://www.cc.gatech.edu/conferences/fse16/}, pdf={papers/atomviol.pdf}, } @inproceedings{Spldi08, author={Koushik Sen}, title={Race Directed Random Testing of Concurrent Programs}, booktitle={ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'08)}, year= 2008, pages="11--21", publisher={ACM}, myconfname={PLDI'08}, myconfurl={http://pldi2008.cs.ucr.edu/}, pdf={papers/raced.pdf}, ps={papers/raced.ps}, } @techreport{Asanovic:EECS-2008-23, Author = {Asanovic, Krste and Bodik, Ras and Demmel, James and Keaveny, Tony and Keutzer, Kurt and Kubiatowicz, John D. and Lee, Edward A. and Morgan, Nelson and Necula, George and Patterson, David A. and Sen, Koushik and Wawrzynek, John and Wessel, David and Yelick, Katherine A.}, Title = {The Parallel Computing Laboratory at U.C. Berkeley: A Research Agenda Based on the Berkeley View}, Institution = {EECS Department, University of California, Berkeley}, Year = {2008}, Month = {Mar}, URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-23.html}, Number = {UCB/EECS-2008-23} } @inproceedings{BSase08b, author={Jacob Burnim and Koushik Sen}, title={Heuristics for Scalable Dynamic Test Generation}, booktitle={23rd IEEE/ACM nternational Conference on Automated Software Engineering (ASE'08) }, year= 2008, pages = {443-446}, publisher={IEEE}, myconfname={ASE'08}, myconfurl={http://www.di.univaq.it/ase2008/}, pdf={papers/cfgcute.pdf}, ps={papers/cfgcute.ps}, tr={http://www.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-123.pdf} } @inproceedings{JSase08a, author={Pallavi Joshi and Koushik Sen}, title={Predictive Typestate Checking of Multithreaded Java Programs}, booktitle={23rd IEEE/ACM nternational Conference on Automated Software Engineering (ASE'08) }, pages = {288-296}, year= 2008, publisher={IEEE}, myconfname={ASE'08}, myconfurl={http://www.di.univaq.it/ase2008/}, pdf={papers/ASE.pdf}, ps={papers/ASE.ps}, } @inproceedings{KSissta08, author={Yamini Kannan and Koushik Sen}, title={Universal Symbolic Execution and its Application to Likely Data Structure Invariant Generation}, booktitle={International Symposium on Software Testing and Analysis (ISSTA'08)}, year= 2008, pages = {283-294}, publisher={ACM}, myconfname={ISSTA'08}, myconfurl={http://issta08.rutgers.edu/}, pdf={papers/dsinv.pdf}, } @inproceedings{RSGJsas08, author={Murali Krishna Ramanathan and Koushik Sen and Ananth Grama and Suresh Jagannathan}, title={Protocol Inference Using Static Path Profiles}, booktitle={15th International Static Analysis Symposium (SAS'08)}, year= 2008, pages = {78-92}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5079}, myconfname={SAS'08}, myconfurl={http://www.dsic.upv.es/~sas2008/}, pdf={papers/sequence.pdf}, } @inproceedings{CSHfossacs08, author={Krishnendu Chatterjee and Koushik Sen and Thomas Henzinger}, title={Model-Checking omega-Regular Properties of Interval Markov Chains}, booktitle={11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08)}, year= 2008, series = {Lecture Notes in Computer Science}, publisher = {Springer}, pages="302--317", volume=4962, myconfname={FoSSaCS'08}, myconfurl={http://fossacs08.pps.jussieu.fr/}, mycategory = 2, ps={papers/fossacs08.ps}, pdf={papers/fossacs08.pdf}, } @inproceedings{Sase07b, author={Koushik Sen}, title={Concolic Testing}, booktitle={22nd IEEE/ACM nternational Conference on Automated Software Engineering (ASE'07) }, year= 2007, pages="571--572", myconfname={ASE'07}, publisher={IEEE}, myconfurl={http://www.cse.msu.edu/ase2007/}, pdf={papers/cutetut.pdf}, ps={papers/cutetut.ps}, } @inproceedings{Sase07, author={Koushik Sen}, title={Effective Random Testing of Concurrent Programs}, booktitle={22nd IEEE/ACM nternational Conference on Automated Software Engineering (ASE'07) }, year= 2007, pages="323--332", publisher={IEEE}, myconfname={ASE'07}, myconfurl={http://www.cse.msu.edu/ase2007/}, pdf={papers/fuzzpar.pdf}, ps={papers/fuzzpar.ps}, } @inproceedings{JSSfse07, author={Pallavi Joshi and Koushik Sen and Mark Shlimovich}, title={Predictive Testing: Amplifying the Effectiveness of Software Testing (Poster Paper)}, booktitle={6th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'07) }, year= 2007, pages = {561-564}, publisher={ACM}, myconfname={ESEC/FSE'07}, myconfurl={http://www.idt.mdh.se/esec-fse-2007/}, tr={http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-35.pdf}, } @inproceedings{EMSissta07, TITLE = {Dynamic Test Input Generation for Database Applications}, AUTHOR = {Michael Emmi and Rupak Majumdar and Koushik Sen}, BOOKTITLE = {International Symposium on Software Testing and Analysis (ISSTA'07)}, publisher={ACM}, pages = {151-162}, year = 2007, myconfname={ISSTA'07}, myconfurl={http://www.cse.unl.edu/issta07/}, pdf={papers/cutesql.pdf}, pdf={papers/cutesql.ps}, } @inproceedings{MSicse07, TITLE = {Hybrid Concolic Testing}, AUTHOR = {Rupak Majumdar and Koushik Sen}, BOOKTITLE = {29th International Conference on Software Engineering (ICSE'07)}, pages="416--426", publisher={IEEE}, year = 2007, myconfname={ICSE'07}, myconfurl={http://web4.cs.ucl.ac.uk/icse07/}, ps={papers/hybrid.ps}, pdf={papers/hybrid.pdf}, slides={slides/icse07.ppt}, } @ARTICLE{RSccpe07, AUTHOR = {Grigore Ro\c{s}u and Koushik Sen}, TITLE = {An Instrumentation Technique for Online Analysis of Multithreaded Programs}, JOURNAL = {Special Issue of Concurrency and Computation: Practice and Experience (CC:PE)}, volume = {19}, number = {3}, year = {2007}, pages = {311--325}, myconfname={CC:PE}, myconfurl={http://www3.interscience.wiley.com/cgi-bin/jhome/77004395}, ps={papers/causality-j.ps}, pdf={papers/causality-j.pdf}, } @inproceedings{SAhvc06, author = {Koushik Sen and Gul Agha}, title = {A Race-Detection and Flipping Algorithm for Automated Testing of Multi-Threaded Programs}, booktitle = { Haifa verification conference 2006 (HVC'06)}, year = 2006, volume=4383, pages="166--182", series = {Lecture Notes in Computer Science}, publisher = {Springer}, myconfname={HVC'06}, myconfurl={http://www.haifa.ibm.com/Workshops/verification2006/}, ps={papers/ccute-haifa.ps}, } @inproceedings{SVcav06, author = {Koushik Sen and Mahesh Viswanathan}, title = {Model Checking Multithreaded Programs with Asynchronous Atomic Methods}, booktitle = {18th International Conference on Computer Aided Verification (CAV'06)}, year = 2006, series = {Lecture Notes in Computer Science}, publisher = {Springer}, pages = "300--314", volume = 4144, myconfname={CAV'06}, myconfurl={http://research.microsoft.com/floc06/cav.htm}, ps={papers/multiset.ps}, pdf={papers/multiset.pdf}, tr = {papers/multiset-tr.pdf}, } @inproceedings{SAcav06, author = {Koushik Sen and Gul Agha}, title = {CUTE and jCUTE : Concolic Unit Testing and Explicit Path Model-Checking Tools}, booktitle = {18th International Conference on Computer Aided Verification (CAV'06)}, year = 2006, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = 4144, pages = "419--423", myconfname={CAV'06}, myconfurl={http://research.microsoft.com/floc06/cav.htm}, ps={papers/cuteTool.ps}, pdf={papers/cuteTool.pdf}, } @phdthesis{Sphd2006, author = {Koushik Sen}, title = {Scalable Automated Methods for Dynamic Program Analysis}, booktitle = {Ph.D. Thesis}, school = {University of Illinois at Urbana-Champaign}, year = {2006}, month = {June}, ps={papers/sen-phd.ps}, pdf={papers/sen-phd.pdf}, } @inproceedings{SVAtacas06, author={Koushik Sen and Mahesh Viswanathan and Gul Agha}, title={Model-Checking {M}arkov Chains in the presence of Uncertainties}, booktitle={12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06)}, year= 2006, pages = "394--410", volume = 3920, series = {Lecture Notes in Computer Science}, publisher = {Springer}, myconfname={TACAS'06}, myconfurl={http://depend.cs.uni-sb.de/index.php?id=329}, mycategory = 2, pdf={papers/udtmc-final.pdf}, tr={papers/udtmc-final-tr.pdf}, } @inproceedings{SAfase06, author={Koushik Sen and Gul Agha}, title={Automated Systematic Testing of Open Distributed Programs}, booktitle={International Conference on Fundamental Approaches to Software Engineering (FASE'06) (ETAPS'06 conference)}, pages = "339--356", volume = 3922, year= 2006, series = {Lecture Notes in Computer Science}, publisher = {Springer}, myconfname={FASE'06}, myconfurl={http://www.elet.polimi.it/conferences/fase06/}, mycategory = 1, pdf={papers/dcute.pdf}, tr={papers/dcute-tr.pdf}, } @ARTICLE{AMSqaplentcs05, author = {Gul Agha and Jos\'{e} Meseguer and Koushik Sen}, title = {{PM}aude: Rewrite-based Specification Language for Probabilistic Object Systems}, journal = {Electronic Notes in Theoretical Computer Science}, volume = "153", number ="2", pages = "213--239", year = {2006}, publisher={Elsevier Science}, noteextra = {Expanded version of the paper that appeared in Proceedings of the 3rd Workshop on Quantitative Aspects of Programming Languages}, myconfname={ENTCS}, myconfurl={http://www.elsevier.com/wps/find/journaldescription.cws_home/681021/description#description}, ps={papers/pmaude-post.ps}, pdf={papers/pmaude-post.pdf}, } @ARTICLE{SRAsttt06, AUTHOR = {Koushik Sen and Grigore Ro\c{s}u and Gul Agha}, TITLE = {Online Efficient Predictive Safety Analysis of Multithreaded Programs}, JOURNAL = "International Journal on Software Technology and Tools Transfer (STTT)", volume = {8}, number = {3}, year = {2006}, pages = {248--260}, myconfname={STTT}, myconfurl={http://sttt.cs.uni-dortmund.de/}, ps={papers/jmpax-sttt.ps}, pdf={papers/jmpax-sttt.pdf}, } @inproceedings{SVARnsfngs06, TITLE = {Decentralized Runtime Analysis of Multithreaded Applications}, AUTHOR = {Koushik Sen and Abhay Vardhan and Gul Agha and and Grigore Ro\c{s}u}, BOOKTITLE = {NSF Next Generation Software Program Workshop (NSFNGS'06) (Satellite Workshop of IPDPS'06)}, publisher={IEEE Digital Library}, year = 2006, myconfname={NSFNGS'06}, myconfurl={http://www.ipdps.org/ipdps2006/2006_workshops.html}, ps={papers/workshop.ps}, pdf={papers/workshop.pdf}, } @inproceedings{SMAfse05, author={Koushik Sen and Darko Marinov and Gul Agha}, title={{CUTE}: A Concolic Unit Testing Engine for {C}}, booktitle={5th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'05) }, pages = "263--272", year= 2005, publisher={ACM}, myconfname={ESEC/FSE'05}, myconfurl={http://esecfse05.di.fct.unl.pt/}, ps={papers/C159-sen.ps}, pdf={papers/C159-sen.pdf}, tr={papers/cute-tr.pdf}, slides = {slides/fse05.ppt}, note={ACM SIGSOFT Distinguished Paper Award}, } @inproceedings{GKSpldi05, AUTHOR = {Patrice Godefroid and Nils Klarlund and Koushik Sen}, TITLE = {{DART}: Directed Automated Random Testing}, BOOKTITLE = {ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI'05)}, pages = "213--223", year=2005, myconfname={PLDI'05}, myconfurl={http://research.ihost.com/pldi2005/}, ps={papers/dart.ps}, pdf={papers/dart.pdf}, slides={slides/dart-fm.ppt}, } @inproceedings{SVAcav05, AUTHOR = {Koushik Sen and Mahesh Viswanathan and Gul Agha}, TITLE = {On Statistical Model Checking of Stochastic Systems}, booktitle = {17th International Conference on Computer Aided Verification (CAV'05)}, year = 2005, pages = "266--280", series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = 3576, myconfname={CAV'05}, myconfurl={http://www.cav2005.inf.ed.ac.uk/}, ps={papers/dtmc-cav.ps}, pdf={papers/dtmc-cav.pdf}, slides={slides/cav05.ppt}, } @inproceedings{fcs05, author={Gul Agha and Carl Gunter and Michael Greenwald and Sanjeev Khanna and Jos\'{e} Meseguer and Koushik Sen and Prasanna Thati}, title={Formal Modeling and Analysis of {DoS} Using Probabilistic Rewrite Theories}, booktitle={International Workshop on Foundations of Computer Security (FCS'05) (Affiliated with LICS'05)}, year=2005, myconfname={FCS'05}, myconfurl={http://www.cs.chalmers.se/~andrei/FCS05/}, ps={papers/fcs-final.ps}, pdf={papers/fcs-final.pdf}, slides={slides/fcs.ppt}, } @ARTICLE{tcs04, AUTHOR = "Cyrille Artho and Howard Barringer and Allen Goldberg and Klaus Havelund and Sarfraz Khurshid and Mike Lowry and Corina Pasareanu and Grigore Ro\c{s}u and Koushik Sen and Willem Visser and Rich Washington", TITLE = "Combining Test Case Generation and Runtime Verification", JOURNAL = "Theoretical Computer Science", volume = "336", number = "2--3", pages = "209--234", month = may, YEAR = "2005", myconfname={TCS}, myconfurl={http://www.elsevier.com/locate/tcs}, ps={papers/main.ps}, pdf={papers/main.pdf}, } @inproceedings{SVAqest05, AUTHOR = {Koushik Sen and Mahesh Viswanathan and Gul Agha}, TITLE = {{VESTA}: A Statistical Model Checker and Analyzer for Probabilistic Systems}, booktitle={2nd International Conference on Quantitative Evaluation of Systems (QEST'05)}, year=2005, pages = "251--252", publisher = {IEEE}, myconfname={QEST'05}, myconfurl={http://www.qest.org/}, ps={papers/vesta.ps}, pdf={papers/vesta.pdf}, slides={slides/qest05.ppt}, } @inproceedings{VSVAtacas05, AUTHOR = {Abhay Vardhan and Koushik Sen and Mahesh Viswanathan and Gul Agha}, TITLE = {Using Language Inference to Verify omega-regular Properties}, BOOKTITLE = {11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05)}, year=2005, publisher = {Springer}, pages="45--60", volume="3440", series={Lecture Notes in Computer Science}, myconfname={TACAS'05}, myconfurl={http://www-verimag.imag.fr/TACAS2005.html}, ps={papers/omega_e.ps}, pdf={papers/omega_e.pdf}, } @inproceedings{SRAfmoods05, TITLE = {Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions}, AUTHOR = {Koushik Sen and Grigore Ro\c{s}u and Gul Agha}, BOOKTITLE = {7th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'05)}, year = 2005, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = 3535, pages = "211--226", myconfname={FMOODS'05}, myconfurl={http://www.informatik.uni-kiel.de/~fmoods05/}, ps={papers/ww-fmoods.ps}, pdf={papers/ww-fmoods.pdf}, } @CONFERENCE{AMSqapl05, author = {Gul Agha and Jos\'{e} Meseguer and Koushik Sen}, title = {{PM}aude: Rewrite-based Specification Language for Probabilistic Object Systems}, booktitle = {3rd International Workshop on Quantitative Aspects of Programming Languages (QAPL'05)}, year = {2005}, myconfname={QAPL'05}, myconfurl={http://www.doc.ic.ac.uk/~qapl05/}, ps={papers/pmaude.ps}, pdf={papers/pmaude.pdf}, } @inproceedings{VSVAfsttcs04, AUTHOR = {Abhay Vardhan and Koushik Sen and Mahesh Viswanathan and Gul Agha}, TITLE = {Actively Learning to Verify Safety for FIFO Automata}, BOOKTITLE = {24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04)}, year=2004, pages="494--505", volume="3328", publisher = {Springer}, series={Lecture Notes in Computer Science}, myconfname={FSTTCS'04}, myconfurl={http://www.fsttcs.org/}, ps={papers/activeFifo.ps}, pdf={papers/activeFifo.pdf}, tr={papers/activeFifo-tr.pdf}, } @inproceedings{VSVAicfem04, AUTHOR = {Abhay Vardhan and Koushik Sen and Mahesh Viswanathan and Gul Agha}, TITLE = {Learning to Verify Safety Properties}, BOOKTITLE= {6th International Conference on Formal Engineering Methods (ICFEM'04)}, year=2004, pages="274--289", volume="3308", publisher = {Springer}, series={Lecture Notes in Computer Science}, myconfname={ICFEM'04}, myconfurl={http://research.microsoft.com/icfem2004/}, ps={papers/cfsmLearn.ps}, pdf={papers/cfsmLearn.pdf}, } @inproceedings{SVAqest04, AUTHOR = {Koushik Sen and Mahesh Viswanathan and Gul Agha}, TITLE = {Learning Continuous Time Markov Chains from Sample Executions}, booktitle={1st International Conference on Quantitative Evaluation of Systems (QEST'04)}, year=2004, pages="146--155", publisher = {IEEE}, myconfname={QEST'04}, myconfurl={http://www.qest.org/}, ps={papers/ctmc.ps}, pdf={papers/ctmc.pdf}, slides={slides/learnCTMC.pdf}, } @inproceedings{NSTforte04, AUTHOR = {Prasad Naldurg and Koushik Sen and Prasanna Thati}, TITLE = {A Temporal Logic Based Approach to Intrusion Detection}, booktitle = {24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'04)}, year=2004, volume="3235", pages="359-376", publisher = {Springer}, series={Lecture Notes in Computer Science}, myconfname={FORTE'04}, myconfurl={http://antares.sip.ucm.es/~forte2004/}, ps={papers/intrusion.ps}, pdf={papers/intrusion.pdf}, } @inproceedings{SVAcav04, AUTHOR = {Koushik Sen and Mahesh Viswanathan and Gul Agha}, TITLE = {Statistical Model Checking of Black-Box Probabilistic Systems}, booktitle = {16th International Conference on Computer Aided Verification (CAV'04)}, year = 2004, series = {Lecture Notes in Computer Science}, volume = 3114, pages = "202--215", publisher = {Springer}, myisselected = {true}, myconfname={CAV'04}, myconfurl={http://www.dcs.warwick.ac.uk/CAV/}, ps={papers/statver.ps}, pdf={papers/statver.pdf}, slides={slides/cav04.ppt}, tr={papers/response.pdf}, } @inproceedings{SVARicse04, TITLE = {Efficient Decentralized Monitoring of Safety in Distributed Systems}, AUTHOR = {Koushik Sen and Abhay Vardhan and Gul Agha and and Grigore Ro\c{s}u}, BOOKTITLE = {26th International Conference on Software Engineering (ICSE'04)}, publisher={IEEE}, pages="418--427", year = 2004, myconfname={ICSE'04}, myconfurl={http://conferences.iee.org/icse2004/}, myspecial= {Extended version invited for publication in ACM Transactions on Software Engineering and Methodology (TOSEM)}, ps={papers/sen_k.ps}, pdf={papers/sen_k.pdf}, slides={slides/icse.ppt}, } @inproceedings{SRAtacas04, TITLE = {Online Efficient Predictive Safety Analysis of Multithreaded Programs}, AUTHOR = {Koushik Sen and Grigore Ro\c{s}u and Gul Agha}, BOOKTITLE = {10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04)}, year = 2004, series = {Lecture Notes in Computer Science}, volume = 2988, pages = "123--138", myconfname={TACAS'04}, myconfurl={http://www.daimi.au.dk/~cpn/tacas04/}, ps={papers/tacas-jmpax.ps}, pdf={papers/tacas-jmpax.pdf}, } @inproceedings{SVARwoda04, AUTHOR = {Koushik Sen and Abhay Vardhan and Gul Agha and and Grigore Ro\c{s}u}, TITLE = {On Specifying and Monitoring Epistemic Properties of Distributed Systems}, booktitle = {2nd International Workshop on Dynamic Analysis (WODA'04), Satellite workshop of ICSE 2004}, year = {2004}, pages="32--35", publisher = {British Institution of Electrical Engineers (IEE)}, myconfname={WODA'04}, myconfurl={http://www.cs.virginia.edu/woda2004/}, ps={papers/distvalue.ps}, pdf={papers/distvalue.pdf}, slides={slides/woda.ppt}, } @INPROCEEDINGS{RSpadtad04, AUTHOR = {Grigore Ro\c{s}u and Koushik Sen}, TITLE = {An Instrumentation Technique for Online Analysis of Multithreaded Programs}, BOOKTITLE = {International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04) (Satellite workshop of IPDPS'04)}, publisher={IEEE digital library}, YEAR = {2004}, myspecial = {\emph{Invited Lecture}}, myconfname={PADTAD'04}, myconfurl={http://www.haifa.il.ibm.com/Workshops/PADTAD2004/}, ps={papers/c.ps}, pdf={papers/c.pdf}, } @inproceedings{BGHSpadtad04, TITLE = {Program Monitoring with LTL in EAGLE}, AUTHOR = {Howard Barringer and Allen Goldberg and Klaus Havelund and Koushik Sen}, BOOKTITLE = {International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04) (Satellite workshop of IPDPS'04)}, publisher={IEEE digital library}, year = 2004, myconfname={PADTAD'04}, myconfurl={http://www.haifa.il.ibm.com/Workshops/PADTAD2004/}, ps={papers/padtad.ps}, pdf={papers/padtad.pdf}, } @inproceedings{BGHSvmcai04, author={Howard Barringer and Allen Goldberg and Klaus Havelund and Koushik Sen}, title={Rule-Based Runtime Verification}, booktitle={5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04)}, year={2004}, publisher={Springer}, series={Lecture Notes in Computer Science}, volume=2937, pages={44--57}, myconfname={VMCAI'04}, myconfurl={http://www.dsi.unive.it/~vmcai04/}, ps={papers/observer.ps}, pdf={papers/observer.pdf}, } @inproceedings{SRAfse03, author={Koushik Sen and Grigore Ro\c{s}u and Gul Agha}, title={{Runtime Safety Analysis of Multithreaded Programs}}, booktitle={9th European Software Engineering Conference and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'03)}, year= 2003, publisher={ACM}, pages={337--346}, myconfname={FSE/ESEC'03}, myconfurl={http://esecfse.cs.helsinki.fi/}, ps={papers/p108-sen.ps}, pdf={papers/p108-sen.pdf}, slides={slides/fse03.ppt}, } @inproceedings{SRAasian03, author = {Koushik Sen and Grigore Ro\c{s}u and Gul Agha}, title = {Generating Optimal Linear Temporal Logic Monitors by Coinduction}, booktitle={8th Asian Computing Science Conference (ASIAN'03)}, year={2003}, publisher={Springer}, series={Lecture Notes in Computer Science}, volume=2896, pages={260--75}, myconfname={ASIAN'03}, myconfurl={http://www.cse.psu.edu/asian03/}, ps={papers/ltl2dfa.ps}, pdf={papers/ltl2dfa.pdf}, slides={slides/asian-ltl.ppt}, } @MASTERSTHESIS{Sms03, AUTHOR = {Koushik Sen}, TITLE = {Predictive Safety Analysis of Concurrent Programs}, booktitle={Master's Thesis}, SCHOOL = {University of Illinois at Urbana-Champaign}, YEAR = 2003, month = {May}, noteextra = {Supervisor: Gul Agha}, ps={papers/ms.ps}, pdf={papers/ms.pdf}, } @inproceedings{KSMAfmoods03, author={Nirman Kumar and Koushik Sen and Jos\'{e} Meseguer and Gul Agha}, title={A Rewriting Based Model for Probabilistic Distributed Object Systems}, booktitle={6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'03)}, year={2003}, publisher={Springer}, series={Lecture Notes in Computer Science}, volume=2884, pages={32--46}, myconfname={FMOODS'03}, myconfurl={http://fedconf.enst.fr/}, ps={papers/fmoods.ps}, pdf={papers/fmoods.pdf}, } @inproceedings{SRrv03, author={Koushik Sen and Grigore Ro\c{s}u}, title={{Generating Optimal Monitors for Extended Regular Expressions}}, booktitle={ 3rd International Workshop on Runtime Verification (RV'03)}, year= 2003, publisher={Elsevier Science}, volume={89(2)}, series={Electronic Notes in Theoretical Computer Science}, myconfname={RV'03}, myconfurl={http://www.cis.upenn.edu/rv2003/}, ps={papers/opt-ere-mon.ps}, pdf={papers/opt-ere-mon.pdf}, } @inproceedings{TSMwrla02, author={Prasanna Thati and Koushik Sen and Narciso Marti Oliet}, title={An executable specification of asynchronous pi-calculus and may-testing in Maude 2.0}, booktitle={International Workshop on Rewriting Logic and its Applications (WRLA'02)}, year={2002}, publisher={Elsevier Science}, volume={71}, series={Electronic Notes in Theoretical Computer Science}, myconfname={WRLA'02}, myconfurl={http://www.di.unipi.it/wrla2002/}, ps={papers/picalc-wrla2002.ps}, pdf={papers/picalc-wrla2002.pdf}, } @inbook{SAipc02, author={Koushik Sen and Gul Agha}, editor={Dan C. Marinescu and Craig Lee}, title={Process Coordination and Ubiquitous Computing}, publisher={CRC Press}, year={2002}, month={September}, chapter={Thin Middleware for Ubiquitous Computing}, pages={201--213}, ps={papers/ipc.ps}, pdf={papers/ipc.pdf}, } @MISC{STbtech99, author = {Koushik Sen and Vivek Tandon}, title = {Properties of {OptL}, \#{L} and {UL} and their relation with {NL} class}, booktitle={Bachelor' Project Report}, school = {Indian Institute of Technology, Kanpur}, year = {1999}, month = {April}, noteextra = {Supervisor: Manindra Agrawal}, ps={papers/final.ps}, pdf={papers/final.pdf}, } <div class="frequency-sweeper"> <div class="frequency-options-wrapper"> <div class="input-group"> <p>Start frequency<br />(in Hz)<br /> <input type="text" class="input--frequency-start" id="freq-start" name="freq-start" value="10"> </p> </div> <div class="input-group"> <p>End frequency<br />(in Hz)<br /> <input type="text" class="input--frequency-end" id="freq-end" name="freq-end" value="20000"> </p> </div> <div class="input-group"> <p>Duration<br />(in seconds)<br /> <input type="text" class="input--duration" id="duration" name="duration" value="60"> </p> </div> </div> <div class="advanced-options"> <div class="waveform-wrapper"> <input type="radio" name="waveform" value='sine' id='sine' checked> <label for="sine">Sine</label> <div class="waveform-image waveform-image--sine"></div> </div> <div class="waveform-wrapper"> <input type="radio" name="waveform" value='square' id='square'> <label for="square">Square</label> <div class="waveform-image waveform-image--square"></div> </div> <div class="waveform-wrapper"> <input type="radio" name="waveform" value='sawtooth' id='sawtooth'> <label for="sawtooth">Sawtooth</label> <div class="waveform-image waveform-image--sawtooth"></div> </div> <div class="waveform-wrapper"> <input type="radio" name="waveform" value='triangle' id='triangle'> <label for="triangle">Triangle</label> <div class="waveform-image waveform-image--triangle"></div> </div> </div> <div class="clear"></div> <p> <label for="ramp-type-linear"> Linear sweep <input id='ramp-type-linear' type="radio" name='ramp' value='linear'> </label> <label for="ramp-type-exponential"> Exponential sweep <input id='ramp-type-exponential' type="radio" checked name='ramp' value='exp'> </label> <br /> <label for="maintain-tone">Continue playing tone after sweep has finished? <input id='maintain-tone' type="checkbox" value='1'></label> </p> <p> <label for="start-volume"> Start Volume: <input id='start-volume' type="text" value='60'> </label><br /> <label for="end-volume"> End Volume: <input id='end-volume' type="text" value='60'> </label> </p> <p> Current Frequency: <span id='current-frequency'>1</span>Hz<br /> Current Time: <span id='current-time'>0</span>s<br /> Current Volume: <span id='current-volume'>40</span>%<br /> </p> <div class="generator-buttons"> <button type="button" class="beginTuning generatorButton">Play</button> <button type="button" class="stopTuning generatorButton" onclick="stop()">Stop</button> </div> </div> <script> var contextClass = (window.AudioContext || window.webkitAudioContext || window.mozAudioContext || window.oAudioContext || window.msAudioContext); var messageDisplayed = false; if (contextClass) { // Web Audio API is available. var context = new contextClass(); var gainValue = 0.1; var gainNode; var oscillator; } else { $(".beginTuning").click(function(e){ e.stopImmediatePropagation(); if (!messageDisplayed){ $("#generator").css("padding-top",'0').prepend("<p style='padding:20px;font-size:0.8em;'>Sorry, it looks like your browser is not compatible with this particular feature. If possible, please try again with the latest version of Chrome, Safari or Firefox.</p>"); $(this).parents(".tuningTable").before("<p style='padding:20px;font-size:0.8em;'>Sorry, it looks like your browser is not compatible with the tone generator. If possible, please try again with the latest version of Chrome, Safari or Firefox.</p>"); messageDisplayed = true; } }); } var oscs = {sine:0, square:1, sawtooth:2, triangle:3 }; function createSource(buffer) { var source = context.createBufferSource(); var gainNode = context.createGainNode(); source.buffer = buffer; // Connect source to gain. source.connect(gainNode); // Connect gain to destination. gainNode.connect(context.destination); return { source: source, gainNode: gainNode }; } $(".waveform-wrapper").click(function(e){ e.preventDefault(); $(this).children("input").click(); }); $("input[name='waveform']").click(function(e){ e.stopPropagation(); if (typeof oscillator != 'undefined'){ if (oscillator.type === parseInt(oscillator.type)){ oscillator.type = oscs[$(this).val()]; } else { oscillator.type = $(this).val(); } } }); var freq1,freq2,duration; $(".frequency-sweeper .beginTuning").click(function(e){ if (validate($("#freq-start").val())){ freq1 = $("#freq-start").val(); freq2 = $("#freq-end").val(); duration = $("#duration").val(); start(freq1, freq2, duration); } else { alert("Sorry, you entered an invalid number. Please enter a number between 1 and 20000 and try again."); } }); var animationID; function start(freq) { if (typeof oscillator != 'undefined') oscillator.disconnect(); sweep(freq1, freq2, duration); $(".beginTuning").addClass("active"); animationID = window.setInterval(function(){ newTime = context.currentTime; $("#current-frequency").html(parseInt(oscillator.frequency.value)); $("#current-volume").html((parseFloat(gainNode.gain.value)*400).toFixed(1)); $("#current-time").html((newTime - currTime).toFixed(1)); if ((newTime - currTime) > duration){ clearInterval(animationID); $("#current-frequency").html(freq2); $("#current-volume").html($("#end-volume").val()); $("#current-time").html(duration); } }, 50); } var currTime; function sweep(freq1, freq2, duration){ clearInterval(animationID); currTime = context.currentTime; oscillator = context.createOscillator(); gainNode = context.createGain ? context.createGain() : context.createGainNode(); // oscillator.type = 0; oscillator.frequency.value = freq1; oscillator.connect(gainNode); gainNode.connect(context.destination); // gainNode.gain.value = $(".volume-slider").length ? volume($(".volume-slider").val())/2 : gainValue; // gainNode.gain.value = 0.15; if ($("input[name='waveform']:checked").length){ if (oscillator.type === parseInt(oscillator.type)){ oscillator.type = oscs[$("input[name='waveform']:checked").val()]; } else { oscillator.type = $("input[name='waveform']:checked").val(); } } else { if (oscillator.type === parseInt(oscillator.type)){ oscillator.type = 0; } else { oscillator.type = "sine"; } } oscillator.start ? oscillator.start(0) : oscillator.noteOn(0); vol1 = $("#start-volume").val()/100 == 0 ? 0.001 : $("#start-volume").val()/400; //divide by 2 so maximum gain is 0.25 vol2 = $("#end-volume").val()/100 == 0 ? 0.001 : $("#end-volume").val()/400; vol1 = Math.min(vol1, 0.5); vol2 = Math.min(vol2, 0.5); gainNode.gain.value = vol1; if ($('input[name=ramp]:checked').val() == 'linear'){ oscillator.frequency.linearRampToValueAtTime(freq1, currTime); gainNode.gain.linearRampToValueAtTime(vol1, currTime); oscillator.frequency.linearRampToValueAtTime(freq2, currTime + duration*1); gainNode.gain.linearRampToValueAtTime(vol2, currTime + duration*1); } else { oscillator.frequency.exponentialRampToValueAtTime(freq1, currTime); gainNode.gain.exponentialRampToValueAtTime(vol1, currTime); oscillator.frequency.exponentialRampToValueAtTime(freq2, currTime + duration*1); gainNode.gain.exponentialRampToValueAtTime(vol2, currTime + duration*1); } if ($("#maintain-tone").prop("checked")){ } else { oscillator.stop ? oscillator.stop(currTime + duration*1) : oscillator.noteOff(currTime + duration*1); } // oscillator.start(0); }; function validate(n){ if (isNumber(n) && n > 0 && n < 20001){ return true; } } function isNumber(n){ return !isNaN(parseFloat(n)) && isFinite(n); } function stop() { oscillator.disconnect(); $(".frequency-sweeper .beginTuning").removeClass("active"); clearInterval(animationID); } </script>