photo of Sanjit Seshia
 
Sanjit Seshia
    University of California, Berkeley

Username:saseshia
 
 
 
 
Home page:http://www.eecs.berkeley.edu/~sseshia
Bio:  Sanjit Seshia is an Associate Professor in EECS at UC Berkeley. Seshia has made important contributions in combination of formal methods and machine learning for system verification and synthesis, particularly for embedded systems and computer security.

Papers, Presentations and Reports Authored by Sanjit Seshia

  1. Yr 5 Quarterly Report #4 (August 1, 2017 - October 31, 2017) Milestone 23, Jeffrey A. Bilmes, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, November, 2017. Posted on 29 Nov 2017.
  2. A Formal Foundation for Secure Remote Execution of Enclaves, Pramod Subramanyan, Rohit Sinha, Ilia Lebedev, Srinivas Devadas, Sanjit Seshia, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM, 2435-2450, October, 2017. Posted on 14 Nov 2017.
  3. Towards Verified Artificial Intelligence, Sanjit Seshia, 24, October, 2017. Posted on 14 Nov 2017.
  4. Demonstration of Location Privacy Enforcement using Obfuscation, Romulo Meira Goes, Sanjit Seshia, Stephane Lafortune, Gregory Willett, Nicholas Recker, Blake Rawlings, Christoforos Keroglou, 11, October, 2017. Posted on 12 Oct 2017.
  5. Robots Demonstrator, George Pappas, Sanjit Seshia, 11, October, 2017. Posted on 10 Oct 2017.
  6. Yr 5 Quarterly Report #3 (May 1, 2017 - July 31, 2017) Milestone 22, Jeffrey A. Bilmes, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, August, 2017. Posted on 30 Aug 2017.
  7. Yr 5 Quarterly Report #2 (Feb 1, 2017 - Apr 30, 2017) Milestone 21, Jeffrey A. Bilmes, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, April, 2017. Posted on 30 May 2017.
  8. Combining Model Checking and Runtime Verification for Safe Robotics, Ankush Desai, Tommaso Dreossi, Sanjit Seshia, The 17th International Conference on Runtime Verification, 2017. Posted on 24 May 2017.
  9. Maximum Model Counting, Daniel J. Fremont, Markus N. Rabe, Sanjit Seshia, Association for the Advancement of Artificial Intelligence (AAAI), February, 2017. Posted on 8 Nov 2016.
  10. Privacy Aware Data Processing Using Partial Homomorphic Encryption, Yasser Shoukry, Rafael Valle, Konstantinos Gatsis, Stephane Lafortune, Mani Srivastava, Sanjit Seshia, Paulo Tabuad, George Pappas, October, 2016. Posted on 3 Nov 2016.
  11. SMC: Satisfiability Modulo Convex Optimization, Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada, George Pappas, October, 2016. Posted on 3 Nov 2016.
  12. Improvising Robot Patrol Routes, Tommaso Dreossi, Daniel J. Fremont, Sanjit Seshia, 26, October, 2016. Posted on 31 Oct 2016.
  13. Recent Progress on Privacy Enforcement through Obfuscation, Christoforos Keroglou, Stephane Lafortune, Sanjit Seshia, Yi-Chin Wu, Yidding Ji, Vasumathi Raman, 29, October, 2016. Posted on 28 Oct 2016.
  14. Diagnosis and Repair for Synthesis from Signal Temporal Logic, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Sanjit Seshia, 26, October, 2016. Posted on 25 Oct 2016.
  15. ABROA: Audio-Based Room Occupancy with GMMs and HMMs, Rafael Valle, Adrian Freed, Sanjit Seshia, David Wessel, 26, October, 2016. Posted on 25 Oct 2016.
  16. TerraSwarm 2016 Annual Meeting: Theme 2: Methodologies, Models and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 26, October, 2016. Posted on 26 Sep 2016.
  17. Obfuscator Synthesis for Privacy and Utility, Yi-Chin Wu, Vasu Raman, Stephane Lafortune, Sanjit Seshia, 8th NASA Formal Methods Symposium, June, 2016. Posted on 2 Mar 2016.
  18. Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasu Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit Seshia, Hybrid Systems: Computation and Control, 12, April, 2016. Posted on 8 Feb 2016.
  19. SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks, Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Joao P. Hespanha, Paulo Tabuada, ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2016), 11, April, 2016. Posted on 8 Feb 2016.
  20. Combining Induction, Deduction, and Structure for Verification and Synthesis, Sanjit Seshia, Proceedings of the IEEE, November, 2015. Posted on 14 Nov 2015.
  21. Security and Privacy Breakout Session, Yi-Chin Wu, George Pappas, Stephane Lafortune, Sanjit Seshia, Alberto Sangiovanni-Vincentelli, Armin Wasicek, Alex Halderman, John D. Kubiatowicz, Antonio Iannopollo, Adrian Freed, October, 2015. Posted on 19 Oct 2015.
  22. Specification Mining For Machine Improvisation With Formal Specifications, Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge Akkaya, Sanjit Seshia, Adrian Freed, David Wessel, October, 2015. Posted on 15 Oct 2015.
  23. Specification Mining For Machine Improvisation With Formal Specifications, Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge Akkaya, Sanjit Seshia, Adrian Freed, David Wessel, 14, October, 2015. Posted on 14 Oct 2015.
  24. Obfuscator Synthesis for Opacity, Yi-Chin Wu, Sanjit Seshia, Stephane Lafortune, October, 2015. Posted on 9 Oct 2015.
  25. Control Improvisation, Daniel J. Fremont, Alexandre Donze, Sanjit Seshia, David Wessel, 14, October, 2015. Posted on 9 Oct 2015.
  26. TerraSwarm 2015 Annual Meeting: Theme 2: Methodologies, Models and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 14, October, 2015. Posted on 5 Oct 2015.
  27. Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving, Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paolo Tabuada, Conference on Decision and Control (CDC 2015), IEEE, 15, December, 2015. Posted on 21 Sep 2015.
  28. Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems, Ankush Desai, Sanjit Seshia, Shaz Qadeer, David Broman, Eidson John, 27th International Conference on Computer Aided Verification, 429-448, 18, July, 2015. Posted on 29 May 2015.
  29. Systematic Testing of Asynchronous Reactive Systems, Ankush Desai, Shaz Qadeer, Sanjit Seshia, ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2015, August, 2015. Posted on 11 May 2015.
  30. Robust Online Monitoring of Signal Temporal Logic, Jyotirmoy V. Deshmukhh, Alexandre Donze, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit Seshia, Runtime Verification '15, Vienna, 22, September, 2015. Posted on 11 May 2015.
  31. Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia, IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI'16), 2016. Posted on 11 May 2015.
  32. Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia, 23, October, 2015. Posted on 8 May 2015.
  33. Implan: Scalable Incremental Motion Planning for Multi-Robot Systems, Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George Pappas, Sanjit Seshia, ICCPS 2016 conference, 11, April, 2016. Posted on 6 May 2015.
  34. Sound and Complete State Estimation for Linear Dynamical Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving, Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada, American Control Conference (ACC), 3818-3823, 1, July, 2015. Posted on 17 Mar 2015.
  35. Q1 2015 TerraSwarm Quarterly Report Milestone #10, Edward A. Lee, Tajana Simunic Rosing, John Wawrzynek, Prabal Dutta, Anthony Rowe, Richard Murray, Jeffrey A. Bilmes, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Jan Rabaey, Douglas L. Jones, Stephane Lafortune, Alex Halderman, David Blaauw, Roozbeh Jafari, Carlos Guestrin, Emily B. Fox, Rahul Mangharam, George Pappas, Vijay Kumar, Bjoern Hartmann, John D. Kubiatowicz, TerraSwarm Research Center, February, 2015. Posted on 25 Feb 2015.
  36. GameTime: Toolkit for the Timing Analysis of Software, Sanjit Seshia, Jonathan Kotker, UC Berkeley, 20, August, 2014. Posted on 10 Feb 2015.
  37. Robust Online Monitoring of Signal Temporal Logic, Jyotirmoy V. Deshmukh, Alexandre Donze, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit Seshia, 2015. Posted on 9 Feb 2015.
  38. On Parallel Scalable Uniform SAT Witness Generation, Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit Seshia, Moshe Y. Vardi, 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings, Christel Baier, Cesare Tinelli, TACAS, 302-319, April, 2015. Posted on 2 Feb 2015.
  39. Control Improvisation, Daniel J. Fremont, Alexandre Donze, Sanjit Seshia, David Wessel, Proc. FSTTCS, December, 2015. Posted on 21 Nov 2014.
  40. Receding Horizon Control Synthesis for Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Richard Murray, Sanjit Seshia, 29, October, 2014. Posted on 10 Nov 2014.
  41. Automated Synthesis of Multi-Robot Motion Plans from LTL Specifications, Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George Pappas, Sanjit Seshia, 4, November, 2014. Posted on 4 Nov 2014.
  42. Control Improvisation: Theory and Application to Residential Lighting, Ilge Akkaya, Alexandre Donze, Rafael Valle, Daniel J. Fremont, David Wessel, Sanjit Seshia, 30, October, 2014. Posted on 4 Nov 2014.
  43. Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 29, October, 2014. Posted on 4 Nov 2014.
  44. Distributed Control of a Swarm of Buildings Connected to a Smart Grid, Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donze, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Richard Murray, Truong X. Nghiem, George Pappas, Vasu Raman, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh, 29, October, 2014. Posted on 30 Oct 2014.
  45. Model Counting, Uniform Generation, and Quantitative Information Flow, Supratik Chakraborty, Daniel J. Fremont, Kuldeep Meel, Sanjit Seshia, Moshe Vardi, 29, October, 2014. Posted on 28 Oct 2014.
  46. Reactive Synthesis from Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Dorsa Sadigh, Richard Murray, Sanjit Seshia, Submitted to International Conference on Hybrid Systems: Computation and Control (HSCC), 2015. Posted on 27 Oct 2014.
  47. TerraSwarm Annual Meeting 2014, Edward A. Lee, John Wawrzynek, Tajana Simunic Rosing, John D. Kubiatowicz, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 29, October, 2014. Posted on 13 Oct 2014.
  48. Distributed Control of a Swarm of Buildings Connected to a Smart Grid, Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donze, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasu Raman, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh, 1st ACM International Conference on Embedded Systems For Energy-Efficient Buildings (BuildSys), 5, November, 2014. Posted on 16 Sep 2014.
  49. Overview of Security & Privacy Research, Sanjit Seshia, 16, September, 2014. Posted on 16 Sep 2014.
  50. CPSGrader: Synthesizing Temporal Logic Testers for Auto-Grading an Embedded Systems Laboratory, Garvit Juniwal, Alexandre Donze, Jeff C. Jensen, Sanjit Seshia, EMSOFT14, October, 2014. Posted on 14 Aug 2014.
  51. Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing, Alberto Puggelli, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Proceedings of the International Conference on Embedded Software (EMSOFT), 12, October, 2014. Posted on 12 Aug 2014.
  52. Machine Improvisation with Formal Specifications, Rafael Valle, Alexandre Donze, Ilge Akkaya, Sophie Libkind, Sanjit Seshia, David Wessel, ICMCSMC14, 2014. Posted on 12 May 2014.
  53. Model Predictive Control with Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Mehdi Maasoumy, Richard Murray, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 2014 IEEE 53rd Annual Conference on Decision and Control (CDC), 2014. Posted on 9 May 2014.
  54. Distribution-Aware Sampling and Weighted Model Counting for SAT, Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit Seshia, Moshe Y. Vardi, Proc. of AAAI, 1722-1730, 2014. Posted on 22 Apr 2014.
  55. Robust Subspace System Identification via Weighted Nuclear Norm Optimization, Dorsa Sadigh, Henrik Ohlsson, S. Shankar Sastry, Sanjit Seshia, 19th World Congress of the International Federation of Automatic Control (IFAC), 24, August, 2014. Posted on 31 Mar 2014.
  56. Q1 2014 TerraSwarm Quarterly Report Milestone #5, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, Vijay Kumar, Edward A. Lee, Richard Murray, George Pappas, Jan Rabaey, Tajana Simunic Rosing, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, John Wawrzynek, David Wessel, TerraSwarm Research Center, March, 2014. Posted on 6 Mar 2014.
  57. Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specifications, Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George Pappas, Sanjit Seshia, International Conference on Intelligent Robots and Systems, IEEE/RSJ, 14, September, 2014. Posted on 20 Feb 2014.
  58. Speeding Up SMT-Based Quantitative Program Analysis, Daniel J. Fremont, Sanjit Seshia, 12th International Workshop on Satisfiability Modulo Theories, 3-13, 17, July, 2014. Posted on 20 Feb 2014.
  59. Synthesis for Human-in-the-Loop Control Systems, Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia, 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 5, April, 2014. Posted on 20 Feb 2014.
  60. Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing, Alberto Puggelli, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Internal Conference on Computer-Aided Verification (CAV) 2014, 18, July, 2014. Posted on 20 Feb 2014.
  61. A Contract-Based Methodology for Aircraft Electric Power System Design, Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto Sangiovanni-Vincentelli, Richard Murray, Alexandre Donze, Sanjit Seshia, IEEE Access, March, 2014. Posted on 2 Jan 2014.
  62. 2013 Q3 TerraSwarm Summary and Metrics, Edward A. Lee, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, John Wawrzynek, Vijay Kumar, Alberto Sangiovanni-Vincentelli, Carl Sechen, Sanjit Seshia, Jan Rabaey, Tajana Simunic Rosing, George Pappas, Richard Murray, David Wessel, TerraSwarm Research Center, November, 2013. Posted on 6 Dec 2013.
  63. Contract-Based Design of Cyber-Physical Swarms, Pierluigi Nuzzo, Antonio Iannopollo, John B. Finn, Alberto Sangiovanni-Vincentelli, Alexandre Donze, Richard Murray, Sanjit Seshia, Stavros Tripakis, 6, November, 2013. Posted on 12 Nov 2013.
  64. Design and Analysis for Security, Chung-Wei Lin, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 6, November, 2013. Posted on 12 Nov 2013.
  65. Control Improvisation with Application to Music, Alexandre Donze, Sophie Libkind, Sanjit Seshia, David Wessel, 6, November, 2013. Posted on 12 Nov 2013.
  66. Control Improvisation with Application to Music, Alexandre Donze, Libkind Sophie, Sanjit Seshia, David Wessel, UC Berkeley, P068797, November, 2013. Posted on 11 Nov 2013.
  67. Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 5, November, 2013. Posted on 5 Nov 2013.
  68. A Formalization and Evaluation of Timing Repeatability Using GameTime, Zach Wasson, Jonathan Kotker, Sanjit Seshia, 5, November, 2013. Posted on 5 Nov 2013.
  69. Real-Time Control Improvisation For The SmartJukebox, Ilge Akkaya, Alexandre Donze, Sanjit Seshia, David Wessel, Edward A. Lee, 5, November, 2013. Posted on 4 Nov 2013.
  70. Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties, Alberto Puggelli, Wenchao Li, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 5, November, 2013. Posted on 3 Nov 2013.
  71. Modelling and Analysis Of IEEE 1588, Ankush Desai, Sanjit Seshia, David Broman, John Eidson, 5, November, 2013. Posted on 2 Nov 2013.
  72. Read-Ahead Material for the Introduction and All Themes for the TerraSwarm 2013 Annual Review, Edward A. Lee, Jan Rabaey, Tajana Simunic Rosing, John Wawrzynek, Prabal Dutta, John D. Kubiatowicz, Richard Murray, Ben Taskar, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 15, October, 2013. Posted on 15 Oct 2013.
  73. Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 15, October, 2013. Posted on 15 Oct 2013.
  74. Control Improvisation with Applications to Music, Sophie Libkind, Alexandre Donze, Sanjit Seshia, David Wessel, 29, September, 2013. Posted on 29 Sep 2013.
  75. The Swarm at the Edge of the Cloud, Edward A. Lee, Jan Rabaey, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Bjoern Hartmann, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, Vijay Kumar, Rahul Mangharam, Brian T. Murray, George Pappas, Kris Pister, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Ben Taskar, John Wawrzynek, David Wessel, IEEE Design and Test of Computers on Cloud Computing for Embedded Systems, 31, 3, 8-20, June, 2014. Posted on 23 Sep 2013.
  76. Synthesis for Human-in-the-Loop Control Systems, Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia, UC Berkeley, UCB/EECS-2013-134, July, 2013. Posted on 8 Aug 2013.
  77. The Q1 2013 TerraSwarm Quarterly Report, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, Vijay Kumar, Edward A. Lee, Richard Murray, George Pappas, Jan Rabaey, Tajana Simunic Rosing, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Carl Sechen, Sanjit Seshia, Ben Taskar, John Wawrzynek, David Wessel, The TerraSwarm Research Center, TSRC01, May, 2013. Posted on 30 May 2013.
  78. Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties, Alberto Puggelli, Wenchao Li, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Proceedings of CAV 2013, July, 2013. Posted on 26 Apr 2013.
  79. Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 29, January, 2013. Posted on 29 Jan 2013.
  80. Sanjit A. Seshia, Sanjit Seshia, 29, January, 2013. Posted on 29 Jan 2013.
  81. The TerraSwarm Research Center (TSRC) (A White Paper), Edward A. Lee, John D. Kubiatowicz, Jan Rabaey, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, John Wawrzynek, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Richard Murray, George Pappas, Anthony Rowe, Carl Sechen, Tajana Simunic Rosing, Ben Taskar, EECS Department, University of California, Berkeley, UCB/EECS-2012-207, November, 2012. Posted on 6 Jan 2013.

Counts

  • 7 Journal articles.
  • 41 Conference papers.
  • 7 Technical reports.
  • 27 Talk or presentations.
  • 27 Posters.
  • 5 Unpublished articles.
  • 1 Software.

The counts above are from the publications database. The number of posters is derived from the presentations.

Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported.