Rupak majumdar thesis

Thesis: implementing certified programming language tools in dependent type theory • university of california external phd thesis reviewer for: benjamin delaware (u of texas, austin), ronghui gu (yale), brandon moore dirk beyer, adam chlipala, thomas henzinger, ranjit jhala, rupak majumdar generating. Rupak majumdar me phd, university of california at berkeley, 2003 scientific director, max planck institute for software systems · computer science research at the max planck society · biographical sketch curriculum vitae (pdf) office: max planck institute for software systems room 414 paul ehrlich str 26. The dissertation of christian grothoff is approved rupak majumdar todd millstein alan laub jens palsberg, committee chair university of california, los angeles 2006. Shahram esmaeilsabzali, rupak majumdar, thomas wies, and damien zufferey, dynamic package interfaces, proceeding of international conference on fundamental approaches to software engineering (fase'14), pp 261-275, lecture notes in computer science vol 8411, springer-verlag, 2014 pdf jeffrey fischer. Automatic predicate abstraction of c programs t ball, r majumdar, t millstein, sk rajamani acm sigplan notices 36 (5), 203-213, 2001 936, 2001 the software model checker blast d beyer, ta henzinger, r jhala, r majumdar international journal on software tools for technology transfer 9 (5-6), 505-525, 2007.

My phd thesis won the disc best thesis award for the best thesis defended in the field of systems and control in the netherlands after my phd, i was a visiting researcher at max planck institute for software systems, germany, working with professor rupak majumdar please feel free to contact me if you are interested in. Stein, matteo interlandi and tyson condie on vega, the project presented in this dissertation special thanks to todd millstein for his detailed feedback on the chapter drafts kuai (presented in chapter 4) is a collaboration with zilong wang and rupak majumdar zilong wang developed the formal semantics and produced. The confirmed invited speakers are: prof rupak majumdar, mpi kaiserslautern & ucla prof moshe y vardi, rice university model for bounded verification 12:30, break 14:30, laurent doyen room: salle condorcet, habilitation thesis - games and automata: from boolean to quantitative verification.

Education june 2013 • advisor: prof rupak majumdar • thesis title: closing the gap in control system implementations • gpa: 397 mtech in computer science, indian statistical institute, kolkata august 2005 btech in electronics and communication engineering, kalyani govt engg college june 2003. Gave me the freedom to pursue my ideas and encouraged me to work on interesting problems and not to give up if they would turn out to be hard i am honored and grateful to have rupak majumdar and ufuc topcu on my thesis committee i am deeply thankful to rupak for giving me the excellent opportunity to continue my. And classification of in-production concurrency bugs baris kasikci epfl phd thesis, december 2015 (roger needham phd award and patrick denantes memorial prize) joão carreira, rodrigo rodrigues, george candea, and rupak majumdar acm eurosys conference on computer systems (eurosys), bern.

  • Rupak majumdar, mpi-sws, kaiserslautern, germany program chair: herbert edelsbrunner, ist austria, klosterneuburg, austria a thesis presented to the faculty of the graduate school of the institute of science and technology austria, klosterneuburg, austria, in partial fulfillment of the requirements for.
  • List of computer science publications by rupak majumdar.
  • Dirk beyer, thomas a henzinger, ranjit jhala, and rupak majumdar the software model checker blast: applications to software engineering international journal alexander von rhein verification tasks for software model checking master's thesis, university of passau, software systems lab, 2010 [bibtex-entry].

With rayna dimitrova, holger hermanns and rupak majumdar: tacas 2016 [ doi] probabilistic termination: soundness completeness, and compositionality with holger hermanns: popl 2015 [doi] (open access) abstraction-based computation of reward measures for markov automata with bettina braitling, hassan. Thesis of cyber-physical systems” formal synthesis is the application of algorithmic techniques based on automata and logic to the design editors: calin a belta, rupak majumdar, majid zamani, and matthias rungger dagstuhl reports schloss dagstuhl – leibniz-zentrum für informatik, dagstuhl publishing , germany.

Rupak majumdar thesis
Rated 3/5 based on 31 review

Rupak majumdar thesis media

rupak majumdar thesis Master's thesis, department of electrical and computer science, princeton university, 1999 [4]: thomas ball, rupak majumdar, todd d millstein, and sriram k rajamani automatic predicate abstraction of c programs in pldi, pages 203–213, 2001 [5]: gregory w bond logic programs for consistency- based diagnosis. rupak majumdar thesis Master's thesis, department of electrical and computer science, princeton university, 1999 [4]: thomas ball, rupak majumdar, todd d millstein, and sriram k rajamani automatic predicate abstraction of c programs in pldi, pages 203–213, 2001 [5]: gregory w bond logic programs for consistency- based diagnosis. rupak majumdar thesis Master's thesis, department of electrical and computer science, princeton university, 1999 [4]: thomas ball, rupak majumdar, todd d millstein, and sriram k rajamani automatic predicate abstraction of c programs in pldi, pages 203–213, 2001 [5]: gregory w bond logic programs for consistency- based diagnosis. rupak majumdar thesis Master's thesis, department of electrical and computer science, princeton university, 1999 [4]: thomas ball, rupak majumdar, todd d millstein, and sriram k rajamani automatic predicate abstraction of c programs in pldi, pages 203–213, 2001 [5]: gregory w bond logic programs for consistency- based diagnosis. rupak majumdar thesis Master's thesis, department of electrical and computer science, princeton university, 1999 [4]: thomas ball, rupak majumdar, todd d millstein, and sriram k rajamani automatic predicate abstraction of c programs in pldi, pages 203–213, 2001 [5]: gregory w bond logic programs for consistency- based diagnosis.