tions. Ideal
applicants will have a background in formal methods and/or programming
languages and some exposure to machine learning.
The postdoc will work with Professor Swarat Chaudhuri. The duration of
the position is two years; the position is open immediately. To apply,
send a CV and names
guage
abstractions. Ideal applicants will have a background in formal
methods and/or programming languages, interest in machine learning,
and experience with building systems of significant size.
The postdoc will work with Professor Swarat Chaudhuri. The duration of
the position is two years, starting summer
warat Chaudhuri and Chris
Jermaine. The duration of the position is two years, starting summer 2017.
Compensation will be highly competitive and commensurate with experience.
To apply, send a CV and names of 2 references to Swarat Chaudhuri
(swa...@rice.edu).
with Professors Swarat Chaudhuri and Chris
Jermaine. The duration of the position is two years, starting May 2017.
Compensation will be highly competitive and commensurate with experience.
To apply, send a CV and names of 3 references to Swarat Chaudhuri
(swa...@rice.edu).
ators from Rice
University, the University of Texas at Austin, the University of
Wisconsin, and Grammatech, Inc. They will be supervised by
Prof. Swarat Chaudhuri (http://www.cs.rice.edu/~swarat), and work
closely with Professors Vivek Sarkar, Christopher Jermaine, Moshe
Vardi, and Keith Cooper
ators from Rice
University, the University of Texas at Austin, the University of
Wisconsin, and Grammatech, Inc. They will be supervised by
Prof. Swarat Chaudhuri (http://www.cs.rice.edu/~swarat), and work
closely with Professors Vivek Sarkar, Christopher Jermaine, Moshe
Vardi, and Keith Cooper. The dur
Organizers
--
**Program Chair**
Swarat Chaudhuri, Rice University
**Program Committee**
Emery Berger, UMass Amherst
Sumit Gulwani, Microsoft Research
Lindsey Kuper, Intel Labs
Cristina Videira Lopes, UC Irvine
Aditya Nori, Microsoft Research
Armando Solar-Lezama, MIT
David Van Horn, University of Marylan
Organizers
--
**Program Chair**
Swarat Chaudhuri, Rice University
**Program Committee**
Emery Berger, UMass Amherst
Sumit Gulwani, Microsoft Research
Lindsey Kuper, Intel Labs
Cristina Videira Lopes, UC Irvine
Aditya Nori, Microsoft Research
Armando Solar-Lezama, MIT
David Van Horn, University of Marylan
tech, Inc. They will be
supervised by Prof. Swarat Chaudhuri (http://www.cs.rice.edu/~swarat),
and work closely with Professors Vivek Sarkar, Christopher Jermaine, Moshe
Vardi, and Keith Cooper. The duration of the positions is a minimum of
two years, starting September 2014, with possible renewal
necessary.
The researcher will be supervised by Prof. Swarat Chaudhuri
(http://www.cs.rice.edu/~swarat). The duration of the position is one
year, starting January 2014, and can be renewed for a second
year. The initial compensation for the position is $65,000 per year.
Rice University is located
tools.
The researcher will be supervised by Prof. Swarat Chaudhuri
(http://www.cs.rice.edu/~swarat). The duration of the position is one
year, starting August 2014, and can be renewed for a second
year. Compensation is highly competitive and commensurate with
experience. Rice University is located
program analysis.
The researcher will be supervised by Prof. Swarat Chaudhuri
(http://www.cs.rice.edu/~swarat). The duration of the position is one
year, starting January 2014, and can be renewed for a second
year. Compensation is competitive and commensurate with
experience. Rice University is
applicant would be an ace Ocaml hacker,
have a solid background in logic, and have experience with tool
development in the area of automated formal methods. However, prior
experience with program synthesis is not necessary.
The researcher will be supervised by Prof. Swarat Chaudhuri
(http
a
second year. Compensation is commensurate with experience.
To apply, send a resume, a brief statement of interest, and names of
two references to Swarat Chaudhuri (swa...@rice.edu).
RegistrationPlease register through the CAV 2012 registration system
Workshop July 7-8, 2012
Organizers:
Swarat Chaudhuri, Rice University, USA
Sriram Sankaranarayanan, University of Colorado, USA
Program Committee:
Erika Abraham, RWTH, Aachen, Germany
Azadeh Farzan, University of Toronto
:00-3:30: Session on Decision Procedures (Chair: Swarat Chaudhuri):
- Recursive Proofs for Inductive Tree Data-Structures (P Madhusudan,
Xiaokang Qiu, and Andrei Stefanescu)
- Symbolic Finite State Transducers, Algorithms and Applications
(Nikolaj Bjorner, Pieter Hooimeijer, and Benjamin L
, and Peter Thiemann)
* 2:00-3:30: Session on Decision Procedures (Chair: Swarat Chaudhuri):
- Recursive Proofs for Inductive Tree Data-Structures (P Madhusudan,
Xiaokang Qiu, and Andrei Stefanescu)
- Symbolic Finite State Transducers, Algorithms and Applications
(Nikolaj Bjorner, Pieter Hooimeijer, a
, please send a CV, a brief statement of
interest, and the names of two references to Swarat Chaudhuri (swarat.chaudhuri
at gmail.com). Further inquiries--for example, questions about specific project
topics--are also welcome.
d
IBM T.J. Watson Research Laboratory
PO Box 704, Yorktown Heights, NY 10598, USA.
jfi...@us.ibm.com
Program Chair:
Michael Hicks
Department of Computer Science
University of Maryland, College Park, MD 20866, USA
m...@cs.umd.edu
Program Committee:
Swarat Chaudhuri Pennsylv
researcher will be based at Penn State (located at University Park,
Pennsylvania) and be jointly mentored by Prof. Swarat Chaudhuri (Penn State)
and Prof. Vivek Sarkar (Rice). The position is for two years, but can be
potentially renewed.
The ideal applicant would have a passion for bringing together
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
**
* ACM SIGPLAN-SIGACT Symposium
* on
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*
* 38th ACM SIGPLAN-SIGACT Symposium
* on
* Principles of P
copy of the call for participation.
Looking forward to seeing you in Madrid,
Swarat Chaudhuri,
Publicity Chair, POPL 2010
*
*ACM SIGPLAN-SIGACT Symposium
earch India),
Sriram K. Rajamani (Microsoft Research India),
Sai Deep Tetali (Microsoft Research India)
- Continuity Analysis of Programs
Authors: Swarat Chaudhuri (Pennsylvania State University),
Sumit Gulwani (Microsoft Research),
Roberto Lublinerman (Pennsylvania State Unive
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--
POPL 2010 - CALL FOR CO-LOCATED EVENT PROPOSALS
POPL 2010, the 37th ACM SIGPLAN-SIGACT
Symposiu
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*
* 37th ACM SIGPLAN-SIGACT Symposium
* on
* Principles of Pr
26 matches
Mail list logo